Harald Detering Proseminar Software Pioneers (Prof. Dr. Heike Wehrheim) 1 Statecharts Ein visueller Formalismus für komplexe Systeme [nach David Harels.
