- 2006
- Kammüller, Florian:
Interactive Theorem Proving in Software Engineering
Technische Universität Berlin, 2006.
- Santen, Thomas:
Security Engineering: Requirements Analysis, Specification, and Implementation
Technische Universität Berlin, 2006.
- 2002
- Albayrak, Sahin:
Offene Plattformen zur Entwicklung von verteilten Systemen und Online Diensten
Technische Universität Berlin, 2002.
- 2001
- Prinz, Andreas:
Formal Semantics for SDL: Definition and Implementation
Humboldt-Universität zu Berlin, 2001
- Berlage, Thomas:
Enhanced Reality Systems - Computer-Mediated Interaction in Complex Environments
Technische Universität Berlin, 2001.
- 2000
- Lemoine, Michel:
Contribution à l'utilisation des Méthodes Formelles: Définition d'un Processus Evolutionnaire.
ONERA Centre de Toulouse, 2000.
- 1998
- Zuse, Horst:
A Framework of Software Measurement.
Technische Universität Berlin, 1998.
- 1997
- Weber, Matthias:
Systematic Design of Embedded Control Systems:
Composing Models of System Structure and Behavior. Technische
Universität Berlin, 1997.
- Heisel, Maritta:
Methodology and Machine Support for the Application of Formal Techniques in Software Engineering. Technische Universität Berlin, 1997.
|
