Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
VIDEAS: A development tool for answer-set programs based on model-driven engineering technology
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.ORCID-id: 0000-0002-9902-7662
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Institut für Formale Modelle und Verifikation, Johannes Kepler Universität Linz, Linz, Austria; Institut für Softwaretechnik, 188/3, Technische Universität Wien, Vienna, Austria.
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Vise andre og tillknytning
2011 (engelsk)Inngår i: Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / [ed] J. P. Delgrande & W. Faber, Springer, 2011, s. 382-387Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Springer, 2011. s. 382-387
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 6645
Emneord [en]
answer-set programming, ER diagrams, model-driven engineering, Development tools, Object oriented, Partial specifications, Programming errors, Software development process, Software systems, Tool support, Answer set programming, Efficient solvers, Logic programming, Object oriented programming, Computer circuits, Computer programming, Knowledge representation, Software design, Software engineering
HSV kategori
Identifikatorer
URN: urn:nbn:se:hj:diva-63578DOI: 10.1007/978-3-642-20895-9_45Scopus ID: 2-s2.0-79955755021ISBN: 9783642208942 (tryckt)OAI: oai:DiVA.org:hj-63578DiVA, id: diva2:1838373
Konferanse
11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011
Tilgjengelig fra: 2024-02-16 Laget: 2024-02-16 Sist oppdatert: 2024-02-16bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Oetsch, Johannes

Søk i DiVA

Av forfatter/redaktør
Oetsch, Johannes

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 6 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf