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

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

B.对需求的抽象描述

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

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

关于尿毒症，下列正确的是（）

A.食物中蛋白质含量、血中尿素氮含量与肾功能不全的严重程度成正比

B.贫血程度与肾衰的进展成正比

C.出血倾向与血小板的质量有关

D.因血钙降低，不会出现钙盐沉积

E.生长激素、高血糖素、泌乳素及促胃液素升高