VIDEAS: Supporting Answer-Set Program Development Using Model-Driven Engineering Techniques

Recently, the techniques of Model-Driven Engineering (MDE) have been proven valuable to manage the complexity of modern software systems during the software development process. In the area of Answer-Set Programming (ASP), the focus is set so far on theoretical aspects, applications, and the development of efficient solvers, reducing the attention that is paid to the pragmatics of programming and assisting tools. To address this issue, the authors propose the MDE-based program development method VIDEAS by introducing explicit model-to-code mappings and code generation strategies ensuring compliant specification of facts and essential constraints.

Provided by: FTW Forschungszentrum Telekommunikation Wien Topic: Software Date Added: May 2011 Format: PDF

Find By Topic