机译：用于设计和验证CNC系统的可靠软件的正式规范框架
机译：用于设计大型系统的软件：当子元素，组件和相互关系太多而无法跟踪时，如何在创建，验证和分析系统时“自动化”
机译：用于设计健壮的软件系统和度量的基于组件的系统中的动力学的形式概念框架
机译：使用现成的软件组件创建可靠的基于软件的系统的艺术
机译：自动重构历史重构和动态组件自适应框架，用于基于重构的软件组件演化。
机译：设计概念框架的医师诱发需求组成部分范围回顾
机译：用于设计和验证计算机数控（CNC）系统的可靠可靠软件的正式规范和验证框架
机译：设计可靠的软件密集型系统的框架。
