主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
郑明春,段会川,高波,张家重.结合形式化的面向对象设计方法与支撑系统.软件学报,1999,10(4):409-414
结合形式化的面向对象设计方法与支撑系统
A Design Method and Its System Supporting the Combinationof Formal Methods and Object Technologies
投稿时间:1997-12-05  修订日期:1998-05-12
DOI:
中文关键词:  面向对象  形式化方法  HOOD(hierarchicalobject-orienteddesign)  软件设计  支撑系统
英文关键词:Objectorientation  formal method  HOOD (hierarchical objectoriented design)  software design  support system
基金项目:
作者单位
郑明春 山东师范大学计算机科学系,济南,250014
南京大学计算机软件新技术国家重点实验室,南京,210093 
段会川 山东师范大学计算机科学系,济南,250014
南京大学计算机软件新技术国家重点实验室,南京,210093 
高波 山东师范大学计算机科学系,济南,250014
南京大学计算机软件新技术国家重点实验室,南京,210093 
张家重 山东师范大学计算机科学系,济南,250014
南京大学计算机软件新技术国家重点实验室,南京,210093 
摘要点击次数: 2659
全文下载次数: 3038
中文摘要:
      为了有效地结合形式化和非形式化设计方法各自的优点,克服其不足之处,以尽可能保证软件设计的质量与可靠性,文章提出了一种将形式化方法与非形式化的面向对象设计方法HOOD(hierarchicalobject-orienteddesign)相结合的途径,并介绍了其机器支撑环境的设计与实现.该途径在对层次式面向对象设计方法HOOD进行必要扩充的基础上,有机地集成了Z语言等形式规约技术.支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具,以及自动检查机制等.
英文摘要:
      In order to pick up the complementary benefits of formal and informal design methods,and overcome their shortcomings to ensure the quality and reliability of software design,an approach to the combination of formal methods and informal objectoriented design methodsHOOD is proposed in this paper. The design and implementation of a mechanical supported environment for the approach is also introduced. Based on the necessary improvement on HOOD, a hierarchical objectoriented design method, the approach integrates the Z notation and other formal specification techniques.The supported environment provides the users with the convenient and flexible tools for constructing graphics,syntax-directed editors of formal notations and text,and facilities of automatic verification.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利