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

 
9783540637721: Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Hardcover
ISBN 10: 3540637729 ISBN 13: 9783540637721
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1999

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

"About this title" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1999
Language
English
ISBN 10 
3540637729
ISBN 13 
9783540637721
Binding
Hardcover
Number of pages
628
Editor
Astesiano Egidio, Etc., Kreowski Hans-Jorg, Krieg-Bruckner Bernd

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3642641512 ISBN 13:  9783642641510
Publisher: Springer, 2011
Softcover