!!Research output per year
!!Research output per year
Projektdetails
Beschreibung
Das Ziel dieses Projekts ist die Entwicklung neuer Notationen und Werkzeuge für die Spezifikation und Übersetzung domain-spezifi¬scher Sprachen. Der Erforschung von Spracheigenschaften, die im Bereich der domain-spezifischen Sprachen neuartig sind, wie hierarchische Strukturierung, Erweiter¬barkeit, Ausnahmebehandlung, Constraints und Sicherheit wird man sich widmen. Der Partner wird dadurch in die Lage versetzt, neue Sprachen für bestimmte Anwendungsbereiche zu entwerfen und darin die Konzepte des Anwendungsbereichs in natürlicher Weise zu modellieren.
| Status | Abgeschlossen |
|---|---|
| Tatsächliches Beginn-/Enddatum | 01.02.2006 → 31.01.2013 |
Wissenschaftszweige
- 102029 Praktische Informatik
- 102009 Computersimulation
- 102 Informatik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102013 Human-Computer Interaction
- 102024 Usability Research
JKU-Schwerpunkte
- Digital Transformation
-
Reverse Engineering and Visualization of the Reactive Behavior of PLC Applications
Prähofer, H., Wirth, C. & Berger, R., 2013, USB Proceedings 2013 11th IEEE International Conference on Industrial Informatics (INDIN). Band CFP13INI-USB. S. 564-571 8 S. 6622946. (IEEE International Conference on Industrial Informatics (INDIN)).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers
Schatz, R. & Prähofer, H., 2013, 39th Euromicro Conference Series on Software Engineering and Advanced Applications. IEEE, S. 260-267 8 S. 6619520Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay
Schatz, R. & Prähofer, H., 2012, Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012. IEEE Xplore, S. 55-62 8 S. 6328128Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Aktivitäten
- 2 Vortrag nach Bewerbung und Auswahl
-
Trace-Guided Synthesis of Ractive Behavior Models of Programmable Logic Controllers
Schatz, R. (Vortragende*r)
05 Sep. 2013Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt
-
Reverse Engineering and Visualization of the Reactive Behavior of PLC Applications
Prähofer, H. (Vortragende*r)
31 Juli 2013Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt