Ludwig-Maximilians-Universität München, Institute of Computer Science
Department of Programming und Software Engineering

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

• AGILE: Architectures for Mobility
• MMISS - MultiMedia Instructions in Safe Systems
• CARUSO: Customer Care and Relationship Support Office
• Knowledge Master
• LAMP: Lecture-Oriented Cooperation of Computer Science Departments
• Constraint-based Programming
• Constraint Handling Rules
• ZEITRAUM: Spatio-temporal Reasoning for GIS
• TACLP: Temporal Annotated Constraint Logic Programming
• DexVal: Simulating and Analyzing Hybrid Systems
• JCK: Java Constraint Kit
• Functional Programming with CONSTRAINTS
• Software System Verification (DAAD programme INIDA)
• Spatio-temporal logics for mobile systems (DAAD-Programm PROCOPE)
• Denotational semantics for concurrent object-oriented languages (DAAD programme VIGONI)
• The Munich Rent Advisor
• FORSOFT: Project A2 - Distributed Systems in Open Nets
• EPKfix : Methods and Tools for efficient Design of Electronical Product Catalogues
• OSIDRIS: Object-Oriented Specification and Verification of distributed Systems
• DeStijl: Design and Specification Through Interfacing and Joining Languages
• Methods and tools for the development of complex software using TLA (DAAD-Programm PROCOPE)
• Implicit Polymorphism with Subtypes
• Compositional Specification and Verification Parallel Programs
• Model Theory of Temporal Logical Specifications
• ATMTS: Algebraic Tools for Modelling Telecommunication Systems
• CafeOBJ
• MeDiCiS: Methodology for the Development of Computer System Specifications
• COMPASS: A Comprehensive Algebraic Approach to System Specification and Development
• KORSO: Modularization and Reuse of Specifications
• CSDM: Correct Software Development
• SPECTRUM