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

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

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

事件可细分为信号事件、（）事件、（）事件和变化事件。

填空题事件可细分为信号事件、（）事件、（）事件和变化事件。

协作是一个交互，涉及交互各方、交互（）以及交互内容三要素。

填空题协作是一个交互，涉及交互各方、交互（）以及交互内容三要素。