论文部分内容阅读
对于软件设计而言,一条更严格的开发途径的吸引力早已显而易见:随着普通项目的软件内容和复杂度的增加,软件验证和测试要消耗更多的项目预算。形式方法——精确定义软件功能,并保证软件符合规范——提供一条很有吸引力的
The attraction of a more rigorous development path has long been apparent to software design: as the average project’s software content and complexity increase, software verification and testing consume more project budget. Formal methods - precise definition of software features and software conformity - provides an appealing