The PROSPECTRA System

The PROSPECTRA Project ( rl~.gram development by specification and lr.~sformation) is a cooperative project between Universit~lt Bremen, Universit~it Dortmund, Universit/it Passau, Universit~lt des Saarlandes (all D), University of Strathclyde (GB), Syseca Logiciel (F), Computer Resources International A/S (DK), Alcatel S.E.S.A. (E), and Universitat Polit~cnica de Catalunya rE). It has been sponsored (February 1985 to 1990) by the CEC under the ESPRIT contracts no. 390/835. The project has developed a rigorous methodology for developing correct software by transformation and implemented a comprehensive system for supporting all program development activities.