nd properties of a software system