找到2个数据集

标签: 工具元数据

过滤结果

  • Software_Variability_Tools_工业调查与系统映射研究数据

    2026年1月15日 30 6 1

    数据集概述 本数据集包含软件可变性工具的工业调查与系统映射研究相关数据，涵盖系统映射研究（SMS）的论文数据、提取工具的元数据与数据、调查回答的元数据与数据、工具能力映射等文件，总计9个文件，支持对软件可变性工具的研究分析。 文件详解 说明文件 文件名称：README.txt 文件格式：TXT...
    packageimg

  • FM_Tools_Release_2_2_Based_形式化方法工具元数据数据集_SV_COMP_2025_Test_Comp_2025

    2025年12月27日 30 189 91

    数据集概述 本数据集为FM-Tools Release 2.2版本，收集了形式化方法工具的元数据信息，旨在简化形式化方法工具的复用、集成与协作。数据关联SV-COMP 2025和Test-Comp 2025，包含结构化的工具元数据内容，支持形式化方法领域的工具资源管理与分析。 文件详解 文件名称：fm-tools-2.2.zip...
    packageimg