形式化语法相关论文
随着星载软件在航天器上实现的功能比重越来越高,星载软件可靠性和可信性的指标要求越来越严格。传统软件测试方法的局限性难以确......
统一建模语言UML是一种通用的图形化建模语言，在面向对象系统的分析和设计中，它已成为了事实上的工业标准。但UML不是形式化的建模语......
在部队模拟训练系统中,实装指控系统与基于仿真的训练支撑环境的互操作性问题是一个亟待解决的问题。为此,提出指控与仿真系统互操......
UML2．0通信图可以表示对象之间的交互，很适合用于对系统的交互行为建模，但由于UML缺乏精确语义，使得难以对其所表示的系统行为进行分析......
