×

ITP/OCL公司

swMATH ID: 2727
软件作者: Manuel Clavel;玛丽娜·埃加
描述: ITP/OCL:用于UML+OCL静态类图的基于重写的验证工具。在本文中,我们介绍了ITP/OCL工具,这是一个基于重写的工具,支持根据OCL约束自动验证UML类图。它的实现直接基于UML+OCL类图的等式规范。它完全是用莫德语写的,充分利用了它的反射能力。我们还注意到了VisualITP/OCL,这是一个Java图形界面,可以用作ITP/OCL工具的前端。
主页: http://maude.sip.ucm.es/itp/ocl/
相关软件: 莫德;时刻2;咖啡馆OBJ;Java+ITP;K校准仪;距离-弧度;K工具;MMT公司;爪哇风扇;ATL公司;HOL-OCL公司;半人马座;vlogsl语言;聚乙烯醇水杨酸;PMaude公司;托勒密;ACL2型;公式2.0;AGG公司;视频
引用于: 5文件

按年份列出的引文