Promotionen, Habilitationen

   

Andreas Noack
Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria
PhD Thesis, Brandenburgische Technische Universität Cottbus, Juli 2007.

 BTU Cottbus - FullVersion

Abstract (deutsch, english)

2007[07] UBICO


 

 

Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems
Habilitation, BTU Cottbus, 26.05.2004

2004[05]


 

 

Dirk Beyer
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata
Mensch & Buch Verlag, Berlin, ISBN 3-89820-450-2, 2002. Zugl. Dissertation, Brandenburgische Technische Universität Cottbus, 2002.

 www

 BTU Cottbus - FullVersion

2002[01] UBICO


 

 

Frank Simon
Meßwertbasierte Qualitätssicherung - ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße
Dissertation, BTU Cottbus, 2001

 BTU Cottbus - FullVersion

2001[13]


 

 

Hans-Ulrich Kobialka
Implementing Support for Software Processes in a Process-centered Software Engineering Environment
Dissertation, GMD Research Series, 1998, No. 15/1998, ISBN3-88457-339-X

 GMD-FullVersion

1998[02]