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