Notiziario Marketpress di
Martedì 09 Febbraio 2010
WORKSHOP INTERNAZIONALE SULLA SPECIFICA E VERIFICA AUTOMATICA DEI SISTEMI WEB
Vienna, 9 febbraio 2010 - 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/ .
