Liliana Maria Favre

Liliana Maria FavreLiliana Favre is a full professor of Computer Science at Universidad Nacional del Centro de la Provincia de Buenos Aires in Argentina. She is also a researcher of CIC (Comisión de Investigaciones Científicas de la Provincia de Buenos Aires). Her current research interests are focused on model driven development, model driven architecture and formal approaches, mainly on the integration of algebraic techniques with MDA-based processes. She has been involved in several national research projects about formal methods and software engineering methodologies. Currently she is research leader of the Software Technology Group at Universidad Nacional del Centro de la Provincia de Buenos Aires. She has published several book chapters, journal articles and conference papers. She has acted as editor of the book UML and the Unified Process. She is the author of the book Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution. Contact:lfavre@exa.unicen.edu.ar

Publications

Migrating Software Towards Mobile Technologies
Liliana Maria Favre. © 2021. 17 pages.
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...
Non-Mobile Software Modernization in Accordance With the Principles of Model-Driven Engineering
Liliana Maria Favre. © 2021. 32 pages.
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...
Formal Metamodeling for Secure Model-Driven Engineering
Liliana Maria Favre. © 2021. 22 pages.
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...
Model-Driven Software Modernization
Liliana Maria Favre, Liliana Martinez, Claudia Teresa Pereira. © 2019. 13 pages.
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...
Model-Driven Software Modernization
Liliana Maria Favre, Liliana Martinez, Claudia Teresa Pereira. © 2018. 12 pages.
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...
Reverse Engineering of Object-Oriented Code: An ADM Approach
Liliana Favre, Liliana Martinez, Claudia Pereira. © 2018. 24 pages.
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...
Reverse Engineering of Object-Oriented Code: An ADM Approach
Liliana Favre, Liliana Martinez, Claudia Pereira. © 2018. 24 pages.
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...
Migrating JAVA to Mobile Platforms through HAXE: An MDD Approach
Pablo Nicolás Díaz Bilotto, Liliana Favre. © 2016. 29 pages.
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 and the State-of-the-Art and Challenges
Liliana Favre, Claudia Pereira, Liliana Martinez. © 2015. 12 pages.
Reverse Engineering of Object-Oriented Code: An ADM Approach
Liliana Favre, Liliana Martinez, Claudia Pereira. © 2015. 25 pages.
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...
A Rigorous Approach for Metamodel Evolution
Claudia Pereira, Liliana Favre, Liliana Martinez. © 2014. 24 pages.
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...
Architecture-Driven Modernization for Software Reverse Engineering Technologies
Liliana Martinez, Liliana Favre, Claudia Pereira. © 2013. 20 pages.
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...
Software System Modernization: An MDA-Based Approach
Liliana Favre, Liliana Martinez, Claudia Pereira. © 2012. 36 pages.
Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution
Liliana Favre. © 2010. 461 pages.
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 and MDA: An Introduction
Liliana María Favre. © 2010. 14 pages.
Reverse Engineering is the process of analyzing available software artifacts such as requirements, design, architectures, code or byte code, with the objective of extracting...
Model Driven Architecture (MDA)
Liliana María Favre. © 2010. 19 pages.
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, Metamodeling and Transformation
Liliana María Favre. © 2010. 14 pages.
MDA requires the ability to understand different languages such as general purpose languages, domain specific languages, modeling languages or programming languages. An...
Formalization of MOF-Based Metamodels
Liliana María Favre. © 2010. 31 pages.
Formal and semiformal techniques can play complementary roles in MDA-based software development processes. We consider it beneficial for both semiformal and formal specification...
MOF-Metamodels and Formal Languages
Liliana María Favre. © 2010.
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...
Mappings of MOF Metamodels and Algebraic Languages
Liliana María Favre. © 2010. 29 pages.
In this chapter we examine the relation between NEREUS and formal specification using CASL (Common Algebraic Specification Language) as a common algebraic language (Bidoit &...
Mappings of MOF Metamodels and Object-oriented Languages
Liliana María Favre. © 2010. 7 pages.
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...
Software Evolution, MDA and Design Pattern Components
Liliana María Favre. © 2010. 43 pages.
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...
Evolution of Models and MDA-Based Refactoring
Liliana María Favre. © 2010. 41 pages.
In MDA is crucial to define, manage, and maintain traces and relationships between different models, and automatically transform them and produce implementations. Refactoring is...
MDA-Based Object-Oriented Reverse Engineering
Liliana María Favre. © 2010. 31 pages.
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...
SUMMING UP THE PARTS
Liliana María Favre. © 2010. 5 pages.
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...
Towards MDA Software Evolution
Liliana María Favre. © 2010. 5 pages.
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...
Foundations for MDA Case Tools
Liliana María Favre, Claudia Teresa Pereira, Liliana Inés Martinez. © 2010. 11 pages.
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...
A Rigouous Framework for Model-Driven Development
Liliana María Favre. © 2010. 24 pages.
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....
Foundations for MDA Case Tools
Liliana María Favre, Claudia Teresa Pereira, Liliana Inés Martinez. © 2009. 8 pages.
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...
A Rigorous Framework for Model-Driven Development
Liliana Favre. © 2006. 27 pages.
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....
Forward Engineering of UML Static Models
Liliana Favre, Liliana Martinez, Claudia Pereira. © 2005. 6 pages.
The Unified Modeling Language (UML) has emerged as a modeling language for specifying, visualizing, constructing, and documenting software-intensive systems. It unifies proven...
UML and the Unified Process
Liliana Favre. © 2003. 416 pages.
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...
Forward Engineering and UML: From UML Static Models to Eiffel Code
Liliana Favre, Liliana Martinez, Claudia Pereira. © 2003. 18 pages.
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...
Enhancing a Rigorous Reuse Process with Natural Language Requirement Specifications
Laura Felice, Carmen Leonardi, Liliana Favre, Maria Virginia Mauco. © 2002. 14 pages.
Reusability is the ability to use the same software elements for constructing many different applications. Formal specifications can help to semiautomatic design processes based...
A Systematic Approach to Transform UML Static Models to Object-Oriented Code
Liliana Favre, Silvia Clerici. © 2001. 22 pages.
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...
Journal of Cases on Information Technology (JCIT)
Andrew Borchers. Est. 1999.
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...