Universität Bremen  
  FB 3  
  AG BKB > Forschung > Formale Methoden > Deutsch
English
 

ESPRIT Basic Research WG COMPASS und COMPASS II

 

(Comprehensive Algebraic Approach to System Specification and Development)

An der ESPRIT Basic Research Working Group COMPASS (a COMPrehensive Algebraic Approach to System Specification and development, 1989-96), inzwischen auf 20 europäische Partner erweitert, sind Prof. Gogolla, Prof. Kreowski und Prof. Krieg-Brückner (Koordinator) beteiligt. Die EU fördert Reisekosten für Tagungen und Kooperationsbesuche. COMPASS bringt die europäischen Wissenschaftler auf dem Gebiet der eigenschaftsorientierten Spezifikationen zusammen und ist so ein sehr gutes Forum, um theoretische Fragestellungen zu diskutieren und Ergebnisse zu verbreiten.

Es zeigt sich immer mehr, welche zentrale Rolle die Methodik der algebraischen Spezifikation in Europa in der Forschung einnimmt und in der Praxis in Zukunft einnehmen könnte, sowohl als theoretische Basis für weite Bereiche der Informatik, als auch besonders als Grundlage für eine Softwaretechnologie mit formalen Methoden, ähnlich wie die Analysis in den Ingenieurwissenschaften. Ziel von COMPASS ist es, die verschiedenen existierenden Ansätze zu konsolidieren, neuere Entwicklungen im Bereich der funktionalen, logischen und objekt-orientierten Programmiersprachen zu integrieren und die Basis für die Entwickung einer einheitlichen Spezifikationssprache zu schaffen (vgl. die darauf aufbauende sog. Common Framework Initiative der IFIP Working Group 14.3).

Annoted Bibliography ps-file, Latex files

Veröffentlichungen

 
   
Autor: n/a
 
  AG BKB 
Zuletzt geändert am: 24. Januar 2002   impressum