Dr.-Ing. Padberg, Julia

Formal Specification and Rule-Based Refinement of Software Components ,

TU Berlin, 15.2.2006.

Dr.-Ing. Taentzer, Gabriele

Visual Modelling and Validation of Distributed Systems ,

TU Berlin, 9.7.2003.

Dr.-Ing. Große-Rhode, Martin

Strukturierung und Analyse von Tasks in der Entwicklung verteilter eingebetteter Systeme ,

TU Berlin, 2.9.2002.

Dr.-Ing. Michael Löwe

Anwendungssoftware: Reengineering oder Neuentwicklung?,

TU Berlin, 9.07.1997.