-
D_VerT_Source_Storm拓扑形式化验证研究完整数据2017
2026年1月21日 30 55 51
数据集概述 本数据集为论文《Formal Verification of Storm Topologies through D-VerT》的配套研究数据，包含论文中展示的UML模型、D-VerT自动生成的时序逻辑模型实例及实验输出文件，用于支持Storm流处理拓扑的形式化验证研究，总计一个压缩文件。 文件详解 文件名称：SAC2017.zip...
-
SEALABQualityGroup_微服务持续性能工程模型驱动方法复制包数据
2026年1月19日 30 137 6
数据集概述 本数据集是论文《A Model-driven Approach for Continuous Performance Engineering in Microservice-based Systems》的复制包，包含E-Shopper和Train...
-
大语言模型系统建模任务能力评估与改进数据集
2025年12月20日 30 66 37
数据集概述 该数据集包含用于系统评估大语言模型（LLMs）能力的测试套件及执行结果，核心内容为LLMs基于自然语言生成XMI格式有效UML模型的相关数据，支持研究模型建模任务表现及改进方向。 文件详解 文档类文件： README.md：Markdown格式，说明数据集目标、作者及文件结构...
-
快速高效CI_CD流水线架构设计决策与最佳实践复现包
2025年12月8日 30 2 0
数据集概述 本数据集是研究《快速高效CI/CD流水线的架构设计决策与最佳实践》的复现包，包含基于灰色文献综述和扎根理论构建的UML模型，涵盖6项架构设计决策与30项最佳实践，为优化CI/CD系统提供结构化指导。 文件详解 文件名称：adds_and_best_practices_fast_efficient_cicd_pipelines.zip...
-
UML与OntoUML分析结果数据集
2025年12月7日 30 189 10
数据集概述 本数据集记录了一项实验的结果，该实验要求受试者使用同一概念模式的两个版本（UML设计版本和OntoUML设计版本）回答一系列生物学问题，核心内容为实验相关的文档资料。 文件详解 数据集包含13个PDF格式文档，具体说明如下： - 问卷文件：如3-UA2-Questionnaire-...
-
不一致模型修复生成数据集
2025年12月7日 30 186 13
数据集概述 该数据集为论文《Generating Repairs for Inconsistent Models》中方法评估的配套数据，包含Java模型、UML模型、一致性规则文档及收集数据，用于支持模型不一致修复方法的实验验证与结果复现。 文件详解 Java models.zip: ZIP格式压缩文件，包含用于实验的Java模型数据 UML...
-
基于模型工程的依赖驱动一致性维护评估数据集
2025年12月6日 30 203 134
数据集概述 本数据集是《基于模型工程的依赖驱动一致性维护》论文的配套评估数据，包含实验所用的UML模型、一致性规则、原始结果、规则依赖分析等文件，为验证该方法的有效性提供完整数据支持。 文件详解 50 UML models.zip：压缩文件，包含评估实验中使用的50个UML模型...
-
CM1_NASA航天器仪器C语言源代码数据集
2025年12月6日 30 35 12
数据集概述 该数据集包含NASA航天器仪器CM1的数据收集与处理模块的C语言源代码。CM1作为NASA的航天器仪器，其源代码曾被研究者获取用于分析，如西弗吉尼亚大学基于该代码反向工程生成UML模型，数据集为研究航天器仪器软件实现提供了基础资料。 文件详解 文件名称：cm1.zip 文件格式：ZIP压缩包（.zip）...
