Abstract
This chapter gives a tutorial introduction to the Methodology. It serves as an overall rationale for the PROSPECTRA Project and relates this part to those on the Language Family and the System. In the methodology of PROgram development by SPECification and TRAnsformation, algebraic specifications are the basis for constructing correct and efficient programs by gradual transformation. The combination of algebraic specification and functional increases abstraction, reduces development effort, and allows reasoning about correctness and direct optimisations. The uniformity of the approach to program and meta-program development is stressed (cf. also the chapter on Uniform Transformational Development in part III chapter 1).
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Krieg-Brückner, B. (1993). Introduction. In: Hoffmann, B., Krieg-Brückner, B. (eds) Program Development by Specification and Transformation. Lecture Notes in Computer Science, vol 680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56733-X_141
Download citation
DOI: https://doi.org/10.1007/3-540-56733-X_141
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56733-2
Online ISBN: 978-3-540-47639-9
eBook Packages: Springer Book Archive