[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
"VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology";
Vortrag: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 16.05.2011 - 19.05.2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; S. 382 - 387.



Kurzfassung englisch:
In the object-oriented world, much effort is spent into the development of dedicated tools to ease programming and to prevent programming errors. Recently, the techniques of model-driven engineering (MDE) have been proven especially valuable to manage the complexity of modern software systems during the software development process. In the world of answer-set programming (ASP), the situation is different. Much effort is invested into the development of efficient solvers, but the pragmatics of programming itself has not received much attention and more tool support to ease the actual programming phase would be desirable. To address this issue, we introduce the tool VIDEAS which graphically supports the partial specification of answer-set programs, applying technologies provided by MDE.

Schlagworte:
answer-set programming, model-driven engineering, ER diagrams


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-20895-9_45

Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_200918.pdf



Zugeordnete Projekte:
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung

Projektleitung Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung