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

作     者：蔡家楣 

出 版 物：《浙江工学院学报》 (Journal of Zhejiang University of Technology)

年 卷 期：1994年第30卷第2期

页      码：86-92页

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

主 题 词：集成式 支持环境 软件开发 KORSO 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203208546...