Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 编程软件
授权方式:共享版
软件大小:7.52 MB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:
更新时间:2013-03-09 12:27:00
下载统计:
使用是一个方便的系统,专为信息系统的规范和验证的基于统一建模语言(UML)和对象约束语言(OCL)的一个子集。
写在对象约束语言(OCL)的表达式是用来指定在模型上的神器出山:www.shenqi73.com额外的完整性约束。可以是动画的模型验证规范,以非正规的要求。
系统状态(正在运行的系统的快照),可以在动画中创建和操纵。对于每个快照的OCL约束系统会自动检查。有关系统状态的图形视图。 OCL表达式可以输入和评估,以查询有关系统状态的详细信息。
上一个软件:单实例控制器1.0_Single Instance Controller 1.0
下一个软件:设计模式的自动化工具包0.36 Beta版_Design Pattern Automation Toolkit 0.36 Beta
共有 0 位网友发表了评论,得分 0 分,平均 0 分 查看完整评论