聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于重写逻辑的UML模型一致性检查方法
出处:计算机工程 2006年第8期 23-25,31,共4页
摘要:在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仪提供了有限支持。... 显示全部
关键词: 模型检查 重写逻辑 代数规范
在线阅读 下载全文
期刊文章 模型转换的重写逻辑构架研究
出处:计算机工程与应用 2006年第2期 14-16,19,共4页
摘要:规则式的模型转换技术在模型驱动构槊的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在... 显示全部
关键词: 模型转换 重写逻辑 可执行代数规范 模型驱动构架
找到2条结果
`