PROGRAMACIÓN CON RESTRICCIONES EN APLICACIONES INTERNET

 

Presentación

Este Curso de Doctorado presenta la forma de abordar computacionalmente un conjunto de problemas y necesidades que se presentan en las aplicaciones en Internet, que podrían incrementar el time-to-market y afectar a la calidad del software.

Muchas de las actuales aplicaciones software que se desarrollan necesitan sofisticadas tareas de razonamiento para satisfacer los requisitos del cliente, tales como optimización, planificación, scheduling, diagnóstico, negociación, etc... Para ello se dan a conocer los elementos del paradigma de la programación con restricciones, que de forma declarativa y fácil es capaz de resolver la mayoría de estas tareas.

Objetivos

Se adquirirán los conceptos fundamentales sobre lo que son los problemas de satisfacción de restricciones y cómo se pueden modelar los problemas relacionados con las aplicaciones Internet en este paradigma.

Se presentarán las diferentes técnicas de consistencia y búsqueda para la resolución más eficiente de estos problemas.

Se adquirirán destrezas en el modelado de los diferentes tipos de problemas a resolver en la Web, como son los de satisfacción de restricciones, optimización, scheduling, planificación, etc.

Programa


1. Problemas de Satisfacción de Restricciones y Redes de restricciones.

2. Técnicas de consistencia.

3. Estrategias de búsqueda exhaustiva.

4. Estrategias de búsqueda local y estocástica.

5. Modelado de problemas de satisfacción, optimización, scheduling y planificación.

6. Herramientas de Resolución de Problemas Restrictivos mediante el paradigma Orientado a Objetos en dominios discretos y continuos.

7. Bases de datos con Restricciones.

8. Utilización de las técnicas restrictivas en aplicaciones Internet.

Bibliografía

Enlaces de Interés