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
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact