Acta Est Fabula

Eine Übersicht über die abgeschlossen Projekte unseres Bereiches.

HasCASL

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung. [→ More.]

Förderung: DFG, Laufzeit: 2001-2004 (erste Phase), 2005-2007 (zweite Phase).

Generische Benutzerschnittstellen für interaktive Theorembeweiser (PGKit)

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen. Dieses Projekt ist eine Zusammenarbeit mit Dr David Aspinall von der Universität Edinburgh. [→ More.]

Förderung: IBM (Eclipse Innovation Grant an die Uni Bremen), Laufzeit: ab 2005.

Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen (SPP RoboCup)

In dem Projekt werden anhand des RoboCup-Szenarios Methoden entwickelt, die es ermöglichen, sowohl primitive Aktionen als auch komplexe Verhaltensweisen anderer autonomer Agenten zu klassifizieren, Aktionsfolgen und Strategien zu erkennen und selbst angemessen zu agieren und zu reagieren. [→ More.]

Förderung: DFG, Laufzeit: 2001-2003 (erste Phase), 2003-2005 (zweite Phase), 2005-2007 (dritte Phase)

Heterogeneous Tool Set (Hets)

Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen. [→ More.]

Förderung: DFG, Laufzeit: 2000-2002 (erste Phase), 2002-2006 (zweite Phase).

Abstraktion und Wiederverwendung Formaler Entwicklungen (AWE)

Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung. [→ More.]

Förderung: DFG, Laufzeit: 2002-2004 (erste Phase), 2005-2007 (zweite Phase).