可执行验证论文

基于UML描述的概念模型校验技术研究
论文摘要概念模型的校核与验证(简称校验)是校核、验证与确认过程中最重要的阶段之一,在仿真系统可信度评估中具有举足轻重的作用。目前对概念模型的校验已经展开了一些研究,但还停留在理...