Fundamentals of Algebraic Specifications 2: Module Specification and Constraints (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE, Band 21) - Hardcover

Ehrig, Hartmut; Mahr, Bernd

 
9780387517995: Fundamentals of Algebraic Specifications 2: Module Specification and Constraints (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE, Band 21)
Hardcover
ISBN 10: 0387517995 ISBN 13: 9780387517995
Verlag: Springer Verlag, 1990

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0387517995
ISBN 13 
9780387517995
Einband
Gebundene Ausgabe
Anzahl der Seiten
516
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387708119: Macrosocial Determinants of Population Health

Vorgestellte Ausgabe

ISBN 10:  0387708111 ISBN 13:  9780387708119
Verlag: Springer, 2007
Hardcover