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

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

B.对需求的抽象描述

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

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

轻微伤是指：各种致伤因素所致的原发性损伤，造成组织器官结构轻微损害或者轻微功能障碍。