one of the issues in the field of inheritance is the inheritance of credential-right by the wife from the husband’s trades. unfortunately, iranian statute law has not specified this verdict, and article 445 of civil law merely states that: ‘each of the credentials, after death, is transferred to the heir.’ although the ruling is applicable to the mentioned article regarding the inheritance of c...

In the metric suite for Object-Oriented design put forward by Chidamber and Kemerer it is observed that Weyuker property 9 is not satisfied by any of the structural Inheritance Complexity Metrics. The same is also observed for the candidate structural inheritance complexity metric by Brito and Carapuca, Li's inheritance metric suite, Rajnish and Bhattacherjee inheritance metric. This paper...

Two inheritance complexity metrics, one at class level CCI (Class Complexity due to Inheritance) and another at program level ACT (Average Complexity of a program due to Inheritance), have been proposed for object-oriented software systems. These proposed metrics are evaluated with Weyuker's properties and compared with other well known objectoriented inheritance metrics. It has been found that...

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...

Abstract There are sentences that coherent and possibly true, but in which there is at the very least appearance of a conflict between requirements two (or more) predicates applied to same argument. This phenomenon, known as copredication, raises various issues for linguistic theory. In this paper I defend develop an approach counting individuation copredication put forward previous work, dialo...

We prove a continuity inheritance property for super- and sub-additive transformations of non-negative continuous multivariate functions defined on the domain of all non-negative points and vanishing at the origin. As a corollary of this result we obtain that super- and sub-additive transformations of continuous aggregation functions are again continuous aggregation functions.

CSP-OZ [C. Fischer, CSP-OZ: A combination of Object-Z and CSP, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Open Object-Based Distributed Systems, FMOODS’97, vol. 2, Chapman & Hall, 1997, pp. 423–438] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviouroriented view using the obj...