找到1个数据集

标签: properties文件

过滤结果

  • 带OCL不变量注释的UML类图示例数据集

    2025年12月7日 30 14 7

    数据集概述 该数据集包含11个带OCL不变量注释的UML类图示例，旨在作为工具测试套件，用于验证UML/OCL类图中约束的可满足性。数据采用USE文本格式描述类图元素及OCL约束，每个模型配有.properties文件支持有限可满足性检查。 文件详解 文件名称: examples.zip 文件格式: ZIP压缩包 内容说明:...
    packageimg