Ein Fachband aus dem Eurographics‑Workshop in Braga, Portugal, der im Juni 1999 die aktuellen Methoden zur Gestaltung, Spezifikation und Verifikation interaktiver Systeme beleuchtet; erörtert innovative Konzepte, Algorithmen und praktische Anwendungen für Forschung und Praxis.