-
LLM逆向工程序列图泛化能力复现数据包
2025年12月13日 30 78 70
数据集概述 本数据集是论文《On the Generalization Capabilities of LLMs for Reverse Engineering Sequence Diagrams》的复现数据包，包含实验所需的源代码、模型生成的序列图数据等，支持复现论文中的研究结果。 文件详解 RE-LLMs-...
-
Pepper机器人FlowNetwork改造数据集与视频
2025年12月19日 30 91 62
数据集概述 本数据集是为研究论文"Retrofitting a Pepper robot with FlowNetwork"收集的相关文档和数据，包含两个结构化数据集文件、六个实验视频文件和两个序列图文件，全面记录了Pepper机器人与Pioneer 3DX机器人的FlowNetwork改造实验过程与结果。 文件详解...
-
铁路领域形式化验证与基于模型开发实验补充数据集
2025年12月7日 30 107 80
数据集概述 该数据集为论文《Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect》的补充数据，包含UMC和Sparx Enterprise...
