Inhalt des Dokuments
zur Navigation
| 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. |
| Sahin Albayrak Offene Plattformen zur Entwicklung von verteilten Systemen und Online Diensten Technische Universität Berlin, 2002 |
| Thomas Berlage Enhanced Reality Systems - Computer-Mediated Interaction in Complex Environments Technische Universität Berlin, 2001 |
| Horst Zuse A Framework of Software Measurement. Technische Universität Berlin, 1998 |
| 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 |