Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言。采用了严格的数学理论,可以产生简明、精确、无歧义且可证明的规格说明。Z语言的主要特点是可以对Z规格说明进行推理和证明。使得软件开发人员或用户能够很快找出规格说明的不一致、不完整之处,提供对软件的信心。 将Z语言称为规格说明语言的关键思想是把软件开发中的...
Z语言是一种常用的形式化方法,广泛应用于软件规格说明的领域。Z语言提供了一种描述软件规格的正式语言,可以被用来建立高质量的、严格的、可验证的软件规格说明。使用Z语言可以有效地建立软件规格,在软件设计的过程中降低错误率,提高软件开发的质量。 本文旨在介绍软件形式规格说明语言Z课程设计,探讨如何使用Z语言来描述...
当当网图书频道在线销售正版《软件形式规格说明语言—Z(软件工程专业核心课程系列教材)》,作者:缪淮扣 等编著,出版社:清华大学出版社。最新《软件形式规格说明语言—Z(软件工程专业核心课程系列教材)》简介、书评、试读、价格、图片等相关信息,尽在DangDang.com,
需要金币:*** 金币(10金币=人民币1元) 软件形式规格说明语言—Z.pdf 关闭预览 想预览更多内容,点击免费在线预览全文 免费在线预览全文 软件形式规格说明语言mdash;Z|||软件形式规格说明语言mdash;Z|||软件形式规格说明语言mdash;Z 下载文档 收藏 分享...
形式方法是一种基于数学的软件开发方法。形式规格说明是形式方法最基本的部分,它精确描述用户需求和计算机软件系统的功能,并用于软件验证和精化。Z是目前颇受欢迎且使用较广泛的一种形式规格说明语言。本书旨在讨论软件工程中形式方法的概念、方法和表示法,并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式...
《软件形式规格说明语言—Z 缪淮扣 等编著 清华大学出版社【正版可开发票】》,作者:软件形式规格说明语言—Z 缪淮扣 等编著 清华大学出版社【正版可开发票】缪淮扣 等编著 著,出版社:清华大学出版社,ISBN:9787302292777。《普通高等教育
软件形式规格说明语言-Z 评分: 1. 什么是形式化方法? 2. 软件形式化有什么优点?(一个是精确,另一个是可验证的。) 3. 什么是Z语言?(软件的形式规格说明语言,基于数学的一种表示,用于规格说明) 4. 软件规格说明有哪两种抽象?(数据抽象,过程抽象, 以及分别是什么) 5. 除了Z语言,你知道还有哪些其他的...
形式方法是一种基于数学的软件开发方法。形式规格说明是形式方法最基本的部分,它精确描述用户需求和计算机软件系统的功能,并用于软件验证和精化。Z是目前颇受欢迎且使用较广泛的一种形式规格说明语言。本书旨在讨论软件工程中形式方法的概念、方法和表示法,并详细介绍Z的类型系统、数学语言和公理定义、通用式定义、模式...
《软件形式规格说明语言—Z》是2012年11月清华大学出版社出版的图书，作者是缪淮扣、陈怡海。内容简介 形式方法是一种基于数学的软件开发方法。形式规格说明是形式方法最基本的部分，它精确描述用户需求和计算机软件系统的功能，并用于软件验证和精化。Z是目前颇受欢迎且使用较广泛的一种形式规格说明语言。本书旨在讨论...