The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.

Bernd Krieg-Brckner, Einar W. Karlsen, Junbo Liu, Owen Traynor

Browse the full FM paper archive.