系统语境的过程类包括4个过程组，分别是（）、项目过程组、技术过程组和组织上项目使能过程组。

软件验证过程中，根据验证的侧重点不同，可以将验证分为5种类型，即需求验证、设计验证、代码验证、（）和文档验证。

填空题软件验证过程中，根据验证的侧重点不同，可以将验证分为5种类型，即需求验证、设计验证、代码验证、（）和文档验证。

基于系统工程的一般原理，软件是整个系统的一个组成部分，其执行系统中（）功能、（）功能以及软件本身提供的功能。

填空题基于系统工程的一般原理，软件是整个系统的一个组成部分，其执行系统中（）功能、（）功能以及软件本身提供的功能。

常有的静态评估技术有（）和（）形式化证明等。

填空题常有的静态评估技术有（）和（）形式化证明等。