米歇尔·比多特;彼得·莫塞斯（Peter D.Mosses）。 CASL用户手册。介绍如何使用通用代数规范语言。Till Mossakowski、Donald Sannella和Andrzej Tarlecki的章节。使用CD-ROM。 （英语） Zbl 1033.68025号 计算机科学讲义2900.柏林：施普林格出版社（ISBN 3-540-20766-X/pbk）。xiii，240页。(2004). 引言：第一部分。背景：第1章描述了CASL的起源：CoFI是如何形成的，以应对过去二十年代数规范语言的激增，以及为这一国际倡议制定的目标和范围。为了方便尚未熟悉其他代数规范语言的读者，第2章回顾了代数规范的主要概念，解释了有关规范语言结构和模型（即代数）的标准术语。第二部分。编写CASL规范：第3章展示了一些常见的涉及总函数的数据类型是如何在CASL中指定的，本质上与许多其他代数规范语言一样。依次讨论了松散规范、生成规范和自由规范，并给出了使用不同规范样式的示例和建议。部分功能自然产生。第4章解释了CASL如何支持部分函数的规范，并指出了与只涉及全部函数的规范相比，在哪些方面需要特别注意。子类别和父类别在CASL规范中通常很有用。第5章说明了如何声明和定义它们，以及有时可以使用它们来避免部分函数的需要。到目前为止给出的示例以简单自然的方式使用命名和结构化规范。第6章详细介绍了CASL为结构化规范提供的结构，解释了如何通过少量规范构建操作，从简单规范中轻松构建出大型复杂规范。第7章展示了如何使规范通用（适当时）提高其可重用性，允许使用不同的参数实例化规范；当组合不同实例化的结果时，复合标识符避免了显式重命名的需要。它还引入了表示规范之间所谓视图的构造。虽然规范构建操作有助于构建大型规范的文本，但架构规范旨在将结构强加给实现。第8章讨论并说明了体系结构规范的作用，并说明了如何在CASL中表达它们。第9章解释并说明了如何形成命名规范库，并通过互联网提供，以鼓励规范的广泛重用和发展。版本控制在这里至关重要。第三部分继续：第10章详细概述了CASL的基础，这些基础在随附的CASL参考手册中确立。工具支持对于有效使用与实际软件设计和开发相关的正式规范至关重要。第11章介绍了迄今为止实施的主要工具；其中一些工具允许将CASL规范与最初为其他规范语言开发的工具结合使用，展示了CASL如何提供工具互操作性。第12章介绍了CASL基本数据类型库中可用的许多规范中的一些规范。最后，第13章结合蒸汽锅炉控制系统的软件设计，对CASL在实际中的应用进行了实际案例研究。这个特定的示例是比较规范框架的标准基准之一。附录和索引：本卷由三个附录完成：附录。A提供了所有CASL结构的简要概述，以供快速参考；应用程序。B列出了使用CASL时需要记住的所有要点；和应用程序。C再现了案例研究的非正式需求规范。本书中给出的所有规范的名称都列在后面，还有概念索引和参考文献列表。（参考手册中提供了涉及CASL的出版物的综合注释书目。）随附的CD-ROM包含所有说明性规范的源文件，以及基本数据类型规范库的副本。随附的CD-ROM包含所有说明性规范的源文件，以及基本数据类型规范库的副本。 引用于22文件 MSC公司： 68甲15 程序设计语言理论 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：CoFI公司;CASL规范 软件：CoFI公司;套管，套管;ASF+SDF PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{P.D.Mosses}，CASL用户手册。介绍如何使用通用代数规范语言。Till Mossakowski、Donald Sannella和Andrzej Tarlecki的章节。带CD-ROM。柏林：施普林格（2004；Zbl 1033.68025） 全文： 内政部