J4 ›› 1999, Vol. 21 ›› Issue (2): 56-60.
• 论文 • 上一篇 下一篇
郑明春 张家重
出版日期:
发布日期:
Online:
Published:
摘要:
HOOD是由欧洲ESA公司开发的一种面向对象软件结构设计方法,它使用图形,结构化英语和Ada伪码来描述系统的设计规约,本文首先概述了HOOD方法的基本概念和对它进行的改进,然后提出了一种集成HOOD和形式化技术的方法,借助该方法可以获得更为严格的软件设计规约,最后简要介绍了其机器支持系统。
关键词: HOOD方法 形式经 面向对象 集成 程序设计
郑明春 张家重. HOOD方法与形式化技术的集成研究[J]. J4, 1999, 21(2): 56-60.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y1999/V21/I2/56