Uniform transformational development
Purchase on Springer.com
$29.95 / €24.95 / £19.95*
* Final gross prices may vary according to local VAT.
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.
- Uniform transformational development
- Book Title
- Program Development by Specification and Transformation
- Book Subtitle
- The PROSPECTRA Methodology, Language Family, and System
- pp 315-330
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.