Specification and Transformation of Programs: A Formal Approach to Software Development
- ISBN-10
- 3540525890
- ISBN-13
- 9783540525899
- Category
- Computers
- Pages
- 493
- Language
- English
- Published
- 1990-07-05
- Publisher
- Springer Science & Business Media
- Author
- Helmut A. Partsch
Description
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.
Get the book
Other editions
-
- 2012-12-06
- 508 pages
- Ebook
- Springer Science & Business Media
-
- 1990-07-05
- 520 pages
- Paperback
- Springer Science & Business Media
Similar books
-
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System
By Bernd Krieg-Brückner659 : G. Brewka , K. P. Jantke , P. H. Schmitt ( Eds . ) , Nonmonotonic and Inductive Logic . Proceedings , 1991 . VIII , 332 pages . 1993. ( Subseries LNAI ) . Vol . 660 : E. Lamma , P. Mello ( Eds . ) , Extensions of Logic Programming ...
-
Program Specification and Transformation: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG,...
By Lambert Meertens, IFIP Technical Committee 2--Programming, IFIP Working Group 2.1 on AlgolThe economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of...
-
Program Development by Specification and Transformation
By Berthold Hoffmann, Bernd Krieg-BrücknerProgram Development by Specification and Transformation
-
Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983
By F.L. Bauer, Peter Pepper, H. RemusProceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
-
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9...
By Yves Deville... (Ed.) AI and Cognitive Science '92 University of Limerick, 10–11 September 1992 Kevin Ryan and Richard F.E. Sutcliffe (Eds.) Theory and Formal Methods 1993 Proceedings of the First Imperial College Department of Computing Workshop ...
-
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
By Hans-Jörg Kreowskiat the Wetwork Service Access Point (NSAP). A complete informal description is contained in the original ISO paper / ISO-TS 83/. +----------- + +------------ + System A : : System B session : t t t t * n t t * * t layer !
-
Modern Software Tools for Scientific Computing
By Hans Petter Langtangen, A. Bruaset, E. Arge... programs as mutable , one can concentrate on writing an abstract specification that , while appearing inefficient , has ... transformation methodology to address the problem of program correctness ... Specification of Numerical Software 355.
-
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
By Moreno FalaschiLondon Mathematical Society Lecture Note Series, vol. 22, pp. ... 143–184 (1993) Herbelin, H.: Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes.
-
TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989:...
By Fernando Orejas, Josep Diaz... programs by gradual transformation . A uniform treatment of algebraic specification is presented to formalise data , programs ... SPECification and TRAnsformation ) interface , reduces system complexity , and allows the construction III.
-
The Munich Project CIP: Volume II: The Programme Transformation System CIP-S
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich.