浅析形式化描述方法的应用  

作　　者：冯松军 

机构地区：[1]内江师范学院,四川省内江市641112

出　　处：《电子技术与软件工程》2014年第10期107-108,共2页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

摘　　要：形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规格、设计和实现等。使用这种描述方法可以帮助开发者发现软件系统的设计、实现和程序中的问题和缺陷,能够较好的提高软件系统的正确性和可靠性。本文介绍了形式化方法的基本内容、分类以及应用等方面,分析了其思想和应用情况,以及形式化方法在软件工程中的优势和可靠性,并列举了一个简单的实例。

关 键 词：软件工程 形式化描述 形式规约语言 Z语言 

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