数据集概述
本数据集是ICSE'23会议论文《Using Reactive Synthesis: An End-to-End Exploratory Case Study》的配套工件，包含研究相关的文档、代码说明及规范文件，涉及医疗CT领域，为复现论文研究提供完整数据支持。
文件详解
- 文件名称: Artifact README.pdf
- 文件格式: PDF
- 内容说明: 可能是工件的说明文档，介绍数据集的内容、使用方法及结构
- 文件名称: Code Book.xlsx
- 文件格式: XLSX
- 内容说明: 代码说明表格，可能包含研究中使用的代码解释、变量定义或映射关系
- 文件名称: Consent.pdf
- 文件格式: PDF
- 内容说明: 研究知情同意书文档，记录研究对象的知情同意信息
- 文件名称: Research Protocol.pdf
- 文件格式: PDF
- 内容说明: 研究方案文档，详细描述研究的设计、流程及方法
- 文件名称: ExploratoryCaseStudySpecs.zip
- 文件格式: ZIP
- 内容说明: 探索性案例研究规范压缩包，可能包含研究的具体规范文件或相关资源
适用场景
- 学术研究复现: 用于复现ICSE'23论文中关于反应式综合的端到端探索性案例研究
- 软件工程方法论研究: 分析反应式综合方法在案例研究中的应用流程与效果
- 医疗领域技术应用: 探究反应式综合技术在医疗CT相关场景中的实践价值
- 研究方法参考: 为类似探索性案例研究提供文档规范与研究方案设计参考
