%0 Journal Article
%T 结合形式化的面向对象设计方法与支撑系统
%A 郑明春？
%A 段会川？
%A 高波？
%A 张家重？
%J 软件学报
%P 409-414
%D 1999
%X 为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ｈｏｏｄ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径，并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ｈｏｏｄ进行必要扩充的基础上，有机地集成了ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具，以及自动检查机制等．
%K 面向对象
%K 形式化方法
%K hood（hierarchicalobject－orienteddesign）
%K 软件设计
%K 支撑系统
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19990414&flag=1