...
机译:KeY工具:集成面向对象的设计和形式验证
Department of Computing Science, Chalmers University of Technology, 41296 Gothenburg, Sweden;
object-oriented design; formal specification; formal verification; UML; OCL; design patterns; JAVA;
机译:DSS:一个正式的框架和一个软件工具,用于提取面向对象的设计状态空间和基于语法的度量标准
机译:面向服务的架构,用于整合遗传监管网络的建模和正式验证
机译:集成了面向对象的安全关键软件的非正式和正式开发
机译:KeY方法:集成面向对象的设计和形式验证
机译:使用关键项目正式验证面向对象的软件
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:方法:集成面向对象的设计和形式验证
机译:面向对象软件工程中形式化规范的验证与验证