软件形式化建模方法探析  

Software Formalization Modeling Analysis

作　　者：周建儒[1] 

机构地区：[1]四川信息职业技术学院,四川广元628040

出　　处：《河北软件职业技术学院学报》2016年第2期48-50,共3页Journal of Hebei Software Institute

摘　　要：传统软件开发流程存在各种缺陷。软件形式化方法是建立在严格数学基础上的软件开发方法,该方法为从根本上解决传统软件开发过程中存在的主要缺陷提供了可能,其中Pi验算就是比较典型的一种形式化语言,结合实例来分析Pi验算进行形式化建模的过程,可以帮助我们更好地了解这种形式化语言建模方式。There are various defects in traditional software development process. Built on the basis of strict mathematical software development software formalization provides methods to solve the defects in traditional software development process from the fundamental flaws. Pi checking is a typical formalization language. The paper analyzes it＇s modeling process with examples.

关 键 词：软件形式化 Pi验算 软件工程 建模方式 

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