Programmtransformation

Forschung zur Programmtransformation im DFG Sonderforschungsbereich SFB 49 (Programmiertechnik), Projekt CIP (Computer-aided Intuition-guided Programming) an der Technischen Universität München, unter der Leitung von Prof. F. L. Bauer und Prof. K. Samelson, vgl. auch Breitbandsprachen.

Anfang 1984 beantragte Bernd Krieg-Brückner in der ersten Runde der Ausschreibungen im Rahmen des ESPRIT Programms der EG das Projekt PROSPECTRA (PROgram development by SPECification and TRAnsformation). Ziel sind eine rigorose Methodologie und der Prototyp eines industriell einsetzbaren Systems zur Entwicklung von korrekter Software aus einer formalen Spezifikation, zum Einsatz in technischen Systemen, bei denen es auf hohe Zuverlässigkeit besonders ankommt. Eine Fortführung der Förderung erfolgt durch das BMFT im Verbundprojekt KORSO (Korrekte Software), ferner durch das BMBF mit dem UniForM Workbench (Universelle Entwicklungsumgebung für Formale Methoden). Gleichzeitig wird die Kooperation mit der Industrie fortgesetzt.