Software objects are specifications of functional and non-functional properties, programs and components themselves. In general, objects are structured. In particular, structured specifications can be considered as software components related by operations such as inheritance, clientship or instantiation.
Objects come together with associated attributes such as examples of instances, theorems, meta- theorems, simulations and different syntactical representations [Lato 91].