基于SOFL的软件开发过程  

作　　者：周挺[1] 朱飞燕[1] 

机构地区：[1]西安航空职业技术学院,陕西西安710089

出　　处：《中国科技纵横》2012年第17期65-65,共1页China Science & Technology Overview

摘　　要：介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设计，编程，验证几个阶段，坚实的教学基础以及逐步求精的分解过程保证了系统软件的可靠性和稳定性。

关 键 词：形式化方法 SOFL 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]