Modelling small programs Modelling large programs Modelling application frameworks Modelling design patterns Object-Oriented Modelling in LePUS3 and Class-Z.