Workshop internazionale sulla specifica e verifica automatica dei sistemi web, Vienna, Austria

Il 30 luglio 2010 si terrà a Vienna, in Austria, il sesto workshop sulla specifica e verifica automatica dei sistemi web (WWV)

L'evento annuale intende fornire un forum interdisciplinare per facilitare i contributo reciproco e l'avanzamento di metodi ibridi che usano la programmazione basata su regole, l'ingegneria dei software automatici e la ricerca orientata sul web. I temi di WWV riguarderanno tra l'altro:
- approcci basati su regole per l'analisi, certificazione, specifica, verifica e otttimizzazione dei sistemi web;
- modelli formali per descrivere e analizzare i sistemi web;
- controllo dei modelli, sintesi e debugging dei sistemi web;
- analisi e verifica dei dati collegati;
- interpretazione dei riassunti e trasformazione dei programmi applicate al web semantico;
- tutoriali intelligenti e sistemi di appoggio per l'authoring delle specifiche web;
- web quality e web metrics;
- usabilità e accessibilità del web;
- test e valutazioni dei sistemi e delle applicazioni web.Per ulteriori informazioni, fare clic:
http://www.score.cs.tsukuba.ac.jp/~mmarin/WWV2010/(si apre in una nuova finestra)