COMPASS

A comprehensive Algebraic Approach to System Specification and Development

Projects partner: Aarhus Universitet (Mosses) , University of Bergen (Mendal) , TU-Berlin (Pepper , Ehrig), Techn. Universität Braunschweig (Ehrich , Gogolla), Universität Bremen (Krieg-Brückner, Kreowski), Technische Universität Dresden (Reichel) , LFCS-University of Edinburgh (Sannella , Burstall), DISI-University of Genova (Astesiano) , Universita Degli Studi di Roma "La Sapienza" (Parisi-Presicce) , Polytechnic University Catalunya (Orejas), INESC, Lisboa (Fiadeiro), Technische Universität München (Broy) , LMU-München (Wirsing) , CRIN Nancy (Lescanne, Kirchner), Oxford University (Joe Goguen), Universites Paris Sud Orsay and Evry (Gaudel, Jouannaud) , LIENS, Ecole Normale Superieure, Paris , (Bidoit) , Max-Planck-Institut für Informatik (Ganzinger) , University of Oslo (Dahl) , Institute of Computer Science, Polish Academy of Sciences, Warsaw (Tarlecki)

Contact person: Dr. Friederike Nickl. Prof. Dr. Martin Wirsing.