软件需求工程 课件 第7章 需求的形式化描述.pptx

第7章需求的形式化描述;目录;7-1;;7-2;1.规格说明变换;2.规格说明执行;7-3;形式化规格说明的简单形式;描述功能规格说明;霍尔（Hoare）逻辑;7-4;示例：栈的代数规格证明;示例：栈的代数规格证明;7-5;7-5-1Z简介;7-5-2Z的数字符号;7-5-2Z的数字符号;7-5-3Z中的图表;7-5-3Z中的图表;7-5-3Z中的图表;7-5-4Z规约的示例;7-5-4Z规约的示例;7-5-4Z规约的示例;7-5-4Z规约的示例;7-6;7-6-1LOTOS简介;7-6-2LOTOS的数据描述语言;7-6-2LOTOS的数据描述语言;7-6-3LOTOS的进程;7-6-3LOTOS的进程;7-6-3LOTOS的进程;7-6-3LOTOS的进程;7-6-4LOTOS规约的示例;7-6-4LOTOS规约的示例;7-6-4LOTOS规约的示例;7-6-4LOTOS规约的示例;7-7;7-7-1B方法简介;7-7-2B方法中的数学符号;7-7-2B方法中的数学符号;7-7-2B方法中的数学符号;7-7-2B方法中的数学符号;7-7-3B方法中的抽象机;7-7-4B规约的示例