Project Details
Description
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 | Finished |
|---|---|
| Effective start/end date | 01.02.2006 → 31.01.2013 |
Fields of science
- 102029 Practical computer science
- 102009 Computer simulation
- 102 Computer Sciences
- 102011 Formal languages
- 102022 Software development
- 102013 Human-computer interaction
- 102024 Usability research
JKU Focus areas
- 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). Vol. CFP13INI-USB. p. 564-571 8 p. 6622946. (IEEE International Conference on Industrial Informatics (INDIN)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
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, p. 260-267 8 p. 6619520Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
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, p. 55-62 8 p. 6328128Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
- 2 Contributed talk
-
Trace-Guided Synthesis of Ractive Behavior Models of Programmable Logic Controllers
Schatz, R. (Speaker)
05 Sept 2013Activity: Talk or presentation › Contributed talk › unknown
-
Reverse Engineering and Visualization of the Reactive Behavior of PLC Applications
Prähofer, H. (Speaker)
31 Jul 2013Activity: Talk or presentation › Contributed talk › unknown