正确软件开发的集成式设计支持环境

An integrated Project Support Environment for Development of Correct Software

本文介绍了国外特别是德国在正确软件开发支持系统方面的进展，重点阐述集成了各种方法学语言及正确性证明逻辑的集成式正确软件开发支持系统（ＫＯＲＳＯ），它的系统特点、形式机制及系统组织体系。

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.