- Info
Previous Projects
- GLOWA-Danube:
Integrative Techniques, Scenarios and Strategies for
the Future of Water in the upper Danube Basin: Development of
a Distributed Modeling and Decision Support System, funded by BMBF, 2000-2010.
- SENSORIA:
Software Engineering for Service-Oriented Overlay Computers, EU-funded
Integrated Project, 2005-2010.
- INTERLINK:
International Cooperation Activities in Future and Emerging ICTs,
EU-funded Coordinated Action.
- MAEWA I: Model-Driven Engineering of Web Applications, DFG Project
- mashlab: Internetportal for persons enganged in the cultural sector, Exist-Seed BMWi-Project.
- InOpSys: Interoperability of Calculi for System Modelling
- AGILE: Architectures for Mobility
- InfoZert: Verification and Certification of Information Flows, funded by DFG
- MMISS - MultiMedia Instructions in Safe Systems
- CARUSO: Customer Care and Relationship Support Office
- gCM: Grenzenloses Credential-Management, IUK-Project
- HiLA: High-Level Aspects (for UML State Machines)
- Java/A: A Java based architectural programming language.
- Hyena: a connected information manager based on RDF, Ajax, and Eclipse.
- PUSH:
Process-Driven Software Production Environment.
- CoCoME: Common Component Modelling Example.
-
LWAA Spin:
An extension of the SPIN model checker by linear weak alternating automata.
- OCLexec: Code generation from OCL operation contracts.
- 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
-
Februar
| Mo | Di | Mi | Do | Fr | Sa | So |
|---|
| | 1 | 2 | 3 | 4 | 5 |
| 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | | | | |
