© 1999

Algebraic Foundations of Systems Specification

  • Egidio Astesiano
  • Hans-Jörg Kreowski
  • Bernd Krieg-Brückner

Part of the IFIP State-of-the-Art Reports book series (IFIP)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Marie-Claude Gaudel, Gilles Bernot
    Pages 1-12
  3. Donald Sannella, Andrzej Tarlecki
    Pages 13-30
  4. Maura Cerioli, Till Mossakowski, Horst Reichel
    Pages 31-104
  5. Horst Reichel
    Pages 131-158
  6. Fernando Orejas
    Pages 159-200
  7. Hartmut Ehrig, Hans-Jörg Kreowski
    Pages 201-242
  8. Donald Sannella, Martin Wirsing
    Pages 243-272
  9. Hélène Kirchner
    Pages 273-320
  10. Peter Padawitz
    Pages 321-384
  11. Michel Bidoit, María Victoria Cengarle, Rolf Hennicker
    Pages 385-433
  12. Hans-Dieter Ehrich
    Pages 435-465
  13. Egidio Astesiano, Manfred Broy, Gianna Reggio
    Pages 467-520
  14. David Basin, Bernd Krieg-Brückner
    Pages 521-562
  15. Back Matter
    Pages 563-616

About this book


The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch­ er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab­ stract data types and the formal development of first-order applicative pro­ grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati­ cally founded in universal algebra, category theory and logic.


Systemspezifikation algebraic specification algebraische Spezifikation concurrency design development formal methods formal specification formale Methoden language logic semantics systems specification

Editors and affiliations

  • Egidio Astesiano
    • 1
  • Hans-Jörg Kreowski
    • 2
  • Bernd Krieg-Brückner
    • 3
  1. 1.Dipartimento di Informatica e Scienze dell’Informazione (DISI)Università di GenovaGenovaItaly
  2. 2.Fachbereich Mathematik/lnformatikUniversität BremenBremenGermany
  3. 3.Fachbereich Mathematik/lnformatikUniversität BremenBremenGermany

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment