-
ICSE_23论文配套工件_反应式综合端到端探索性案例研究
2025年12月8日 30 134 45
数据集概述 本数据集是ICSE'23会议论文《Using Reactive Synthesis: An End-to-End Exploratory Case Study》的配套工件,包含研究相关的文档、代码说明及规范文件,涉及医疗CT领域,为复现论文研究提供完整数据支持。 文件详解 文件名称: Artifact README.pdf 文件格式:...
-
铁路系统设计形式化工具系统评价与可用性分析技术附件
2025年12月7日 30 28 9
数据集概述 本数据集为铁路信号系统设计形式化方法工具的系统评价与可用性分析研究的技术附件,包含14种工具的评价模板、结果汇总表及可用性测试原始数据,支持相关研究的复现与扩展分析。 文件详解 01 - Tool Evaluation Template and Evaluation...
-
MLOps架构结构化与流程化视图系统性映射研究数据集
2025年12月6日 30 94 16
数据集概述 本数据集是MLOps架构系统性映射研究的复现包,包含搜索与滚雪球结果、数据提取及合成的电子表格文件,以及自动化研究与合成流程的脚本,用于从结构和流程视角复现研究成果。 文件详解 该数据集包含一个压缩包文件,具体说明如下: - 文件名称: Architecture_MLOps_rep_pkg.zip - 文件格式: ZIP (.zip) -...
-
DELFI2024编程任务可变性分类法研讨会材料
2025年12月4日 30 80 1
数据集概述 本数据集为2024年9月9日DELFI2024研讨会“编程任务可变性分类法”的准备材料,包含分类法表格、案例卡片及文献来源压缩包,为理解编程任务可变性分类框架提供基础资料。 文件详解 文件名称:Quellen.zip 文件格式:ZIP(.zip) 内容说明:包含研讨会文档的原始来源资料 文件名称:Taxonomie-Tabelle.pdf...



