Angewandte Informatik und Formale Beschreibungsverfahren

Mit groBer Freude haben wir diesen Band zusammengesteHt - mit Freude deshalb, weil wir die Arbeit mit Blick auf einen herausragenden Wissenschaftler geleistet ha- ben, dem wir selbst, dem dartiber hinaus aber auch die UniversitiH Karlsruhe und vor aHem die Informatik in Deutschland viel zu verdanken haben: Wolffried Stucky. Dieser Band ist irn Grunde nieht dem Umstand gewidmet, daB Wolffried Stucky 60 Jahre alt wird: vielmehr ist dies der vordergrtindige AnlaB, dem breiten Wirken eines unermtidlichen und unbeirrbaren Geistes eine besondere Aufmerksamkeit zu erw- sen. Dieser Band spiegelt in der fachlichen Vielfalt seiner Beitrage die ungewohnliche Spannweite der Interessen und Forschungsthemen von Wolffried Stucky wider. Fest fundiert in den Grundlagen und der Theorie der Informatik ist Wolffried Stucky weit hinausgegangen in die Wirtschaftsinformatik und in die praktischen Anwendungen bis hin zu ganz konkreten Projekten in Unternehmen. Dies ist nicht der Ort fur eine Laudatio - die Art und Zahl der Beitrage, aHesamt von "Jtingern" des Instituts fur Angewandte Informatik und Formale Beschreibungs- verfahren, das mit dem Namen Stucky auf das engste verkntipft ist, spricht jedoch fur sieh. Die Liste der Autoren macht zugleich deutlich, wie sehr dieses Institut tiber die Karlsruher Universitat hinaus gewirkt und die deutschsprachige Informatikszene mitgestaltet hat.