专用过程模型（Special process model）
专用过程模型是指只是用于某些特定的软件工程方法。包括基于构件的开发模型、形式化方法模型、面向方面的软件开发模型。
1.特点
形式化方法是采用严格的数学表示体系来说明、开发和验证软件系统。
形式化模型能够消除其他过程模型中难以克服的二义性、不完整性和不一致性等问题。经过数学分析发现和纠正模型中存在的问题。
2.缺点
用形式化模型开发软件目前比较费时和昂贵。
形式化方法对开发者要求较高，培训量大。
开发者和一般用户较难沟通。