und Komponenten-Technologien in der Modellierung ... - CES - KIT

Vorwort
Die vorliegende Arbeit, die während meiner Tätigkeit als wissenschaftlicher Assistent am Institut
für Rechnerentwurf und Fehlertoleranz an der Universität Karlsruhe entstand, wurde von
der Fakultät für Informatik der Universität Karlsruhe als Habilitationsschrift angenommen.
An dieser Stelle möchte ich mich besonders bei Herrn Prof. Dr.-Ing. Detlef Schmid für die
Betreuung der Arbeit und die Übernahme des Referats bedanken. Sein stetes Interesse, seine
tatkräftige Unterstützung sowie der von ihm gewährte Gestaltungsspielraum in Forschung und
Lehre haben wesentlich zum Gelingen dieser Arbeit beigetragen.
Besonderen Dank schulde ich auch Herrn Prof. Dr. Axel Lehmann für die Übernahme des Korreferats
und die damit verbundene Mühe.
Frau Prof. Dr.-Ing. Helena Szczerbicka möchte ich für die interessanten Diskussionen und
wertvollen Anregungen danken, die mir sehr dabei geholfen haben, diese Arbeit erfolgreich
abzuschließen.
Auch meinen (ehemaligen) Kolleginnen und Kollegen aus der Arbeitsgruppe "Modellierung"
Herrn Dr. Klaus-Peter Huber, Herrn Dr. Peter Ziegler, Herrn Dr. Jörg Berdux und Frau Dipl.-
Inform. Elisabeth Syrjakow möchte ich für die stets kooperative und freundschaftliche Zusammenarbeit
danken, die zu zahlreichen Publikationen führte.
Ferner möchte ich den Studentinnen und Studenten Herrn Matthias Liefländer, Herrn Christian
Bentz, Herrn Bernd Zimmermann, Frau Anke Otto, Herrn Dietmar Püttmann, Frau Sabine
Schillinger und Herrn Florian Schmidt für ihr großes Engagement und die zuverlässige Durchführung
der Implementierungsarbeiten danken.
Mein Dank gilt auch allen Mitarbeitern und Angestellten des Instituts für die gute Zusammenarbeit
und die angenehme Arbeitsatmosphäre.
Aus tiefstem Herzen danke ich meiner Frau Nadija für ihre Geduld und das große Verständnis,
das sie mir während des Verlaufs meiner Habilitation entgegenbrachte.
Karlsruhe, im Juli 2003 Michael Syrjakow