-
Evonne_Based_IJCAR22交互式证明可视化系统资源数据
2026年1月25日 30 172 2
数据集概述 本数据集包含与论文《Evonne: Interactive Proof Visualization for Description Logics (System Description)》相关的资源,涉及Evonne工具的版本文件及实验所用数据与脚本,支持对描述逻辑交互式证明可视化工具的研究与应用。 文件详解 文件名称:evonne-...
-
软件工程项目数据集_Archi_Dataset
2025年12月23日 30 148 135
数据集概述 该数据集包含罗马萨皮恩扎大学计算机科学工程硕士课程中收集并整理的软件工程项目,以文件夹形式存储每个项目,涵盖系统描述、性能指标、学生文档及源代码等内容,且每年持续更新。 文件详解 文件名称:Archi_Dataset.zip、Archi_Dataset_2.zip 文件格式:ZIP压缩包 内部结构(每个项目文件夹包含):...



