Algebraic Foundations of Systems Specification
By: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Contributors: Kreowski, H.-J. (Hans-Jörg); Krieg-Brückner, B. (Bernd)
Edition: 1.
Series: IFIP State-of-the-Art Reports; IFIP state-of-the-art reports
Publisher: Springer Berlin Heidelberg
Published: 1999
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] /
Number of pages: 616
ISBN-13: 9783642641510; 9783642598517
Subjects: Logic design; Computer science; Software engineering
Description: This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current 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. The book is an outcome of IFIP WG 1.3 (Foundations of Systems Specification) in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI (Common Framework Initiative for Algebraic Specification and Development) project. It is aimed at system developers, researchers, and students.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Preface; title: The Role of Formal Specifications; title: Algebraic Preliminaries; title: From Total Equational to Partial First Order Logic; title: Institutions: An Abstract Framework for Formal Specifications; title: Specification Semantics; title: Structuring and Modularity; title: Refinement and Implementation; title: Specification Languages; title: Term Rewriting; title: Proof in Flat Specifications; title: Proof Systems for Structured Specifications and Their Refinements; title: Object Specification; title: Algebraic Specification of Concurrent Systems; title: Formalization of the Development Process; title: Bibliography; title: Index.