A FRAMEWORK FOR RIGOROUS SOFTWARE DEVELOPMENT
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    This paper proposes a framework for rigorous software development, which is based on stepwise design by refinement and composition by software reuse. In this framework, the authors integrate logic-and transition system-based formal method with visual formalisms,and get a reasonable compromise between creativity and calculus in software development.A set of computer aided tools has been built to support the approach in this paper.

    Reference
    Related
    Cited by
Get Citation

陈火旺,齐治昌,王兵山,宁洪,谭庆平.一种严格的软件开发方法框架.软件学报,1996,7(3):187-193

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 31,1995
  • Revised:
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063