Diseño de visualizaciones para programación lógica con restricciones
Data(s) |
01/03/2001
|
---|---|
Resumo |
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. |
Formato |
application/pdf |
Identificador | |
Idioma(s) |
spa |
Publicador |
Facultad de Informática (UPM) |
Relação |
http://oa.upm.es/14563/1/HERME_ARTINBOOKS_2001-2.pdf http://www.ati.es/novatica/2001/150/nv150sum.html |
Direitos |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ info:eu-repo/semantics/openAccess |
Fonte |
Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, 2001-03, No. 150 |
Palavras-Chave | #Informática |
Tipo |
info:eu-repo/semantics/article Artículo PeerReviewed |