Many object-oriented metrics have been proposed in the literature to measure various structural properties of software. Furthermore, many centrality measures introduced identify central nodes large networks. However, few studies used them dependencies software systems. In fact, measures, as opposed most traditional that mainly focus on intrinsic classes, can be better model control flow and imp...

object-oriented software engineering: a use case driven object oriented software engineering a use case driven object-oriented software engineering a use case driven a use-case driven approach to formal service-oriented ccis 17 a use-case driven approach to formal service object oriented software engineering ivar jacobson pdf process-oriented requirement analysis supporting the data a use case ...

The basic ingredients The three challenges of object-oriented design are: to identify the objects and classes needed to implement the software; describe the relationships between the identiied objects and classes; deene the behavior of the objects by describing the function implementations of each class. A common guideline used to discover the initial set of objects and classes is to look to th...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

in this paper, we present a multi-formalism modeling framework (abbreviated by mfmf) for modeling and simulation. the proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. the framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

Deductive object-oriented databases are intended to integrate the deductive and object-oriented database techniques to combine the best of two approaches and to overcome their inherent shortcomings, with a number of deductive object-oriented database languages proposed. However, most of these languages are only structurally object-oriented. Important behaviorally object-oriented features such a...