Delegates are taught how to identify and interpret use cases. They are then led through robust requirements elicitation using the Unified Modeling Language’s use case and sequence diagram notation before learning how the requirements, expressed in the use cases, are realised in the Statemate functional model.
Activity charts and statecharts are presented using domain specific examples before more advanced aspects such as the action language and minispecs are addressed.