Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Egidio Astesiano, Hans-J�rg Kreowski

ISBN 10: 3642641512 / ISBN 13: 9783642641510

Editore: IFIP International Federation for Information Processing 1999-01-01, 1999

Riguardo questo articolo

Codice articolo 6666-IUK-9783642641510

Dati bibliografici

• Titolo: Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
• Editore: IFIP International Federation for Information Processing 1999-01-01
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 3642641512
• ISBN 13: 9783642641510
• Rilegatura: Paperback
• Condizione: New

Descrizione articolo

Riassunto

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.

Contenuti

The Role of Formal Specifications.- Algebraic Preliminaries.- From Total Equational to Partial First-Order Logic.- Institutions: An Abstract Framework for Formal Specifications.- Specification Semantics.- Structuring and Modularity.- Refinement and Implementation.- Specification Languages.- Term Rewriting.- Proof in Flat Specifications.- Proof Systems for Structured Specifications and Their Refinements.- Object Specification.- Algebraic Specification of Concurrent Systems.- Formalization of the Development Process.- Author Index.