Międzynarodowe warsztaty nt. zautomatyzowanej specyfikacji i weryfikacji systemów sieciowych, Wiedeń, Austria

Dnia 30 lipca 2010 r. w Wiedniu, Austria, odbędą się szóste warsztaty nt. zautomatyzowanej specyfikacji i weryfikacji systemów sieciowych (WWV).

Celem tego dorocznego spotkania jest stworzenie interdyscyplinarnego forum, które umożliwi wzajemną wymianę i postęp w metodach hybrydowych łączących programowanie regułowe, zautomatyzowane techniki programowania oraz badania naukowe w zakresie sieci. Podczas WWV omawiane będą następujące tematy:
- podejścia regułowe do analizy systemów sieciowych, certyfikacji, specyfikacji, weryfikacji i optymalizacji;
- formalne modele opisywania i logiki systemów sieciowych;
- testowanie modeli, synteza i usuwanie błędów w systemach sieciowych;
- analiza i weryfikacja połączonych ze sobą danych;
- abstrakcyjna interpretacja i transformacja programistyczna stosowane w sieci semantycznej;
- inteligentne instrukcje i systemy doradcze w opracowywaniu specyfikacji sieci;
- jakość i miary sieci;
- użyteczność i dostępność sieci;
- testowanie i ewaluacja systemów i aplikacji sieciowych.Aby uzyskać więcej informacji, proszę kliknąć:
http://www.score.cs.tsukuba.ac.jp/~mmarin/WWV2010/(odnośnik otworzy się w nowym oknie)