Prof. Dr. Jan Bredereke

Forschung

Forschungsinteressen

Meine Forschungsinteressen sind:
  • Time+Space-Partitioning für Raumfahrt-Avionik
  • Familien von präzisen Anforderungen für eingebettete Software-Systeme
Frühere Forschungsinteressen waren:
  • Mode-Confusions in Benutzerschnittstellen
  • Feature-Interaktions-Probleme in Telefonsystemen
  • Formale Beschreibungstechnik Estelle für Kommunikationssysteme
  • Spezifikationsbasiertes, automatisches Testen

Mehr

Hier gibt es weitere Informationen über