PROGRAMACION INTERNET CON LENGUAJES DECLARATIVOS MULTIPARADIGMA.

 

Tema 0: Presentación. (Material: transparencias)
Tema 1: Introducción. (Material: transparencias)

 

FUNDAMENTOS (Profesor: Pascual Julián Iranzo)

Tema 2: Sistemas ecuacionales. (Material: transparencias)
Tema 3: Sistemas de reescritura. (Material: transparencias)

Tema 4: Narrowing, estrategias de narrowing y residuación. (Material: transparencias)

APLICACIONES (Profesor: Ginés Moreno Valverde)

Tema 5: Curry: un ejemplo de lenguaje integrado.

(Material:

Link_1: Tutorial on Curry (transparencias1, transparencias2)
Link_2: Report on the language Curry

Link_3: Programming with Narrowing )

Tema 6: Aplicaciones a la programación internet. (Material: transparencias)

Tema 7: Extensiones difusas de la Programación Declarativa.

 

 

CONFERENCIA INVITADA : Por determinar.

CONFERENCIA INVITADA (Curso 2005-2006)

INGENIERÍA DEL SOFTWARE AUTOMÁTICA

María Alpuente Frasnedo
Catedrática de Lenguajes y Sistemas Informáticos de la Universidad
Politécnica de Valencia.

Resumen:

Los sistemas informáticos desempeñan un papel esencial en la Sociedad de la Información. A medida que la sociedad se implica más en tales sistemas (a través de la creciente avalancha originada por Internet, las redes de telecomunicaciones, etc), y crece su dependencia hacia ellos, se hace patente la necesidad de asegurar la corrección de su comportamiento. Los usuarios de las nuevas tecnologías, trabajando en un contexto global donde cada vez más gente y organizaciones entran en contacto, cooperan y comercian, encuentran cada vez más frustrantes las consecuencias derivadas de los fallos de software (como el tener que reiniciar el equipo para recuperar un comportamiento estable del sistema), por no hablar de las repercusiones que pueden tener estos fallos en las áreas donde la seguridad es crítica.

La charla se centra en presentar los métodos formales, y las técnicas y herramientas automáticas asociadas, para dar soporte sistemático y riguroso al desarrollo del software. Siguiendo un enfoque moderno, que tiene en cuenta los tres elementos de la trilogía del software ---programas, datos y propiedades---, estudiamos los procesos formales que transforman dichas componentes automáticamente, en particular los de mayor impacto industrial. Esto incluye, entre otros, los siguientes mecanismos: análisis, certificación, síntesis, transformación, optimización, verificación y depuración de programas.

A diferencia de otros métodos formales más convencionales (y a la vez poco prácticos), que fomentan la formalización excesiva mediante el empleo de lenguajes demasiado expresivos y que requieren una formación matemática poco habitual en los usuarios finales, exploramos una aproximación lightweight, basada en la aplicación selectiva y focalizada de los métodos formales, que resulta más efectiva y rentable en la práctica.


Fecha y hora: Martes 27 de junio de 2006, de 16:15-18h.
Lugar:

 

Noticias:

  1. Fecha de inicio: 27 de febrero de 2007 --- Fecha de fin: 29 de Martes de 2006.
  2. Horario: Martes de 16:30 a 20:30
  3. Parte del material empleado en este curso ha sido cedido por miembros del grupo ELP de la Universidad Politécnica de Valencia (especialmente por María Alpuente, en lo referente al Tema 1, y por Salvador Lucas, en lo referente al Tema 3), lo que agradezco publicamente. Si bien la reelaboración de estos apuntes y los posibles errores introducidos son responsabilidad del autor de esta nota..