拉斯维加斯赌城

图片

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:

?

拉斯维加斯赌城