Temporal Control Structures

Temporal control structures berücksichtigen zeitliche Bedingungen zur Entscheidung über den Kontrollfluss (XOR, LOOP). Ein Konzept für die Integration von temporal control structures wurde bereits erarbeitet und in einem Draft-Paper beschrieben. Aufgabe dieser Master Arbeit ist es, die Zeitberechnung für die temporalen Kontrollstrukturen ausgehend vom im Paper von Pichler, Eder, Ciglic beschriebenen Verfahren proto­typisch zu implementieren und den Ansatz empirisch zu validieren.

Erwartete Ergebnisse:

  • Implementierung (Erweiterung des bestehenden Frameworks)
  • Empirische Validierung

 

Kontakt: Prof. Dr. Johann Eder