Projekte

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.

Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit einem zertifizierten Sicherheits-Laserscanner die

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware und standardisierten Schnittstellen. Partner IBM

Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung. Partner Universität Bremen

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, Ak

Ziel des Projektes ist die Erstellung eines umfassenden, multimedialen, adaptiven Lehr- und Lernsystems für das Gebiet der Sicheren Systeme. Durch die konsistente Integration von hypermedialen Unterri

Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen. Partner Universität Bremen