Bitte wählen Sie den gewünschten Projektzeitraum:
- Juli 2026
- Januar 2026
- Juli 2025
- Januar 2025
- Juli 2024
- Januar 2024
- Juli 2023
- Januar 2023
- Juli 2022
- Januar 2022
- Juli 2021
- Januar 2021
- Juli 2020
- Januar 2020
- Juli 2019
- Januar 2019
- Juli 2018
- Januar 2018
- Juli 2017
- Januar 2017
- Juli 2016
- Januar 2016
- Juli 2015
- Januar 2015
- Juli 2014
- Januar 2014
- Juli 2013
- Januar 2013
- Juli 2012
- Januar 2012
- Juli 2011
- Januar 2011
- Juli 2010
- Januar 2010
- Juli 2009
- Januar 2009
- Juli 2008
- Januar 2008
- Juli 2007
- Januar 2007
- Juli 2006
- Januar 2006
- Juli 2005
- Januar 2005
- Juli 2004
- Januar 2004
- Juli 2003
- Januar 2003
- Juli 2002
- Januar 2002
- Juli 2001
- Januar 2001
Förderbeginn 01.01.2001
Systemunterstützung für Algebraische Systementwicklung
Prof. Dr. Bernhard Möller
Universität Augsburg
Institut für Informatik
Dr. Douglas R. Smith
Kestrel Institute
Standard
Beim Ansatz der formalen Systementwicklung wird ein Software- oder Hardwaresystem nach strengen mathematischen Regeln aus einer formalen Spezifikation seiner gewünschten Leistung hergeleitet. Während die Grundlagen dieser Ansätze inzwischen wohlverstanden sind, ist die Anwendung auf spezielle Aufgabenfelder noch Gegenstand intensiver Forschung. Der kalifornische Partner hat mit formalen Methoden einige neuartige effiziente Algorithmen im Bereich von Planungsaufgaben entwickelt; der bayerische Partner hat daran gearbeitet, den Ansatz durch Auffinden und Entwickeln geeigneter algebraischer Kalküle stromlinienförmiger zu gestalten. Hauptgegenstand des Projekts ist die Behandlung weiterer Aufgabenfelder sowie die benutzerfreundliche Implementierung der algebraischen Kalküle. Erwartetes Ergebnis ist eine Anreicherung der Programmentwicklungssysteme KIDS und SPECWARE des kalifornischen Partners.