軟件需求工程的活動(dòng)可以劃分為5個(gè)獨(dú)立的階段：需求獲取、需求建模、形成需求規(guī)格、需求驗(yàn)證和需求管理，需求建模是( )
A、分析需求的正確性和可行性的過程
B、對(duì)需求的抽象描述
C、對(duì)生成需求模型構(gòu)件的精確的形式化的描述
D、開發(fā)、捕獲和修訂用戶的需求