Static Modelling In Software Engineering