Tutorial auf der Informatik 2012 in Braunschweig

Universität Ulm

Prof. Dadam veranstaltet auf der Informatik 2012, der Jahrestagung der Gesellschaft für Informatik e.V., ein 1/2-tägiges Tutorium zum Thema "Prozess-Management-Systeme der nächsten Generation: Faszinierende Möglichkeiten einer neuen Technologie", in dem er unter anderem das "Correctness by Construction"-Prinzip sowie Ad-hoc-Abweichungen auf Prozessinstanzebene auf Basis von AristaFlow demonstrieren wird.
Nähere Informationen zum Tutorial finden sich hier.