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

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

填空题 若基本目标是确保有一个实在的产品发布给用户群，则处于RUP的（）阶段。