IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr.

Martin Wirsing

Institute of Computer Science
Ludwig-Maximilians-Universität München
Germany
Research topics: Software Development using Formal Methods; Systematic Development of Service-Oriented and Autonomic Systems; 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. (updated at 2012-07-02)
https://www.sosy-lab.org/people/wirsing/