Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung.
Partner
- Universität Bremen
Projekt
AWE
Abstraktion und Wiederverwendung Formaler Entwicklungen
-
Laufzeit:
-
Forschungsthemen
Sonstige
- Anwendungsfelder
Sonstige
Fördergeber
DFG - Deutsche Forschungsgemeinschaft
LU 707/2-1, LU 707/2-2
Keyfacts
- Beteiligte Forschungsbereiche
Cyber-Physical Systems - Leitung
Prof. Dr. Christoph Lüth - Webseite
http://www.informatik.uni-bremen.de/~cxl/awe/
Publikationen zum Projekt