找到4个数据集

标签: Java实现

过滤结果

  • Formal_Specification_to_Code_Trace_Links_Recovery_实验数据

    2025年12月29日 30 144 33

    数据集概述 本数据集包含用于评估形式化规范到代码跟踪链接建立方法性能的实验数据和代码，对比了现有文本基方法（如潜在语义索引、向量空间模型、Word2Vec嵌入和LLM嵌入）。数据来源于三个项目：AccountSys的VDM-SL规范与Java实现、ATM系统的SOFL规范与Java实现、酒店系统的VDM-SL规范与C实现。 文件详解...
    packageimg

  • 选择PUSH_PULL数据传输的代数架构模型_ASE2022

    2025年12月19日 30 59 4

    数据集概述 本数据集是ASE 2022会议投稿的补充材料，包含PUSH/PULL数据传输代数架构模型的证明文档、图基重构工具、案例研究模型文件、生成的原型代码、性能评估数据及完整实现文件，为该模型的验证与应用提供支持。 文件详解 证明文档： ASE2022_proofs.pdf：PDF格式，包含定理1、2、3及其他引理的详细正确性证明 工具文件：...
    packageimg

  • 论文_Automatically_Recognizing_the_Semantic_Elements_from_UML_Class_Diagram_Ima...

    2025年12月15日 30 129 89

    数据集概述 本数据集为论文"Automatically Recognizing the Semantic Elements from UML Class Diagram Images"的开放科学材料，包含研究相关的问卷、原始数据、ReSECDI实现代码、使用说明、评估用图表及手稿等，支持论文方法的复现与验证。 文件详解 调查与数据文件：...
    packageimg

  • SURF应用评论摘要与软件变更推荐复制包

    2025年12月11日 30 171 82

    数据集概述 本数据集是研究论文《What Would Users Change in My App? Summarizing App Reviews for Recommending Software Changes》的复制包，包含两项实验的原始数据、结果文件、调查工具及SURF工具原型，支持复现基于应用评论摘要推荐软件变更的研究。 文件详解...
    packageimg