Is the task of [see page 5, modelling] a computer system together with its functionality and behaviour. It can be understood as a formal description of the problems to be solves.