Atelier international sur la spécification et la vérification automatisées des systèmes web à Vienne, en Autriche

Le sixième atelier sur la spécification et la vérification automatisées des systèmes web (WWW) se tiendra le 31 juillet 2010 à Vienne, en Autriche.

Cet évènement annuel vise à offrir un forum interdisciplinaire afin de faciliter la fertilisation croisée et l'avancement des méthodes hybrides associant la programmation orientée sur les règles, le génie logiciel automatisé et la recherche orientée sur le web. Les thèmes qui seront abordés lors de l'évènement comprennent:
- les approches fondées sur les règles de l'analyse de systèmes web, la certification, la spécification, la vérification et l'optimisation;
- les modèles officiels pour la description et le raisonnement des systèmes web;
- la vérification des modèles, la synthèse et le débogage des systèmes web;
- l'analyse et la vérification des données associées;
- l'interprétation abstraite et la transformation de programmes appliquée au web sémantique;
- la formation intelligente et les systèmes de conseil pour la création de spécifications web;
- la qualité du web et sa métrique;
- la facilité d'utilisation et l'accessibilité du web;
- les tests et l'évaluation des systèmes et des applications web.Pour de plus amples informations, consulter:
http://www.score.cs.tsukuba.ac.jp/~mmarin/WWV2010/(s’ouvre dans une nouvelle fenêtre)