Information System (IS) development has been beset by consistency problems since its
infancy. These problems are greater still in UML software development, and are principally …

We provide an extensive overview of existing research in the field of software refactoring.
This research is compared and discussed based on a number of different criteria: the …

Traceability—the ability to follow the life of software artifacts—is a topic of great interest to
software developers in general, and to requirements engineers and model-driven …

This paper proposes an approach for facilitating systems interoperability in a manufacturing
environment. It is based on the postulate that an ontological model of a product may be …

Inconsistencies in design models should be detected immediately to save the engineer from
unnecessary rework. Yet, tools are not capable of keeping up with the engineers' rate of …

In the MDD and MDA approaches, models become the primary artifacts of the development
process. Therefore, assessment of the correctness of such models is a key issue to ensure …

Models are good at expressing information about software but not as good at expressing
modelers' uncertainty about it. The highly incremental and iterative nature of software …

Assessment of the correctness of software models is a key issue to ensure the quality of the
final application. To this end, this paper presents an automatic method for the verification of …

Nowadays, large-scale industrial software systems may involve hundreds of developers
working on hundreds of different but related models representing parts of the same system …

In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …