基于 SOFL 的软件开发过程

摘要：

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

关键词：形式化方法、SOFL

在线出版日期：2012-10-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：65