Helmut A. Partsch
Specification and Transformation of Programs
- Springer Berlin Heidelberg
- 1990
- Gebunden
- 516 Seiten
- ISBN 9783540523567
"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
Mehr
Weniger
zzgl. Versand
in Kürze