曼纽尔·克莱维尔;旧金山杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特,纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 (英语) Zbl 1115.68046号 计算机科学课堂讲稿4350.柏林:施普林格出版社(ISBN 978-3-540-71940-3/pbk)。xxii,797页。(2007). 出版商描述:本书全面介绍了Maude,一种基于重写逻辑的语言和系统。Maude在世界各地的组织中用于并行和分布式系统的教学、研究、正式建模和分析。作者仔细解释了Maude的许多特性,帮助您确定它何时适合在您自己的组织中使用。具体来说,您将了解如何以三种相互增强的方式使用Maude及其正式工具环境:作为声明性编程语言、作为可执行的正式规范语言和作为正式验证系统。书中使用的例子说明了莫德的关键概念、特性和许多实际用途。此外,本书附带一张CD-ROM,其中包含完整的Maude 2.3软件发行版(包括源代码)、完整书籍的PDF版本以及书中所有示例的可执行Maude代码。凭借其清晰的指导、众多的例子和实用的功能,你将很容易成为莫德专家。 引用于220文件 理学硕士: 68甲15 程序设计语言理论 68号30 软件工程的数学方面(规范、验证、度量、需求等) 64岁以下 分布式系统 03B70号 计算机科学中的逻辑 68-02 与计算机科学有关的研究展览会(专著、调查文章) 软件:莫德;PMaude公司;Nuprl公司;OBJ咖啡馆;爪哇风扇;合同专用条款;MMT公司;ITP公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,《关于Maude的一切——一个高性能逻辑框架》。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。柏林:施普林格(2007;Zbl 1115.68046)