专用过程模型

专用过程模型（Special process model）

　　专用过程模型是指只是用于某些特定的软件工程方法。包括基于构件的开发模型、形式化方法模型、面向方面的软件开发模型。

　　1.特点

　　形式化方法是采用严格的数学表示体系来说明、开发和验证软件系统。

　　形式化模型能够消除其他过程模型中难以克服的二义性、不完整性和不一致性等问题。经过数学分析发现和纠正模型中存在的问题。

　　2.缺点

　　用形式化模型开发软件目前比较费时和昂贵。

　　形式化方法对开发者要求较高，培训量大。

　　开发者和一般用户较难沟通。