-
LLM辅助UML建模探索性研究案例研究及建议答案
2025年12月9日 30 193 150
数据集概述 本数据集为论文《How LLMs Aid in UML Modeling: An Exploratory Study with Novice Analysts》配套的案例研究资料,包含针对新手分析师的LLM辅助UML建模探索性研究的案例及建议答案。 文件详解 文件名称: CaseStudy&SuggestedAnswers.pdf...
-
带OCL不变量注释的UML类图示例数据集
2025年12月7日 30 146 98
数据集概述 该数据集包含11个带OCL不变量注释的UML类图示例,旨在作为工具测试套件,用于验证UML/OCL类图中约束的可满足性。数据采用USE文本格式描述类图元素及OCL约束,每个模型配有.properties文件支持有限可满足性检查。 文件详解 文件名称: examples.zip 文件格式: ZIP压缩包 内容说明:...



