Internationaler Workshop zur automatisierten Spezifikation und Verifizierung von Websystemen, Wien, Österreich

Am 30. Juli 2010 findet in Wien, Österreich, der sechste internationale Workshop zur automatisierten Spezifikation und Verifizierung von Websystemen (6th International Workshop on Automated Specification and Verification of Web Systems, WWV) statt.

Diese jährlich stattfindende Veranstaltung hat zum Ziel, ein interdisziplinäres Forum bereitzustellen, welches die wechselseitige Befruchtung und die Förderung von hybriden Methoden, die die regelbasierte Programmierung, die automatisierte Softwaretechnik und die webbasierte Forschung miteinander kombinieren, erleichtern soll. Themen, die im Rahmen des WWV behandelt werden, sind beispielsweise:
- regelbasierte Ansätze zur Analyse von Websystemen, zur Zertifizierung, Spezifizierung, Verifizierung und Optimierung;
- formale Modelle zur Beschreibung von Websystemen sowie Schlussfolgerungen über diese;
- Überprüfung von Modellen, Synthese von und Fehlerbeseitigung in Websystemen;
- Analyse und Verifizierung von verknüpften Daten;
- abstrakte Interpretation und Programmtransformation angewendet auf das semantische Web;
- intelligente Tutor- und Beratungssysteme für die Entwicklung von Web-Spezifikationen;
- Web-Qualität und Web-Metrik;
- Benutzerfreundlichkeit und Barrierefreiheit des Webs;
- Prüfung und Evaluierung von Websystemen und Webanwendungen.Weitere Informationen erhalten Sie unter folgender Webseite:
http://www.score.cs.tsukuba.ac.jp/~mmarin/WWV2010/(öffnet in neuem Fenster)