Adresse Email heuzer at ipd dot info dot uni-karlsruhe dot de Web http://www.info.uni-karlsruhe.de/~heuzer

Arbeitsgebiete

Aspekt-orientierte Systemkonstruktion: Konfiguration von Programmfamilien, insbesondere Übersetzern, durch die Komposition von Modulen (Komponenten) und Aspekten.

Projekte

Abgeschlossen COMPOST EASYCOMP MOST RECODER VizzEditor

Beteiligung an Software

		RECODER
		Programmieren in Java --- auf der Metaebene. Programme transformieren leicht gemacht!

Betreute Studien- und Diplomarbeiten

		Diplomarbeit
		Analyse, Modellierung und Transformation von Interaktionen mit COMPASS (abgeschlossen)
		C-Quellcode-Transformationen unter Berücksichtigung des Präprozessors (abgeschlossen)
		Entwicklung eines inkrementellen, nebenläufigen Übersetzers für generisches Java (abgeschlossen)
		Entwurf und Realisierung eines komponentenorientierten Systems zur Darstellung von Messwertverläufen (abgeschlossen)
		Generierung von statischen und dynamischen Analysen zur Erkennung von Entwurfsmustern (abgeschlossen)
		Identifikation und Modellierung von Komponenten im SawMill-Betriebssystem (abgeschlossen)
		Semantische Analyse für CRecoder (abgeschlossen)
		Werkzeuggestützte Erkennung von statischen und dynamischen Mustern in objektorientierter Software (abgeschlossen)
		Studienarbeit
		Architektur eines konsistenzprüfenden Editors (abgeschlossen)
		Entwurf von Optimierungen von Squeak (abgeschlossen)
		Neuentwurf der Debugger-Schnittstelle von VizzEditor (abgeschlossen)
		Realisierung eines invertierenden C-Präprozessors für COMPOST (abgeschlossen)
		Realisierung eines invertierenden C-Zerteilers für COMPOST (abgeschlossen)
		Transformation Java/XML (abgeschlossen)

Bearbeitete Studien- und Diplomarbeiten

		Diplomarbeit
		Spezifikation und Verifikation von standardisierten Transformationen -Fallstudie: Übersetzung von IS (abgeschlossen)
		Studienarbeit
		Operator-basierte Programmierung (abgeschlossen)

Veröffentlichungen

		2004
		Heuzeroth, Aspektorientierte Konfiguration und Adaption von Komponenteninteraktionen
		2003
		Heuzeroth, Löwe, Mandel, Generating Design Pattern Detectors from Pattern Specifications
		Speck, Pulvermüller, Heuzeroth, Validation of Business Process Models
		Heuzeroth, Löwe, Understanding Architecture Through Structure and Behavior Visualization, Chapter 9 in book: Software-Visualization - From Theory to Practice
		Heuzeroth, Holl, Högström, Löwe, Automatic Design Pattern Detection
		2002
		Heuzeroth, Holl, Löwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns
		2001
		Heuzeroth, Holl, Löwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns
		Heuzeroth, Löwe, Ludwig, Assmann, Aspect-Oriented Configuration and Adaptation of Component Communication
		Jaeger, Heuzeroth, Assmann, Automating the Management of Reusable System Components
		2000
		Ludwig, Heuzeroth, Metaprogramming in the Large
		1999
		Heuzeroth, Reussner, A Meta-protocol and Type System for the Dynamic Coupling of Binary Components
		Heuzeroth, Reussner, Dynamic Coupling of Binary Components and its Technical Support
		1998
		Gaul, Heberle, Heuzeroth, Zimmermann, An ASM Specification of the Operational Semantics of MIS
		Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS
		1997
		Heuzeroth, Operator-basierte Programmierung - Operatoren zum Kombinieren von Komponenten und ihre Anforderungen an Reflexions-Schnittstellen