Fundamentals of Algebraic Specification 2: Module Specifications and Constraints.

Ehrig, Hartmut and Bernd Mahr:

ISBN 10: 0387517995 / ISBN 13: 9780387517995

Published by Springer Verlag Gmbh, 1985

About this Item

427 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 850.

Seller Inventory # 1583697

Bibliographic Details

• Title: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints.
• Publisher: Springer Verlag Gmbh
• Publication Date: 1985
• Language: English
• ISBN 10: 0387517995
• ISBN 13: 9780387517995
• Binding: gebundene Ausgabe
• Condition: Gut
• Seller catalogs:
  • 200 Mathematik

About this title

Synopsis

Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. Modularization is one of the main structuring principles in software development. Modules and module specifications can be seen as the basic building blocks which are used in modularization of software systems and software system specification. Constraints are introduced to increase the expressive power of algebraic specifications in order to make them more useful for practical applications. The book is suitable both as a textbook for graduate courses in formal specification of data types and software systems and as a reference for researchers and system developers.