摘要：
Z语言是一种以一阶谓词演算为主要理论基础的规约语言，是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在... 阅读全文
摘要：
《软件形式规格说明语言-Z》 缪淮扣第一章 绪论1.1 软件生命周期： 需求分析与规格说明 设计 实现 测试 交付与维护 ——瀑布模型1.2 软件规格说明的两种抽象：过程抽象、数据抽象。过程抽象描述软件系统要实现的功能，而不是如何实现的具体步骤；数据抽象就是在规格说明中使用集合、关系、映射、序列、包... 阅读全文