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

• A、分析需求的正确性和可行性的过程 
• B、对需求的抽象描述 
• C、对生成需求模型构件的精确的形式化的描述 
• D、开发、捕获和修订用户的需求