标签：
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动，从根本上讲，软件设计过程就是一个建立形式化规约，软件设计的最终产物--程序在进行形式化的过程中涉及到三中系统模型：现实世界，模型表示和计算机系统。软件规格说明是对软件系统对象，对象的操作系统以及对象行为的描述，形式化的规格说明可用自然语言图表等形式来描述，模型检测主要用于有穷状态系统，优点是完全自动化并且验证速度快
标签：
原文地址：http://www.cnblogs.com/laozhanghahaha/p/4293541.html
