基于SysML的可执行模型验证工具的研究与实现1 时间:2022-08-03 12:48:18 【文件属性】: 文件名称:基于SysML的可执行模型验证工具的研究与实现1 文件大小:1.94MB 文件格式:PDF 更新时间:2022-08-03 12:48:18 摘要系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model DrivenDevelopment,MDD 立即下载