Learn More
Object-relational databases will replace relational systems to become the next great wave of databases because they combine traditional database characteristics with object-oriented principle. So, it is fundamental to propose metrics for control the quality of this kind of databases. But metrics definition must be done in a methodological way, it is(More)
Software defects often lead to bugs, runtime errors and software maintenance difficulties. They should be systematically prevented, found, removed or fixed all along the software lifecycle. However, detecting and fixing these defects is still, to some extent, a difficult, time-consuming and manual process. In this paper, we propose a two-step automated(More)
Model transformation (MT) has become an important concern in software engineering. In addition to its role in model-driven development, it is useful in many other situations such as measurement, refactoring, and test-case generation. Roughly speaking, MT aims to derive a target model from a source model by following some rules or principles. So far, the(More)
Current methods to build software quality estimation models suffer from two problems: The use of precise threshold values and their interpretation in the absence of formal models, and the crudeness of the derived rules which can only serve to build naïve models. In this position paper, we describe a novel approach to alleviate both problems. We propose to(More)
— In this paper, we address the problem of specifying a property in LTL over a subset of the states of a system under test, ignoring the rest of the states. A modern LTL semantics that applies for both finite and infinite traces is considered. We introduce specialized operators (syntax and semantic) that help specifying properties over propositional scopes,(More)
Refactoring is widely recognized as a crucial technique applied when evolving object-oriented software systems. Refactoring has promised, if applied well, to improve software readability, maintainability and extendibility. In general, to improve software quality, most of existing studies focus on the correction of anti-patterns or enhancing specific quality(More)
1 Position Object oriented (OO) design and programming have reached the maturity stage. OO software products are becoming more and more complex. Quality requirements are increasingly becoming determining factors in selecting from design alternatives during software development. Therefore, it is important that the quality of the software be evaluated during(More)
In many situations, one faces the need for integrating a set of conceptual hierarchies that represent parts of the same domain. The target structure of the integration is a unique conceptual hierarchy that embeds at least the total of the knowledge encoded in the initial ones. The key issues to address here are the discovery of higher-level abstractions on(More)