-
基础设施互操作性推荐补充材料8
2025年12月22日 30 210 91
数据集概述 本数据集是关于基础设施互操作性推荐的补充材料，对应Hackathon Topic 8。内容为一篇PDF文档，是研究论文《Recommendations for interoperability among infrastructures》的附属资料，为理解基础设施互操作性的相关建议提供补充信息。 文件详解 文件名称:...
-
Korn软件验证工具SV_COMP2023竞赛后评估数据集
2025年12月22日 30 126 49
数据集概述 本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。 文件详解 结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-...
-
LibraEDT_Software_Based_3DED数据集完整数据
2025年12月22日 30 123 106
数据集概述 该数据集包含与LibraEDT相关的软件客户端、服务器程序及配套的3DED格式数据集，所有内容以压缩包形式存储，未提供文件内容预览或说明文档。 文件详解 数据集包含4个压缩文件，具体说明如下： - PZMOF_3DED.zip：ZIP格式压缩文件，未提供字段映射信息 -...
-
Objaverse_S20_V112A_Based_无结构化3D模型数据集处理案例数据
2025年12月22日 30 172 39
数据集概述 本数据集包含6个文件，主要由5个JPEG格式的缩略图文件和1个GLB格式的3D模型文件组成，无目录结构，未划分训练/测试集、数据/标签集或原始/处理集，无README或内容预览。 文件详解 文件名称及格式：...
-
MoMA馆藏自动更新数据集2025_08_19
2025年12月22日 30 47 35
数据集概述 该数据集为MoMA馆藏自动更新的相关数据，包含一个2025年8月19日的压缩文件，可能涉及馆藏资源的更新信息，但未提供具体内容预览。 文件详解 文件名称：collection-v2025-08-19.zip 文件格式：ZIP压缩包 内容说明：未提供文件内部字段或内容预览，推测为MoMA馆藏相关的归档数据 适用场景...
-
ING数据驱动的提取方法推荐研究附录
2025年12月22日 30 72 35
数据集概述 本数据集是FSE 2021行业轨道论文《Data-Driven Extract Method Recommendations: A Study at ING》的附录文件，为论文提供补充说明与支撑信息。 文件详解 文件名称: fse2021-appendix.pdf 文件格式: PDF (.pdf) 文件内容: 作为FSE...
-
Objaverse_Skaal_A2128_Based_无划分数据集图像与模型完整数据
2025年12月22日 30 6 5
数据集概述 该数据集包含与Skaal-A2128相关的6个文件，以JPEG格式图片为主（5个），另有1个GLB格式文件，无目录结构及数据划分，未提供说明文档或内容预览。 文件详解...
-
CAOR_D_22_01050的实例与切割方案数据集
2025年12月21日 30 137 3
数据集概述 本数据集包含CAOR-D-22-01050相关的实例数据和切割方案文件，以压缩包和PDF文档形式存储，为相关研究或应用提供实例数据与方案说明的支持。 文件详解 文件名称: instances_CAOR-D-22-01050.7z 文件格式: 7z压缩包 内容说明: 包含CAOR-D-22-01050相关的实例数据，具体内容需解压后查看...
-
软件生态系统需求变更识别方法复现包
2025年12月21日 30 183 26
数据集概述 本数据集是“软件生态系统需求变更识别方法”的研究复现包，包含研究方法说明、评估案例、焦点小组资料及工具演示等相关文档，为复现该研究提供完整的支撑材料。 文件详解 文件名称: ReadMe.pdf，文件格式: PDF，内容: 可能为数据集的使用说明文档 文件名称: 6 - SECO-RCI method evaluation - Case...
-
印度尼西亚某油气公司应用开发方法选择_AHP_调查数据集
2025年12月21日 30 55 21
数据集概述 本数据集为印度尼西亚某油气公司应用开发方法选择的调查结果，采用层次分析法（AHP）评估瀑布、敏捷、混合三种开发方法。包含32份受访者数据，覆盖方法选择的多维度评估指标，为企业开发方法决策提供实证依据。 文件详解 README.txt: 文本文档，提供数据集标题、作者信息及调查背景概述 Data Processing - Survey...
-
ICSE20论文_基于测试套件的程序修复效率_数据集
2025年12月21日 30 133 0
数据集概述 本数据集是ICSE'20论文《On the Efficiency of Test Suite based Program Repair》的研究工件，包含16个开源自动化程序修复系统在Defects4J缺陷上的执行结果与部分日志，涉及两种故障定位设置下生成的补丁及10个系统的执行日志。 文件详解...
-
JavaSMT_SMT_LIB2代码生成器与解析器解释器基准测试结果数据集2023
2025年12月21日 30 80 11
数据集概述 本数据集记录了JavaSMT中新增的SMT-LIB2代码生成器与解析器解释器的基准测试结果，通过CPAchecker、Benchexec框架及SV-Benchmarks完成测试，包含测试结果文件、运行定义文件及日志压缩包。 文件详解 结果数据文件：...
-
软件生态系统需求管理中用户反馈调查补充材料
2025年12月21日 30 183 144
数据集概述 该数据集是关于软件生态系统需求管理中用户反馈调查的补充材料，包含6个PDF格式文件，覆盖研究相关的说明文档、工具材料及记录文件，为理解研究背景与数据收集过程提供支持。 文件详解 文件名称: ReadMe.pdf，文件格式: PDF，可能包含数据集的整体说明、使用指南或背景介绍 文件名称: InterviewGuide.pdf，文件格式:...
-
I_Seed_DS12_数据驱动飞行控制软件数据集
2025年12月21日 30 149 86
数据集概述 本数据集围绕数据驱动飞行控制软件展开，核心内容为相关说明文档，为理解该领域软件的设计、实现或应用提供基础参考。 文件详解 该数据集包含一个PDF格式的文档文件，具体如下： - 文件名称: 00_[DS12]-Read_me.pdf - 文件格式: PDF (.pdf) - 文件内容:...
-
Objaverse_Sketchfab_Based_11listo_3D模型资源完整数据集
2025年12月21日 30 16 12
数据集概述 本数据集包含六个文件，主要由五张JPEG格式缩略图和一个GLB格式文件组成，文件类型以JPEG为主，无目录结构、训练测试或数据标签划分，无README或内容预览。 文件详解...
-
GitHub热门项目产品特性文档策略探索性研究复现包
2025年12月21日 30 113 16
数据集概述 本数据集是针对GitHub热门项目产品特性文档策略的探索性研究复现包，包含研究使用的计算笔记本、会议演示幻灯片等资料，支持对研究结果的验证与复现，聚焦开源软件项目中特性知识的文档方式及与源代码的关联情况。 文件详解 文件名称：puhlfuerss-icsme-2022-replication-package-v4.zip...
-
玻璃态模式耦合交叉的局域化转变数据集
2025年12月21日 30 121 30
数据集概述 本数据集为论文"A localization transition underlies the mode-coupling crossover of glasses"的关联数据，包含复现论文及补充材料分析与图表所需的后处理数据、工作流文件和脚本，支持通过便捷脚本或分步流程复现研究结果。 文件详解 分析数据与脚本文件：...
-
BabelCoder_代理代码翻译与规范对齐数据集
2025年12月21日 30 47 40
数据集概述 该数据集围绕“代理代码翻译与规范对齐”主题构建，包含一个压缩文件，可能涉及代码翻译任务中代理机制与规范对齐方法的相关数据，未明确划分训练/测试、数据/标签或原始/处理数据。 文件详解 文件名称: dataset.zip 文件格式: ZIP压缩包（.zip） 内容说明: 压缩包内具体文件结构及内容未提供预览，需解压后查看。 适用场景...
-
科学编程代码理解研究初步见解数据集
2025年12月21日 30 176 93
数据集概述 本数据集为论文《Exploring Code Comprehension in Scientific Programming: Preliminary Insights from Research Scientists》的配套数据，包含研究相关的文档与资源压缩包，支持复现该研究对科研人员科学编程代码理解能力的分析。 文件详解...
-
罗伯特_科赫研究所高致病性微生物MALDI_TOF质谱数据库20181130
2025年12月9日 60 59 46
数据集概述 该数据集为罗伯特·科赫研究所（RKI）发布的MALDI-TOF质谱数据库第三版，含6264条高致病性（生物安全等级3级，BSL-3）细菌质谱数据，包括炭疽杆菌、鼠疫耶尔森菌等菌株及其亲缘菌株的质谱，可作为MALDI-TOF MS微生物鉴定的参考数据库。 文件详解 181130-ZENODO-...
