Abstract
This chapter relates the uniformity of the methodological approach to program and meta-program development (for transformation, proof and development tactics, command language, even library access and system configuration, cf. part I chapter 1) to the generic structure of the PROSPECTRA system. See also chapter 2 for an introduction to the system as a Guided Tour.
This is a preview of subscription content, log in via an institution to check access.
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., Karlsen, E.W., Liu, J., Traynor, O. (1993). Uniform transformational development. 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_155
Download citation
DOI: https://doi.org/10.1007/3-540-56733-X_155
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