HOOD方法与形式化技术的集成研究

ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形、结构化英语和Ａｄａ伪码来描述系统的设计规约。本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法，借助该方法可以获得更为严格的软件设计规约，最后简要介绍了其机器支撑系统。