direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Prof. Dr.-Ing. Stefan Jähnichen

Habilitationen

2006
Florian Kammüller
Interactive Theorem Proving in Software Engineering Technische Universität Berlin, 2006.
Thomas Santen
Security Engineering: Requirements Analysis, Specification, and Implementation Technische Universität Berlin, 2006.
2002
Sahin Albayrak
Offene Plattformen zur Entwicklung von verteilten Systemen und Online Diensten Technische Universität Berlin, 2002
2001
Thomas Berlage
Enhanced Reality Systems - Computer-Mediated Interaction in Complex Environments Technische Universität Berlin, 2001
1998
Horst Zuse
A Framework of Software Measurement. Technische Universität Berlin, 1998
1997
Matthias Weber
Systematic Design of Embedded Control Systems: Composing Models of System Structure and Behavior. Technische Universität Berlin, 1997
Maritta Heisel
Methodology and Machine Support for the Application of Formal Techniques in Software Engineering. Technische Universität Berlin, 1997
Michael Löwe
Evolution Patterns --- Eine formale Methode zur (Weiter-)Entwicklung langlebiger Softwaresysteme auf der Basis algebraischer Graphgrammatiken. Technische Universität Berlin, 1997

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe