Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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.
Visa övriga samt affilieringar
2011 (Engelska)Ingå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-387Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 2011. s. 382-387
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 6645
Nyckelord [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
Nationell ämneskategori
Datavetenskap (datalogi)
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
Konferens
11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011
Tillgänglig från: 2024-02-16 Skapad: 2024-02-16 Senast uppdaterad: 2024-02-16Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Oetsch, Johannes

Sök vidare i DiVA

Av författaren/redaktören
Oetsch, Johannes
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 6 träffar
RefereraExporteraLänk till posten
Permanent länk

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