Ludwig-Maximilians-Universität München, Institute of Computer Science
Department of Programming und Software Engineering
https://www.pst.ifi.lmu.de/projekte/index-e.html
Research and Development Projects
Current projects
- SENSORIA: Software Engineering for Service-Oriented Overlay Computers
- MAEWA: Model driven development of Web applications
- LWAA Spin: An extension of the SPIN model checker by linear weak alternating automata
- InOpSys: Interoperability of Calculi for System Modelling
- GLOWA/DANUBIA: Integrative Techniques, Scenarios and Strategies for the Future of Water in the upper Danube Basin: Development of a Distributed Modeling and Decision Support System.
- HUGO: Model checking of UML state machines and collaborations
- InfoZert: Verification and Certification of Information Flows
-
- UWE: UML-based Web Engineering (UWE Method, CASE tool ArgoUWE, OpenUWE Tool Suite)
- PUSH: Process-Driven Software Production Environment
Previous projects
Department
Institute
University
Nora Koch (14.10.1996, 14.3.1997)
Thomas Tiller (16.12.1996)
Last modified: Thu Sep 9 14:16:31 CEST 2004