SOFL相关论文
程序切片是一种程序分析和程序理解技术,它通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的......
多年以来，形式化规约(formal specification)一直是软件工程领域中的一个研究热点，它的应用范围也正在逐步增长。一般来说，形式化规约......
UML建模方法是应用一系列的图形直观的表示系统对象及其行为关系。而SOFL关注的是如何规范地描述系统功能的实现，尽可能准确的满足......
形式化方法以其精确的描述能力,可验证性,和自动化潜力而得到了人们的关注。特剐是在一些对安全性要求非常高的领域，已经有了很多成......
SOFL是形式化语言中的一种，它集成了数据流图，VDM—SL，Petri网的优势，为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据......
介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设......
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景，使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL（Struct......
