Over the past decade, cloud services emerged as one of the most promising technologies in IT. Since cloud computing allows improving the quality of software and, at the same time, aims at reducing costs of operating software and hardware, more and more software is delivered as a service in the cloud. However, moving existing software applications to the cloud and making them behave as software ...

The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting perspective for the software engineering. In this work, we present a case study of agile model driven development within the MIDAS framework, which composes a model driven architecture based on the Model Driven Archit...

Today’s trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more easy, as the engineer can focus on the particular aspect of the system, when working with one model. Though collaborations get more difficult, because more models have to be kept consistent. Unfortunately, the process support for mode...

In large-scale model-based development, developers periodically need to combine collections of interrelated models. These models may capture different features of a system, describe alternative perspectives on a single feature, or express ways in which different features may alter one another’s structure or behaviour. We refer to the process of combining a set of interrelated models as model fu...

MDE (Model Driven Engineering) is an emerging software engineering paradigm that relies on models as primary artifacts to build complex software and hardware systems. It basically aims at overcoming the inability of third-generation languages to alleviate the complexity of platforms and express domain concepts effectively. One particular vision of MDE was proposed by OMG (Object Management Grou...

This article deals with the transformation of a relational database to an object database. It suggests a new solution based on database and model-driven engineering integration. In the first part it is discussed in general issues of relational database transformation into object one, some problematic areas are identified. Subsequently, depending on detailed analyze of the database reverse engin...

This paper argues that the teaching of formal methods within software engineering must aim to equip students to apply the kinds of methods that may be in use throughout their future careers, rather than just those that exist at present. In particular, it argues that this use will increasingly need to be tied closely to the activity of modelling systems, and to the various kinds of nonformal mod...

In this talk we focus on the problem of model inconsistency management, an active field of research in model-driven software engineering. We focus on the activity of inconsistency resolution in particular. Automating the resolution of model inconsistencies turns out to be quite a challenge. We provide an overview of a number of research approaches to inconsistency resolution that have been prop...

On July 7, 2017 at 6 pm, Guillermo Cueva Fernández defended his Ph.D. thesis entitled Vitruvius: Vehicle Sensor Based Model-Driven Engineering Application Generation at the University of Oviedo. Guillermo Cueva Fernández presented his dissertation in a publicly open event held in the School of Computer Engineering, and was able to defend all his work on every question raised by his thesis commi...

Navigability in use, defined as the efficiency, effectiveness and satisfaction with which a user navigates through the system in order to fulfil her goals under specific conditions, has a definite impact on the overall success of Web applications. This quality attribute can be measured based on the navigational model provided by Web Engineering methodologies. Most of the measures currently defi...