
Algebraic Foundations of Systems Specification
Springer (Publisher)
Published on 21. October 2011
Book
Paperback/Softback
XII, 616 pages
978-3-642-64151-0 (ISBN)
Description
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.
More details
Series
Edition
Softcover reprint of the original 1st ed. 1999
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XII, 616 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 34 mm
Weight
943 gr
ISBN-13
978-3-642-64151-0 (9783642641510)
DOI
10.1007/978-3-642-59851-7
Schweitzer Classification
Other editions
Additional editions

Egidio Astesiano | Hans-Jörg Kreowski | Bernd Krieg-Brückner
Algebraic Foundations of Systems Specification
Book
08/1999
Springer
€112.34
Article exhausted; check different version
Persons
Content
The Role of Formal Specifications.- Algebraic Preliminaries.- From Total Equational to Partial First-Order Logic.- Institutions: An Abstract Framework for Formal Specifications.- Specification Semantics.- Structuring and Modularity.- Refinement and Implementation.- Specification Languages.- Term Rewriting.- Proof in Flat Specifications.- Proof Systems for Structured Specifications and Their Refinements.- Object Specification.- Algebraic Specification of Concurrent Systems.- Formalization of the Development Process.- Author Index.