机译:通过转换和动画验证形式规范
Software Competence Ctr Hagenberg GmbH, Hagenberg, Austria;
LORIA Univ Lorraine, Vandoeuvre Les Nancy, France;
Formal methods; Requirements specifications; Validation; Animation; Event-B;
机译:用于操作验证的正式规范动画方法
机译:将基于动画的检查集成到可靠软件系统的正式设计规范构建中
机译:通过正式规范动画进行软件监控
机译:使用基于测试的规范动画验证正式规范
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:正式规格的实时动画
机译:从基于图形的面向对象表示到基于理论的规范的形式转换