| 正确软件开发的集成式设计支持环境 |
| |
| 引用本文： | 蔡家楣.正确软件开发的集成式设计支持环境[J].浙江工业大学学报,1994(2). |
| |
| 作者姓名： | 蔡家楣 |
| |
| 摘 要： | 本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织体系。
|
| 关 键 词： | 正确性证明 正确软件 形式开发 集成式设计支持环境 |
An integrated Project Support Environment for Development of Correct Software |
| |
| Cat Jiamei.An integrated Project Support Environment for Development of Correct Software[J].Journal of Zhejiang University of Technology,1994(2). |
| |
| Authors: | Cat Jiamei |
| |
| Affiliation: | Department of Computer Engineering |
| |
| Abstract: | In this article the support system for development of correct software abroad particularly in Germany is introduced. It gives some emphasis on a integrated project support system for development of correct software (KORSO), which integrates a variety of methodology, language and formal development logic, its major characteristics of system, formal framework and system architecture framework. |
| |
| Keywords: | Correctness proof Correct software Informal development integrated project support environment |
| 本文献已被 CNKI 等数据库收录！ |
