MeDiCiS

Methodologie für die Entwicklung von Computer System Specifications

Obwohl die Entwicklung von Spezifikationssprachen durch methodologische Gesichtspunkte vorangetrieben wird, sind systematische Studien der Methodologie bisher ausgeblieben. Für die Entwicklung von Spezifikationen sollen grundlegende einfache Operatoren, wie sie zum Teil bereits bekannt sind, zu größeren Entwicklungsstrategien kombiniert werden. Dafür benötigt man eine Sprache, die mächtig genug ist, diese Operatoren und deren Kombinationen auszudrücken. Von diesem Projekt wird ein besseres Verständnis der Methodologien zur Entwicklung von Spezifikationen erwartet, d.h. es sollen

neue Methoden angepaßt werden auf formale Spezifikationen komplexer Systeme
verschiedene Logiken (z.B. deontische, temporale) in einem semantischen Framework inegriert werden
neue methodologie-orientierte Strukturierungskonzepte für Spezifikationen und ihre präzise semantische Definition ausgearbeitet werden
eine verbesserte Sprache realisiert werden, in der Methoden und Entwicklungsschritte ausgedrückt werden können.

Das Projekt wurde von 1993 bis 1996 im Rahmen des HCM-Programmes von der Europäischen Gemeinschaft gefördert.

Projektpartner: CRIN Nancy (Finance), Polytechnic University Catalunya (Orejas), INESC (Fiadeiro), University of Saarland (Loeckx), TU-Berlin (Jähnichen), LMU-München(Wirsing), UCL (Lamsweerde), Imperial College (Maibaum), University of Stirling (Rattray), LFCS-University of Edinburgh (Sannella) und DISI-University of Genova (Astesiano).

Ansprechpartner: Dr. Bernhard Reus.

Liste aller Projekte

Institut

Universität