Projects
SuReal
Titel (Englisch)
SuReal
Kurzbeschreibung (Deutsch)
Das Projekt arbeitet Methoden zur qualitätsgesteuerten modellgetriebenen Architektur aus (quality-driven software development, QDD). Modelle können mit Realzeitbedigungen versehen und durch Modellprüfer und abstrakte Interpretation auf Korrektheit geprüft werden.
Kurzbeschreibung (Englisch)
The project develops methods to quality-controlled model-driven architecture (quality driven software development, QDD). Models can be enhanced with real time constraints and be checked by model checker.
Zeitraum
05/2006 - 10/2008
Art der Finanzierung
Drittmittel
Projektleiter
- Herr Prof. Dr. rer. nat. habil. Uwe Aßmann
Projektmitarbeiter
- Frau Dipl.-Medieninf. Katja Siegemund
- Frau Dr.-Ing. Simone Röttger
- Herr Dipl.-Inf. Mirko Seifert
- Herr Prof. Dr. rer. nat. habil. Uwe Aßmann
Finanzierungseinrichtungen
- BMBF
Kooperationspartnerschaft
keine
Website zum Projekt
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Ja
Relevant für den Technologietransfer
Nein
Berichtsjahr
2007