Dr.-Ing. Dipl.-Inform. Denis Hatebur
Room: BB 918
Tel.: +49 203 379 3582
Fax: +49 379 4490
E-Mail: denis.hatebur[at]uni-duisburg-essen.de

 

· Pattern-Based Software Development (problem frames)
· Software Quality Assurance and Dependability (formal verification and testing)
· Formal Methods and Software Specification Techniques (B, LUSTRE, UML)
· Embedded Systems (mobile and distributed applications)