软件需求工程的活动可以划分为5个独立的阶段：需求获取、需求建模、形成需求规格、需求验证和需求管理。需求建模是（）

A.分析需求的正确性和可行性的过程

B.对需求的抽象描述

C.对生成需求模型构件的精确的形式化的描述

D.开发、捕获和修订用户的需求

下列不属于国际货物运输保险中海上货物保险的是( )。

A．平安险
B．运输险
C．水渍险
D．附加险