瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。

简述需求规约的概念及其基本性质。

以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。

简述事务设计的基本步骤。

关联一端的类目对另一端的类目的一种呈现，称为____________。