基于形式化B方法的软件设计研究  

作　　者：周秀芳[1] 沙小梅[1] 秦立山[1] 

机构地区：[1]扬州大学信息工程学院 盐城高等师范学校

出　　处：《管理观察》2009年第28期290-291,共2页Management Observer

摘　　要：为了提高软件的正确性、稳定性和安全性，本文用形式化B方法来设计软件，简单介绍了B方法及其特点，并用形式化方法描述软件的需求分析，同时将B方法与UML相结合应用在软件开发中，最后以实例分析表明这套方法是可行的。

关 键 词：B方法 形式化方法 UML 软件设计 

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