Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
复制标题
系统规范的代数基础
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
B. Krieg
中科院分区：
文献类型：
--
作者：
E. Astesiano;Hans;B. Krieg
本IFIP报告是对系统规范的代数基础的基本的、高质量的贡献的集合。这些贡献涵盖和调查了活跃的主题和最近的进展，并解决了这样的主题：形式规范的作用、代数的初步、偏袒、制度、规范语义、结构、细化、规范语言、术语重写、演绎和证明系统、对象规范、并发性和开发过程。作者是该领域的知名专家，本书是IFIP WG 1.3与Esprit基础研究WG COMPASS合作的成果，并为CoFI项目设计的代数规范语言CASL提供了基础。适合学生、研究人员和系统开发人员。
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.