Formale Strukturierungstechniken für komplexe Systeme
Projektstart:?30.05.2005
?
Projekttr?ger: Universit?t Augsburg
?
Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller
?
Beteiligte WissenschaftlerInnen der Universit?t Augsburg:?Andreas Zelend
?
Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Christian Lengauer, PhD (Universit?t Passau), Dr. Sven Apel (Universit?t Passau), Prof. Dr. Ridha Khedri (McMaster University), Wolfgang Scholz (Universit?t Passau), Dr. Peter H?fner (NICTA Australia) und andere
?
?
Zusammenfassung
In dem Projekt wird versucht Programmmethologien algebraisch zu beschreiben. Hierzu werden zum Einen Produktlinien und "Multi-View-Reconciliation"-Probleme behandelt. Zum Anderen werden algebraische Konzepte Feature-orientierte Programmentwicklung hergeleitet. Ein Feature ist hierbei eine als Einheit auffassbare Verhaltensweise eines Softwaresystems; sie werden zur Spezi?kation von Gemeinsamkeiten und Unterschieden von Softwaresystemen benutzt.
?
?
Beschreibung
Das Projekt besteht unter anderem aus dem von der DFG finanziertem Teilprojekt: