Seminario Internacional sobre Especificación y Verificación Automática de Sistemas Web en Viena (Austria)

El 30 de julio de 2010 se celebrará en Viena (Austria) el VI Seminario Internacional sobre Especificación y Verificación Automática de Sistemas Web (WWV).

Este evento anual tiene como objetivo servir de foro interdisciplinario para facilitar la fertilización cruzada y el desarrollo de métodos híbridos que combinen la programación basada en normas, la automatización de ingeniería de programas y la investigación orientada a Internet. Los temas a tratar en WWV serán:
- métodos basados en normas para análisis, certificación, especificación, verificación, y optimización de sistemas web;
- modelos formales para describir sistemas web y razonar sobre ellos;
- comprobación de modelos, síntesis y depuración de sistemas web;
- análisis y verificación de datos relacionados;
- interpretación abstracta y transformación de programas para la web semántica;
- tutorías inteligentes y sistemas de asesoría para la creación de especificaciones web;
- calidad web y sistemas de medición web;
- usabilidad y accesibilidad web;
- comprobación y evaluación de sistemas y aplicaciones web.Para más información, consulte:
http://www.score.cs.tsukuba.ac.jp/~mmarin/WWV2010/(se abrirá en una nueva ventana)