SOFL相关论文
多年以来，形式化规约(formal specification)一直是软件工程领域中的一个研究热点，它的应用范围也正在逐步增长。一般来说，形式化规约......
形式化方法以其精确的描述能力,可验证性,和自动化潜力而得到了人们的关注。特剐是在一些对安全性要求非常高的领域，已经有了很多成......
SOFL是形式化语言中的一种，它集成了数据流图，VDM—SL，Petri网的优势，为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据......
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景，使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL（Struct......
