以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
简述软件工程与软件危机的概念以及提出软件工程概念的目的。
单元测试期间，通常考虑模块的（）
CMMl能力等级中的4级是（）
简述事务设计的基本步骤。
软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
