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

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

B.对需求的抽象描述

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

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

车削一般要求不高的梯形螺纹时，为能车出表面粗糙度较细的齿面，取具有较大背前角的螺纹车刀，这时应修正刀尖角来补偿牙型角误差。 ( )