Flow diagrams; Assertions; Formal methods;
机译:结合形式化方法和可视化技术来分析数据流程图
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:使用轻量级形式方法对类和对象图进行建模
机译:针对高级故障模型分析断言套件的完整性的正式方法
机译:证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:将需求工程引入正式方法:Event-B和KaOs的时序图