|
Projekte
| SPES 2020 |
(März 2009 - ) |
|
Innovationsallianz "Software Plattform Embedded Systeme". Bundesweites F&E-Verbundprojekt unter Beteiligung von mehr als 20 Forschungseinrichtungen und Unternehmen. |
| DENTUM III |
(Juni 2010 - ) |
|
Ein Projekt mit Denso Automotive |
| ReForm: Requirements Formalization |
(Mai 2011 - ) |
|
Das Ziel des Projekts besteht in der extraktion der Systemmodelle aus Anforderungsdokumenten, sowie in der Validierung der resultierenden Modelle und Formalisierung der Anforderungen. |
|