Modellierung örtlicher Bedingungen in strombasierten Spezifikationssprachen
for Degree:
Contact Person:
Status:
Completed
Abstract - Zusammenfassung
In dieser Arbeit wird eine Möglichkeit zum Modellieren von örtlichen
Bedingungen im zeitlichen Verlauf beschrieben. Dabei wird auf die Beziehung zwischen
Objekten und deren Lage eingegangen. Anschließend wird diese Modellierung
in der Strom-basierten Sprache TeSSLa implementiert und mittels strukturierter
Testdaten ausgewertet.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Elisabeth Schwennen
- Aliyu Ali
- Phillip Bende
- Juljan Bouchagiar
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Malte Schmitz
- Uwe Schwennen-Kienitz
- Thomas Sievers
- Annette Stümpel
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact