基于SysML的可执行模型验证工具的研究与实现1

【文件属性】：

文件名称：基于SysML的可执行模型验证工具的研究与实现1

文件大小：1.94MB

文件格式：PDF

更新时间：2022-08-03 12:48:18

摘要系统建模语言(Systems Modeling Language，SysML)的提出使得模型驱动开发(Model DrivenDevelopment，MDD