Research
Prof. Dr. Martin Wirsing
- Software Development using Formal Methods
- Systematic Development of Service-Oriented
- User-Centered Pervasive Adaptive Systems
- Object-Oriented and Service-Oriented Computing
- Algebraic Specification Techniques
- Semantics of Specification and Programming Languages
- Software Engineering of Web and Hypermedia Applications
