Texas A&M University - Kingsville.;
机译:一种使用全球软件开发项目中的缺陷调查不断发展的面向对象软件的质量的方法
机译:DSS:一个正式的框架和一个软件工具,用于提取面向对象的设计状态空间和基于语法的度量标准
机译:集成了面向对象的安全关键软件的非正式和正式开发
机译:面向对象的形式化软件可靠性分析:验证设计
机译:基于投影的软件系统的正式验证。
机译:基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
机译:用于验证的软件可靠性设计的形式化的面向对象分析
机译:面向对象软件工程中形式化规范的验证与验证