Diseño de visualizaciones para programación lógica con restricciones

Carro Liñares, Manuel y Hermenegildo, Manuel V. (2001). Diseño de visualizaciones para programación lógica con restricciones. "Novática: Revista de la Asociación de Técnicos de Informática" (n. 150); pp. 31-37. ISSN 0211-2124.

Descripción

Título: Diseño de visualizaciones para programación lógica con restricciones
Autor/es:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: Novática: Revista de la Asociación de Técnicos de Informática
Fecha: Marzo 2001
Materias:
Palabras Clave Informales: programación lógica, programación lógica con restricciones, visualización, depuración, abstracción de representaciones.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

En este se estudia diseños y e implementaciones de paradigmas visuales para observar la ejecución de programas lógicos con restricciones, enfocados hacia la depuración, optimización y enseñanza. Nos centraremos en la representación de datos en ejecuciones CLP, donde perseguimos la representación de variables con restricciones y de las restricciones en sí mismas. Se han implementado dos herramientas, VIFID y TRIFID, que utilizan dichas representaciones y que se usan para mostrar la utilidad de las visualizaciones desarrolladas.

Más información

ID de Registro: 14563
Identificador DC: http://oa.upm.es/14563/
Identificador OAI: oai:oa.upm.es:14563
URL Oficial: http://www.ati.es/novatica/2001/150/nv150sum.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 28 Feb 2013 09:16
Ultima Modificación: 21 Abr 2016 14:17
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM