technische universität dortmund fakultät für informatik p. marwedel, informatik 12, 2009 Consider a Simple Example The Observer pattern defines a one-to-many dependency between a subject object and any number of observer objects so that when the subject object changes state, all its observer ...
technische universität dortmund fakultät für informatik JJ Chen and P.Marwedel, Informatik 12, 2014 Other semantics Several other specification languages for hierarchical state machines (UML, dave, …) do not include the three simulation phases. These correspond more to a SW point of vie...