- Info
Abgeschlossene Projekte
- 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, BMBF-Projekt, 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 Web Engineering, DFG Projekt, 2005-2008
- mashlab: Internetportal für Kulturschaffende und
Kulturinteressierte, Exist-Seed BMWi-Projekt.
- BEYOND-THE-HORIZON "Anticipating Future and Emerging Information Society Technologies", EU-funded Coordination Action, 2004-2006
- AGILE: Architectures for Mobility, EU-funded Project, 2002-2005
- InfoZert: Verification and Certification of Information Flow (DFG-Projekt)
- InOpSys: Interoperabilität von Kalkülen zur Systemmodellierung (DFG-Projekt)
- MMISS - MultiMedia-Instruktionen in Sicheren Systemen (BMBF-Projekt)
- CARUSO: Customer Care and Relationship Support Office (EU-funded Project)
- SEMPER:
Modellierung und Bewertung des zeitlichen Verhaltens von Systemen.
- gCM: Grenzenloses Credential-Management, IUK-Projekt.
- HiLA: HiLA-level Aspects (for UML State Machines)
- Java/A:
Eine architektur-orientierte Programmiersprache auf Java basierend.
- Hyena: a connected information manager based on RDF, Ajax, and Eclipse.
- CoCoME:Common Component Modelling Example (englisch).
- LWAA Spin:
Erweiterung des SPIN-Model checkers um lineare, schwache, alternierende Automaten.
- OCLexec: Code generation from OCL operation contracts.
- Knowledge Master
- LAMP: Lehrverbund Augsburg - München - Passau
- PUSH: Prozess-gesteuerte Umgebung zur Software-Herstellung
- Constraint-basierte Programmierung
- Constraint Handling Rules
- ZEITRAUM: Zeitlich-räumliches Schliessen für GIS
- TACLP: Temporal Annotierte Constraint-Logikprogramming
- DexVal: Simulation und Analyse von Hybriden Systemen
- JCK: Java Constraint Kit
- Funktionale Programmierung mit CONSTRAINTS (DFG-Projekt)
- Verifikation für Softwaresysteme (DAAD-Programm INIDA)
- Räumlich-zeitliche Logiken für mobile Systeme (DAAD-Programm ARC)
- Denotationelle Semantik für objekt-orientierte Sprachen mit Nebenläufigkeit (DAAD-Programm VIGONI)
- Der Münchner Mietspiegel im Internet
- FORSOFT: Projekt A2 - Verteilte Systeme in offenen Netzen
- EPKfix: Methoden und Werkzeuge zur effizienten Erstellung elektronischer Produktkataloge (BMBF-Projekt)
- OSIDRIS: Objekt-orientierte Spezifikation und Verifikation von verteilten Systemen (DFG Projekt)
- DeStijl: Entwurf und Spezifikation durch Sprachenschnittstellen und -vereinigungen (EU-Projekt)
- Methoden und Werkzeuge zur formalen Entwicklung komplexer Software mit TLA (DAAD-Programm PROCOPE)
- Implizite Polymorphie mit Subtypen
- Kompositionale Spezifikation und Verifikation paralleler Programme
- Modelltheorie temporallogischer Spezifikationen
- ATMTS: Algebraische Werkzeuge zur Modellierung von Telekommunikationssysteme
- CafeOBJ (gefördert vom japanischen Wissenschaftsministerium)
- MeDiCiS: Methodologie für die Entwicklung von Computer System Specifications (EU-Projekt)
- COMPASS: Ein umfassender algebraischer Ansatz zur Systemspezifikation und -entwicklung (EU-Forschergruppe)
- KORSO: Modulare und wiederverwendbare Spezifikationen (BMBF-Projekt)
- CSDM: Entwicklung korrekter Software
- SPECTRUM (DFG-Projekt)
-
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 | | | | |
