behaviour and properties of a software system, consisting of a