AMAST Series in Computing, Volume 1, 1993, ISBN 981-02-1227-5
World Scientific, Singapore. 254 pages, price: US$ 38.
Order information: see [AL0203S1] .
The ACT approach is a conceptual frame for software development based on algebraic specification techniques. It is intended to support the software development process in several stages and to enforce the construction of software systems with emphasis on correctness and compositionality.
The first chapter provides an informal introduction to algebraic specification and the ACT approach as a formal method for software development. In the main part of the book algebraic specification techniques for data types and modular software systems are introduced and the specification language ACT ONE and the ACT environment are presented as developed at the Technical University of Berlin in several national and international research and development projects.
Many expressive examples and one larger case study illustrate the provided concepts and techniques, leading to an easily accessible and application-oriented contribution to the use of algebraic methods in software development based on solid theoretical foundations.
Authors' Address:
Technische Universität Berlin, Sekr. FR 6-1, FB 13, Informatik
Franklinstrasse 28/29, D-10587 Berlin, Germany
e-mail: <name>@cs.tu-berlin.de