维迪亚斯

VIDEAS:基于模型驱动工程技术的答案集程序开发工具。在面向对象的世界中,人们在开发专用工具以简化编程和防止编程错误方面投入了大量精力。近年来,模型驱动工程(model-driven engineering,MDE)技术在软件开发过程中对管理现代软件系统的复杂性具有特别重要的意义。在答案集编程(ASP)的世界里,情况是不同的。在开发高效的解算器方面投入了大量的精力,但是编程本身的实用性并没有得到太多的关注,因此需要更多的工具支持来简化实际的编程阶段。为了解决这个问题,我们介绍了VIDEAS工具,它利用MDE提供的技术,图形化地支持答案集程序的部分规范。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH参考文献(参考

显示结果1到3,共3个。
按年份排序(引用)

  1. Fandinno,Jorge;Schulz,Claudia:回答集编程中的“为什么”——解释方法调查(2019)
  2. Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016)
  3. Oetsch,Johannes;Pührer,Jörg;Seidl,Martina;Tompits,Hans;Zwickl,Patrick:VIDEAS:基于模型驱动工程技术的答案集程序开发工具(2011)ioport公司