Computing (of a programming language) using a methodology which enables a system to be modelled as a set of objects which can be controlled and manipulated in a modular manner