Liliana Maria Favre

New paradigms such as pervasive computing, cloud computing, and the internet of things (IoT) are impacting the business world. Smartphones are at the core of these paradigms by...

New paradigms such as pervasive computing, cloud computing, and the internet of things (IoT) are impacting the business world. Smartphones are at the core of these paradigms by...

Smartphones are at the core of new paradigms such as cloud computing, pervasive computing, and internet of things. Frequently, the development of mobile software requires...

Systems and applications aligned with new paradigms such as cloud computing and internet of the things are becoming more complex and interconnected, expanding the areas in which...

Modernization of legacy systems is a new research area in the software industry intended to provide support for transforming an existing software system to a new one that...

Modernization of legacy systems is a new research area in the software industry intended to provide support for transforming an existing software system to a new one that...

Software modernization is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that...

Software modernization is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that...

Software developers face several challenges in deploying mobile applications. One of them is the high cost and technical complexity of targeting development to a wide spectrum of...

Software modernization is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that...

Model-Driven Development (MDD) is an initiative proposed by the Object Management Group (OMG) to model centric software development. It is based on the concepts of models...

Modernization of legacy systems is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that...

The demand for modernization of legacy systems has created the need for new architectural frameworks that improve interoperability, productivity, process quality, and maintenance...

Reverse Engineering is the process of analyzing available software artifacts such as requirements, design, architectures, code or byte code, with the objective of extracting...

The architecture of a system is a specification of software components, interrelationships, and rules for component interactions and evolution over time. In 2001 OMG, adopted an...

MDA requires the ability to understand different languages such as general purpose languages, domain specific languages, modeling languages or programming languages. An...

Formal and semiformal techniques can play complementary roles in MDA-based software development processes. We consider it beneficial for both semiformal and formal specification...

This chapter describes how to automatically translate MOF metamodels into NEREUS (Favre, 2005) (Favre, Martinez, & Pereira, 2005). We describe a bridge between MOF metamodels and...

In this chapter we examine the relation between NEREUS and formal specification using CASL (Common Algebraic Specification Language) as a common algebraic language (Bidoit &...

This chapter discusses the main steps for transforming NEREUS constructions into object oriented languages. As an example, we use the Eiffel language that allows integrating...

The success of MDA depends on the definition of model transformations and component libraries which make a significant impact on tools that provide support for MDA. MDA is a...

In MDA is crucial to define, manage, and maintain traces and relationships between different models, and automatically transform them and produce implementations. Refactoring is...

Reverse engineering is the process of analyzing software systems to extract software artifacts at a higher level of abstraction so that it is easier to understand them, e.g., for...

This chapter summarizes the main results described in this book and challenges and strategic directions in MDA reverse engineering. Reverse engineering is the process of...

This chapter discusses software evolution, challenges and strategic directions in the context of MDA. Various authors agreed that it is difficult to define completely software...

The model driven architecture (MDA) is an initiative proposed by the object management group (OMG), which is emerging as a technical framework to improve productivity...

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA....

The model driven architecture (MDA) is an initiative proposed by the object management group (OMG), which is emerging as a technical framework to improve productivity...

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA....

The Unified Modeling Language (UML) has emerged as a modeling language for specifying, visualizing, constructing, and documenting software-intensive systems. It unifies proven...

With the increasing popularity of the Internet, electronic commerce, and enterprise applications, UML and the Unified Process has been developed to focus on Unified Modeling...

This chapter describes a reuse-based rigorous process to transform UML static models to object-oriented code. The bases of this approach are the GSBLoo algebraic language to cope...

Reusability is the ability to use the same software elements for constructing many different applications. Formal specifications can help to semiautomatic design processes based...

Formal and semi-formal techniques can play complementary roles in object-oriented software development. The purpose of this chapter is to present a reuse-based rigorous method to...

The Journal of Cases on Information Technology (JCIT) publishes comprehensive, real-life teaching cases, empirical and applied research-based case studies, and case studies based...