Harald Detering Proseminar Software Pioneers (Prof. Dr. Heike Wehrheim) 1 Statecharts Ein visueller Formalismus für komplexe Systeme [nach David Harels.
Model-based Testing. Finite state machines Statecharts Grammars Markov chains Stochastic Automata Networks.