This paper presents a metric suite to support software product line architecture (PLA) evaluation. The metric suite was conceived taking into account the variabilities defined on the UML artefacts of the product line based on specific stereotypes. The metrics definition was supported by the SDMetrics tool. An example illustrates the correlation between the metrics and the PL architecture qualit...

Software metrics gives developers and their client and users of Software information about the quality of their Software products. They are employed in taking decisions at various levels of Software Life Cycle (SLC). This paper presents a novel metric for measuring the readability of Software Source Code (SC). Maintenance changes (addition, removal or modification), though, are initially carrie...

In this paper, we continue a series of papers that discuss specific design metrics [Alkadi 1999] [Alkadi 2000] [Alkadi 2001] [Alkadi 1998]. The design metric discussed in this paper is the Depth of Inheritance [DIT] metric. Design evaluation is a recurring step that should be performed and checked multiple times before committing to the final design implementation. Metrics are utilized to evalu...

We investigate extensions of S. Solecki’s theorem on closing off finite partial isometries of metric spaces [11] and obtain the following exact equivalence: any action of a discrete group Γ by isometries of a metric space is finitely approximable if and only if any product of finitely generated subgroups of Γ is closed in the profinite topology on Γ. §

Given a metric space X we characterize those Y so that the realcompactification of X×Y is just the product of X with the realcompactification of Y . Examples are constructed to illustrate that the properties involved do depend on the metric spaces

Several examples and models based on noncommutative differential calculi on commutative algebras indicate that a metric should be regarded as an element of the left-linear tensor product of the space of 1-forms with itself. We show how the metric compatibility condition with a linear connection generalizes to this framework.

In [KO2] we developed a general classification scheme for metric Lie algebras, i.e. for finite-dimensional Lie algebras equipped with a non-degenerate invariant inner product. Here we determine all nilpotent Lie algebras l with dim l = 2 which are used in this scheme. Furthermore, we classify all nilpotent metric Lie algebras of dimension at most 10.

We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the Levi-Civita connection. In the general Riemannian case a formal metric with ma...

In this paper, we give some new fixed point theorems for contractive type mappings in intuitionistic fuzzy metric spaces. We improve and generalize the well-known fixed point theorems of Banach [4] and Edelstein [8] in intuitionistic fuzzy metric spaces. Our main results are intuitionistic fuzzy version of Fang’s results [10]. Further, we obtain some applications to validate our main results to...

The Haar and the Walsh functions are proved to be computable with respect to the Fine-metric dF which is induced from the in-nite product = {0; 1}{1;2; :::} with the weighted product metric dC of the discrete metric on {0; 1}. Although they are discontinuous functions on [0; 1] with respect to the Euclidean metric, they are continuous functions on ( ; dC) and on ([0; 1]; dF). On ( ; dC), comput...