Skip to main content
SpringerLink
Log in

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

  • Textbook
  • © 1990

Overview

Authors:
  1. Hartmut Ehrig

    1. Technische Universität Berlin, FB 20 (Informatik), Berlin 10, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Bernd Mahr

    1. Technische Universität Berlin, FB 20 (Informatik), Berlin 10, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS, volume 21)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Introduction

    • Hartmut Ehrig, Bernd Mahr
    Pages 1-8

  3. Informal Introduction to Abstract Modules

    • Hartmut Ehrig, Bernd Mahr
    Pages 9-50

  4. Module Specifications

    • Hartmut Ehrig, Bernd Mahr
    Pages 51-90

  5. Basic Operations on Module Specifications

    • Hartmut Ehrig, Bernd Mahr
    Pages 91-141

  6. General Operations on Module Specifications

    • Hartmut Ehrig, Bernd Mahr
    Pages 143-175

  7. Refinement, Interface Specifications, and Realization

    • Hartmut Ehrig, Bernd Mahr
    Pages 177-221

  8. Development Categories, Simulation, and Transformation

    • Hartmut Ehrig, Bernd Mahr
    Pages 223-262

  9. Constraints

    • Hartmut Ehrig, Bernd Mahr
    Pages 263-301

  10. Module Specifications and Operations with Constraints

    • Hartmut Ehrig, Bernd Mahr
    Pages 303-349

  11. Abstract Act One and Act Two

    • Hartmut Ehrig, Bernd Mahr
    Pages 351-383

  12. Summary of Basic Notions

    • Hartmut Ehrig, Bernd Mahr
    Pages 385-401

  13. Back Matter

    Pages 403-427
    Download chapter PDF
Back to top

Keywords

About this book

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

Authors and Affiliations

  • Technische Universität Berlin, FB 20 (Informatik), Berlin 10, Germany

    Hartmut Ehrig, Bernd Mahr

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation