Algebraic Foundations of Systems Specification
by Egidio Astesiano
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.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Algebraic Foundations of Systems Specification
1999, Springer Berlin Heidelberg
electronic resource /
in English
- 1.
3642641512 9783642641510
|
aaaa
|
Book Details
Table of Contents
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
| September 12, 2021 | Edited by ImportBot | import existing book |
| June 28, 2019 | Created by MARC Bot | import new book |