Attention : Script is not a complete representation of the oral lecture !!! 
	  Script is not yet completely finished !!!
                        

Design View

Modeling

If a requirements document is available, if the necessary tasks are described as well as the necessary knowledge for the user (including possible user support),  then a formal  model has to be constructed which covers all these divers aspects. This model has not only to cover all the static properties of the objects involved, the actors, the environment, institutions, machines etc., it has also to represent the dynamics of these components of a situation which can change during time by several actions.
What is needed here is a strong formal theory which can formally be proven and empirically tested.