Aline Andrade

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 4

Top Topics

Technical Infrastructure

Nash Equilibrium

Top Venues

J. Softw. Eng. Res. Dev.

Publications

Aline Andrade, Alessandro Maciel Schmidt, Tania Mara Dors, Regina Albuquerque, Fabio Vinicius Binder, Dilmeire Vosgerau, Andreia Malucelli, Sheila S. Reinehr
Education, Innovation and Software Production: the contributions of the Reflective Practice in a Software Studio. J. Softw. Eng. Res. Dev. 11 (2023)
Aline Andrade, Regina Albuquerque, Tania Mara Dors, Fabio Vinicius Binder, Andreia Malucelli, Sheila S. Reinehr
Education, Innovation and Software Production: The use of Reflective Practice. SBQS (2021)
Ana Patrícia Magalhães, Rita Suzana Pitangueira Maciel, Aline Andrade
Developing Model Transformations: A Systematic Literature Review. ICEIS (2) (2020)
Efraim Machado, Aline Andrade
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models. SBMF (2016)
Jandson S. Ribeiro, Aline Andrade
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. ICFEM (2015)
Roberto C. Figueiredo, Daniela Barreiro Claro, Raimundo A. Macêdo, Aline Andrade
Interação de características na composição de serviços web: prevenindo a violação dos requisitos do usuário. SBSI (2014)
Paulo T. Guerra, Aline Andrade, Renata Wassermann
Toward the Revision of CTL Models through Kripke Modal Transition Systems. SBMF (2013)
Luciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima
Abstract specification and formalization of an operating system kernel in Z. ACM SIGOPS Oper. Syst. Rev. 45 (1) (2011)