找到1个数据集

标签: AccountSys

过滤结果

  • Formal_Specification_to_Code_Trace_Links_Recovery_实验数据

    2025年12月29日 30 194 138

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