Kurzfassung

Gegenstand des Projektes sind Untersuchungen und Maßnahmen zur automatischen Generierung effizienten Kodes aus formalen Protokollbeschreibungen. Dabei soll zunächst die Sprache Estelle im Mittelpunkt stehen, später auch SDL. Projektziele: Automatische Generierung effizienten Kodes aus formalen Protokollbeschreibungen; Estelle-Spracherweiterungen, soweit sie dem ersten genannten Ziel dienen; Fallstudie XTP ubnd Vergleich mit Handkodierungen.