These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Startseite > People > Staff > M. Wirsing > Research

Research

Prof. Dr. Martin Wirsing

 

  • Software Development using Formal Methods
  • Systematic Development of Adaptive Service-Oriented Systems
  • Autonomous Self-Aware Systems
  • Algebraic Specification Techniques
  • Semantics of Specification and Programming Languages
  • Software Engineering of Web and Hypermedia Applications
Drucken
nach oben
Impressum - Datenschutz Kontakt