单项选择题
一般适用于规模较小的、复杂程度不大高的小型软件项目，或在获取SRS（草案）时使用的需求规约表达风格是（）
A.形式化的 B.非形式化的 C.结构化的 D.非结构化的
单项选择题 可以把软件开发的本质概括为：不同抽象层术语之间，以及不同抽象层处理逻辑之间的（）
单项选择题 需求分析产生的正式文档是（）
