PROSPECTRA

Program-Transformation.Org: The Program Transformation Wiki
PROSPECTRA is the acronym for PROgram development by SPECification and TRAnsformation