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