...
机译:基于模型的形式规范的严格检查方法
Formal analysis; formal specification; rigorous inspection; verification;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:Tesperanto的基于模型的系统规范:来自正式图形的可读文本
机译:基于系统级形式规范的基于模型的控制软件综合
机译:严格的正式规格检查的工具支持
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:使用观点,用例和基于序列的规范方法开发和验证严格的规范