机译:来自正式B规范的动态图形UML视图
机译:关于规范的透明度:形成一种用于有限自动机中的离散事件控制规范的设计师可理解性的正式框架
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:从图形设计到事件B中的正式规范
机译:使用特定于领域的软件体系结构(ASSA)原理的基于场景的工程过程(SEP)的图形化事件导向场景行为规范
机译:无线传感器和执行器网络的正式规范和设计技术
机译:使用图形设计工具进行形式化规范
机译:软件形式化规范图形表示法的开发。