论文部分内容阅读
为了有效地结合形式化和非形式化方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ相结合的途径，并介绍了其机器支撑环境的设计与实现，该途径在对层次式面向对象方法ＨＯＯＤ进行必要扩充的基础上，有机地集成了Ｚ语言等形式规约技术，支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具，语法制导的形式语言与文本编辑工具，以及自动