Many inheritance metrics can be found in the literature, but most of those are validated theoretically by using Weyuker’s property. Theoretical validation of inheritance metrics using Briand’s property is rare in the literature. This paper considers the metrics proposed by Rajnish and Sandip and presents a theoretical validation of the inheritance metrics using the Briand’s size and length prop...

In this paper we face the problem of providing a common representation for knowledge learnt from examples and some kind of background knowledge about a given framework. To this end we postulate inheritance hierarchies endowed with some retrieval rules in addition to the inheritance operation. This hierarchies can be algorithmicaly built according to the specifications encoded in our input data....

Inheritance anomaly is a well known problem in concurrent object-oriented programming. Much work has been done in this area recently, but the problem is far from solved. In this paper we propose a simple language construct that solves the inheritance anomaly. Our proposal involves the use of preconditions and post-actions in which synchronization constraints of objects are speciied. Preconditio...