The Ludwig-Maximilians-Universität München (LMU) is one of the top ranked German universities. The group on Programming and Software Engineering (PST) has expertise in object-oriented software development, in Java programming and the design of Web-based software systems.

PST researchers have developed UML extensions for the development of mobile systems and Web applications, the first formal semantics for multi-threading in Java and the first provably correct code generation algorithm, generating concurrent Java programs from UML designs. Products of PST are a workflow driven CASE tool, a model checker for real-time UML, and an adaptive hypermedia training system.

PST has coordinated the FET Global Computing project AGILE on developing software architectures of mobile systems and is involved in several other funded projects, such as MAEWA, CARUSO and MMISS.

Main contributions of LMU to SENSORIA are in the areas of formal specification and refinement, logics for distribution and mobility, automated verification, Web engineering and Web services, software architecture and modelling and model-driven development.