Aline Andrade

According to our database, Aline Andrade authored at least 21 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Education, Innovation and Software Production: the contributions of the Reflective Practice in a Software Studio.

Aline Andrade, Alessandro Maciel Schmidt, Tania Mara Dors, Regina Albuquerque, Fabio Vinicius Binder, Dilmeire Vosgerau, Andreia Malucelli, Sheila S. Reinehr

J. Softw. Eng. Res. Dev., 2023

2021

Education, Innovation and Software Production: The use of Reflective Practice.

Aline Andrade, Regina Albuquerque, Tania Mara Dors, Fabio Vinicius Binder, Andreia Malucelli, Sheila S. Reinehr

Proceedings of the SBQS '21: XX Brazilian Symposium on Software Quality, Virtual Event, Brazil, November 8, 2021

2020

An Investigation of Currently Used Aspects in Model Transformation Development.

Ana Patrícia Magalhães, Rita Suzana Pitangueira Maciel, Aline Maria Santos Andrade

Proceedings of the Enterprise Information Systems - 22nd International Conference, 2020

Developing Model Transformations: A Systematic Literature Review.

Ana Patrícia Magalhães, Rita Suzana Pitangueira Maciel, Aline Andrade

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

2019

Model driven transformation development (MDTD): An approach for developing model to model transformation.

Ana Patrícia Fontes Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel

Inf. Softw. Technol., 2019

2016

A Refinement Repair Algorithm Based on Refinement Game for KMTS Models.

Efraim Machado, Aline Andrade

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

A Model Driven Transformation Development Process for Model to Model Transformation.

Ana Patrícia Fontes Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel

Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

2015

Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design.

Ana Patrícia Magalhães, Rita Suzana Pitangueira Maciel, Aline Maria Santos Andrade

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

On the Specification of Model Transformations through a Platform Independent Approach.

Ana Patrícia Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information.

Jandson S. Ribeiro, Aline Andrade

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Interação de características na composição de serviços web: prevenindo a violação dos requisitos do usuário.

Roberto C. Figueiredo, Daniela Barreiro Claro, Raimundo A. Macêdo, Aline Andrade

Proceedings of the 10th Brazilian Symposium on Information Systems, 2014

2013

A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches.

Antônio Mauricio Pitangueira, Rita Suzana Pitangueira Maciel, Márcio de Oliveira Barros, Aline Maria Santos Andrade

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Toward the Revision of CTL Models through Kripke Modal Transition Systems.

Paulo T. Guerra, Aline Andrade, Renata Wassermann

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

MTP: Model Transformation Profile.

Ana Patrícia Fontes Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel

Proceedings of the 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, Brasília, DF, Brazil, September 29, 2013

2012

Generating correct compositions of semantic web services with respect to temporal constraints.

Efraim Zalmoxis de Almeida Machado, Daniela Barreiro Claro, Aline Maria Santos Andrade

Proceedings of the Brazilian Symposium on Multimedia and the Web, 2012

2011

Abstract specification and formalization of an operating system kernel in Z.

Luciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima

ACM SIGOPS Oper. Syst. Rev., 2011

Improving Web Service Discovery by a Functional and Structural Approach.

Rodrigo Amorim, Daniela Barreiro Claro, Denivaldo Lopes, Patrick Albers, Aline Maria Santos Andrade

Proceedings of the IEEE International Conference on Web Services, 2011

2010

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.

André L. N. Muniz, Aline Maria Santos Andrade, George Lima

Innov. Syst. Softw. Eng., 2010

2008

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.

Paul Regnier, George Lima, Aline Maria Santos Andrade

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

2007

A development process for mechatronic products: Integrating software engineering and product engineering.

Ana Patrícia Magalhães, Aline Maria Santos Andrade, Leila Silva, Herman Lepikson

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.

Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima

Proceedings of the Brazilian Symposium on Formal Methods, 2006