| 一种严格的软件开发方法框架 |
| |
| 引用本文： | 陈火旺,齐治昌,王兵山,宁洪,谭庆平.一种严格的软件开发方法框架[J].软件学报,1996,7(3):187-193. |
| |
| 作者姓名： | 陈火旺 齐治昌 王兵山 宁洪 谭庆平 |
| |
| 作者单位： | 长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073 |
| |
| 基金项目： | 本研究得到国家863高科技项目基金资助. |
| |
| 摘 要： | 本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具．
|
| 关 键 词： | 软件开发 形式化方法 设计演算 |
| 收稿时间： | 1995/8/31 0:00:00 |
A FRAMEWORK FOR RIGOROUS SOFTWARE DEVELOPMENT |
| |
| Chen Huowang,Qi Zhichang,Wang Bingshan,Ning Hong and Tan Qingping.A FRAMEWORK FOR RIGOROUS SOFTWARE DEVELOPMENT[J].Journal of Software,1996,7(3):187-193. |
| |
| Authors: | Chen Huowang Qi Zhichang Wang Bingshan Ning Hong and Tan Qingping |
| |
| Affiliation: | Department Of Computer Science Changsha Institute of Technology Changsha 410073 |
| |
| 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. |
| |
| Keywords: | Software development formal method design calculus |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
