找到6个数据集

标签: 模型驱动工程

过滤结果

  • 模型驱动工程与大语言模型可持续性评估数据集

    2025年12月8日 30 11 10

    数据集概述 本数据集围绕模型驱动工程（MDE）与大语言模型（LLMs）的可持续性展开评估，核心内容对比分析LLM代码生成、代码修正能力与MDE方法的差异，为相关技术可持续性研究提供数据支持。 文件详解 文件名称: sustainabilityData.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
    packageimg

  • 带OCL不变量注释的UML类图示例数据集

    2025年12月7日 30 113 104

    数据集概述 该数据集包含11个带OCL不变量注释的UML类图示例，旨在作为工具测试套件，用于验证UML/OCL类图中约束的可满足性。数据采用USE文本格式描述类图元素及OCL约束，每个模型配有.properties文件支持有限可满足性检查。 文件详解 文件名称: examples.zip 文件格式: ZIP压缩包 内容说明:...
    packageimg

  • 不一致模型修复生成数据集

    2025年12月7日 30 43 25

    数据集概述 该数据集为论文《Generating Repairs for Inconsistent Models》中方法评估的配套数据，包含Java模型、UML模型、一致性规则文档及收集数据，用于支持模型不一致修复方法的实验验证与结果复现。 文件详解 Java models.zip: ZIP格式压缩文件，包含用于实验的Java模型数据 UML...
    packageimg

  • 铁路领域形式化验证与基于模型开发实验补充数据集

    2025年12月7日 30 120 61

    数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
    packageimg

  • 模型不一致性依赖关系探索与一致性维护评估数据集

    2025年12月6日 30 177 128

    数据集概述 该数据集是论文“Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models”（提交至SANER 2024）的评估数据，包含评估结果文档、一致性规则文本及相关压缩文件，用于支持模型一致性维护的研究分析。 文件详解...
    packageimg

  • 基于模型驱动工程与低代码_无代码平台的区块链应用设计系统性文献综述数据集

    2025年12月6日 30 92 27

    数据集概述 该数据集是系统性文献综述（SLR）的成果，围绕“基于模型驱动工程与低代码/无代码平台的区块链应用设计”主题，收录了各阶段的文献资料，为研究区块链应用开发技术障碍及低代码/无代码解决方案提供数据支持。 文件详解...
    packageimg