The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical ...

Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity ...

Mutation Testing is a well-established technique for assessing the quality of test cases by checking how well they detect faults injected into a software artefact (mutant). Using this technique, the most critical activity ...

Validating the conceptual model (CM) is a key activity in ensuring software quality and saving costs, especially when adopting any type of Model-driven Software Engineering methodology, in which standard modelling languages ...

As a means of dealing with legacy systems, reengineering has become a trend in software engineering. In this context Architecture-Driven Modernization has emerged as a standard between the different reengineering techniques. ...

The following article shows the process of building and validating a framework for the management of consistencies in class diagrams in UML, operating specifically on class diagrams, through the application of transformation ...