-
Alloy4Fun_Based_2022_23_学生形式化方法课程挑战模型数据集
2026年1月15日 30 166 89
数据集概述 本数据集包含2019年秋季至2023年春季期间，Minho大学和Porto大学学生在Alloy4Fun平台提交的形式化方法课程挑战模型，共约十万条记录。覆盖Trash FOL、Classroom FOL、Production line等11类挑战主题，涉及EM、MFES、MFS等多门硕士课程，用于教学评估与形式化方法研究。 文件详解...
2026年1月15日 30 166 89
