面向对象软件规格语言的设计
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到“八五”攻关项目、国家“863”计划和国家自然科学基金的支持.


AN OBJECT-ORIENTED SOFTWARE SPECIFICATION LANGUAGE
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文提出一种面向对象软件的形式描述语言JOOSL,用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看,需求规格和概要设计的描述在很大程度上相同,这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作;详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机,继承是行为特性的共享。

    Abstract:

    JOOSL is an object-oriented formal specification language, which can be used to describe requirement specification, preliminary design and detailed design of an object-oriented software. From the view point of specification method, requirement specification is about the same as priliminary design. In these specifications the data and operations should be described abstractly. The detailed design is concerned with specifying algorithmic details and concrete data representations. In JOOSL, an object is considered as an abstract state machine and inheritance is defined as sharing of behavior.

    参考文献
    相似文献
    引证文献
引用本文

全炳哲,金淳兆.面向对象软件规格语言的设计.软件学报,1995,6(12):705-711

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1994-06-27
  • 最后修改日期:1994-09-23
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号