Uniform Transformational Development

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.