• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 1999, Vol. 21 ›› Issue (2): 56-60.

• 论文 • 上一篇    下一篇

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

郑明春 张家重   

  • 出版日期:1999-02-01 发布日期:2010-07-02

  • Online:1999-02-01 Published:2010-07-02

摘要:

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

关键词: HOOD方法 形式经 面向对象 集成 程序设计