Z swMATH ID: 10291 软件作者: 吉姆·伍德科克;吉姆·戴维斯 描述: 使用Z。规范、细化和证明。本书深入介绍了规范语言(Z)。它主要面向用户;除了自然演绎演算(见下文),背景理论只是必要的介绍。对于市面上已有的许多(Z)类书籍,一个显著的新特点是将(Z)与精化演算和数据精化相结合。整体演示很流畅,有许多精选的示例。自始至终,作者努力使阅读尽可能有趣。然而,有相当多的细微不一致、不一致和错误(在语义和拼写方面)。这给人的印象是,这本书在某种程度上是匆匆写完的。我觉得这本书最不令人满意的是对自然演绎演算的广泛而乏味的阐述,这在本书中没有进一步使用。相反,大多数证明都被省略了,取而代之的是对读者直觉的呼吁。这是否足以促进正式规范和推理的学科?另一个令人失望的是,在那些提供证据的地方,处理往往相当麻烦。特别是,虽然引入了关系演算的所有必要概念,但没有提到它的代数性质;与书中使用的逐点方式相比,关系代数可以更简单、更优雅地给出关于关系概念的许多证明。然而,我认为这本书很有趣,值得初学者阅读,因为他们有一定的数学倾向。 主页: 网址:http://en.wikipedia.org/wiki/Z_notition 关键词: 数据细化;精化演算;规范语言\(Z\) 相关软件: 马戏团;电源保护;罗丹;Z/EVES公司;艾菲尔;伊莎贝尔/HOL;PVS公司;自旋蛋白;ProB公司;Coq公司;哈斯克尔;HOL公司;JML公司;ZRC公司;Simulink公司;第二代外国存托凭证;毫升;伊莎贝尔;伊莎贝尔/UTP;KIV公司 引用于: 237文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Z符号。参考手册。 Zbl 0777.68003号斯皮维,J.M。 1989 全部的 前5名364位作者引用 26 安娜·卡瓦尔坎蒂 21 詹姆斯·C·P·伍德科克。 11 约翰·德里克 8 泽达,弗兰克 7 Eerke A.Boiten。 7 格雷姆·史密斯 6 马克西米利亚诺·克里斯蒂亚 6 伊恩·海耶斯。 6 格哈德·谢尔霍恩 6 海克·卫尔海姆 5 罗伯特·J·科尔文。 5 利奥·弗雷塔斯 5 沃尔夫拉姆·卡尔 5 奥尔德罗格(Ernst-Rüdiger Olderog) 5 马塞尔·奥利维拉 5 吉安弗兰科·罗西 4 理查德·巴纳赫 4 比约纳,迪内斯 4 西蒙·福斯特 4 阿纳玛丽亚·马丁斯·莫雷拉 4 史蒂夫·里夫斯 4 奥古斯托·桑帕约。 4 大卫·斯特雷德 三 刘志明 三 亚历山大·莫塔。 三 佩德罗·里贝罗 三 魏坤 2 格里戈里斯·安东尼奥 2 巴博萨、路易斯·索亚雷斯 2 詹姆斯·巴克斯特 2 乔纳森·鲍文(Jonathan P.Bowen)。 2 艾伦·D·伯恩斯。 2 陈一峰 2 达科斯塔,翁贝托·苏扎 2 戴维·戴哈贝 2 付,郑 2 玛丽·克劳德·高德尔 2 杰瑞米·吉本斯 2 斯特凡·哈勒斯特德 2 马丁·希尔舍尔 2 何继峰 2 Stef Maria Mathias Joosten 2 柯伟 2 Leino,K.Rustan M。 2 卡尔·勒默 2 Michael Leuschel先生 2 伯恩哈德·莫勒 2 Musicante,Martin A。 2 科林·奥哈洛兰 2 何塞·努诺·奥利维拉 2 胡安·伊格纳西奥·佩尔纳 2 普罗塞克,P.P。 2 Gerardo Schneider公司 2 梅克·施瓦姆伯格 2 Souza Neto,Plácido A。 2 J.Michael斯皮维 2 迈克尔·斯皮维。 2 沃尔克·斯托尔茨 2 安迪·威林斯 2 克尔斯滕·温特 2 沃尔夫,伯克哈特 2 Peter Y.H.Wong。 2 朱慧彪 1 亚哈龙·阿巴迪 1 艾丽卡·阿尔布拉汉姆 1 Nazareno M.阿吉雷。 1 沃尔夫冈·阿伦特 1 亚明·艾特阿默尔 1 阿坤、奥祖尔 1 胡安·阿尔卡德 1 哈纳州阿尔沙列夫 1 彼得·阿尔瓦罗 1 努诺州阿马利奥 1 法布里斯·安伯特 1 汤姆·J·阿梅罗特。 1 保罗·阿曼 1 Krzysztof Rafal公寓 1 阿里纳斯,奥雷里奥 1 罗布·D·阿尔森。 1 西蒙·阿特金森 1 迈克尔·巴克 1 塞西莉·贝利斯 1 约翰·班布里奇。 1 迈克尔·班克斯。 1 托比亚斯·巴瑟尔 1 David A.Basin。 1 休伯特·鲍迈斯特 1 贾斯珀·贝伦德森 1 马丁·伯杰(Martin J.Berger)。 1 鲁道夫·伯哈默 1 贝塞,简 1 穆罕默德·贝塔兹 1 莱克斯·比伊斯玛 1 克里斯托弗·比肖宾克 1 安德烈亚斯·博林 1 保罗·博尔巴 1 伯格,埃贡 1 路德维克·博尔科夫斯基 1 花束,织物 1 雷蒙德·鲍特(Raymond T.Boute)。 …还有264位作者 全部的 前5名50篇连载文章中引用 51 计算的形式方面 16 理论计算机科学 15 计算机程序设计科学 7 程序设计中的逻辑和代数方法杂志 6 信息学报 5 自动推理杂志 5 逻辑与代数程序设计杂志 5 Oberwolfach报告 4 信息科学 4 国际智能系统杂志 4 系统设计中的形式化方法 三 信息处理信件 三 实时系统 2 凯伯内特斯 2 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 2 软件。实践与经验 2 符号计算杂志 2 信息与计算 2 控制论与系统分析 2 维斯尼克。塞里亚:Fizyko-Matematychni Nauky。基夫斯基伊梅尼塔拉萨舍甫琴卡大学 2 逻辑程序设计理论与实践 2 ACM计算逻辑汇刊 2 应用逻辑杂志 2 计算机科学中的逻辑方法 1 倒排索引综述 1 人工智能 1 计算机物理通信 1 数学信使 1 数学基础 1 纯粹与应用代数杂志 1 圣母院形式逻辑杂志 1 逻辑研究 1 控制论与系统 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 数学和计算机建模 1 吉泰。实验与理论人工智能杂志 1 国际计算机数学杂志 1 分布式计算 1 计算系统理论 1 欧洲应用与工业数学系列(ESAIM):论文集 1 摘要与应用分析 1 芝加哥理论计算机科学杂志 1 RAIRO公司。理论信息学及其应用 1 并行与计算:实践与经验 1 计算机科学课堂讲稿 1 伊拉尼卡科学。事务处理D:计算机科学与工程、电气工程 1 中欧计算机科学杂志 1 中国计算机科学前沿 1 计算机科学前沿 全部的 前5名28个领域被引用 218 计算机科学(68至XX) 38 数学逻辑和基础(03-XX) 8 总体主题;集合(00-XX) 4 组合数学(05-XX) 4 范畴理论;同调代数(18-XX) 4 运筹学、数学规划(90-XX) 三 一般代数系统(08-XX) 三 数论(11-XX) 2 代数几何(14-XX) 2 群论与推广(20-XX) 2 测量和集成(28-XX) 2 动力系统和遍历理论(37至XX) 2 代数拓扑(55-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 2 数学教育(97-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 结合环与代数(16-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 凸和离散几何(52-XX) 1 一般拓扑结构(54至XX) 1 流形和细胞复合体(57至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文