| 摘要: |
| 本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具． |
| 关键词: 软件开发 形式化方法 设计演算 |
| DOI： |
| 分类号: |
| 基金项目:本研究得到国家863高科技项目基金资助. |
|
| A FRAMEWORK FOR RIGOROUS SOFTWARE DEVELOPMENT |
|
Chen Huowang,Qi Zhichang,Wang Bingshan,Ning Hong,Tan Qingping
|
| 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. |
| Key words: Software development formal method design calculus. |
