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文件 全部的 前5名7位作者引用 4 何塞·梅塞盖尔·瓜伊塔 2 格里高·罗什乌 1 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔 1 路易斯·伊里巴恩 1 洛佩斯·费尔南德斯 1 安吉尔·莫拉塞古拉 1 卡米洛,罗查 3篇连载文章中引用 1 信息与计算 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 5 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 按年份列出的引文