论文部分内容阅读
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。