对象检查

使用可执行的面向对象建模语言(如UML的可执行方言XUML)来指定软件系统设计,可以通过模型检查来验证这些系统设计。然而,由于可执行的面向对象建模语言与这些模型检查器的输入语言之间存在语义和句法上的差距,以及这些系统设计的状态空间很大,现有的模型检查器并不直接适用于可执行的面向对象软件系统设计\本文介绍了一种新的工具ObjectCheck,它支持用xUML建模的可执行面向对象软件系统设计的模型检查方法。

zbMATH中的参考文献(参考文献2条,1标准件)

显示结果1到2,共2个。
按年份排序(引用)

  1. 胡曼,约瑟夫;库格勒,希勒;奥伯,尤莲;沃廷塞瓦,安杰利卡;yurstein,Yuri:用形式化技术支持基于UML的嵌入式系统开发(2008)ioport公司
  2. 谢飞;列文,弗拉基米尔;Browne,James C.:ObjectCheck:可执行面向对象软件系统设计的模型检查工具(2002)