IFIP State-of-the-Art Reports

Algebraic Foundations of Systems Specification

Editors: Astesiano, Egidio, Kreowski, Hans-Jörg, Krieg-Brückner, Bernd (Eds.)

  • Important material for postgraduate courses on formal specification for software development
  • Fundamental knowledge and the state of the art in algebraic specification
Show all benefits

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-642-59851-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-642-64151-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (14 chapters)

  • The Role of Formal Specifications

    Gaudel, Marie-Claude (et al.)

    Pages 1-12

  • Algebraic Preliminaries

    Sannella, Donald (et al.)

    Pages 13-30

  • From Total Equational to Partial First-Order Logic

    Cerioli, Maura (et al.)

    Pages 31-104

  • Institutions: An Abstract Framework for Formal Specifications

    Tarlecki, Andrzej

    Pages 105-130

  • Specification Semantics

    Reichel, Horst

    Pages 131-158

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-642-59851-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-642-64151-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebraic Foundations of Systems Specification
Editors
  • Egidio Astesiano
  • Hans-Jörg Kreowski
  • Bernd Krieg-Brückner
Series Title
IFIP State-of-the-Art Reports
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-642-59851-7
DOI
10.1007/978-3-642-59851-7
Softcover ISBN
978-3-642-64151-0
Edition Number
1
Number of Pages
XII, 616
Topics