Aline Maria Santos Andrade

14 papers A 1B 1C 3Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2020 — conf
An Investigation of Currently Used Aspects in Model Transformation Development.
ICEIS (Revised Selected Papers)
Ana Patrícia Magalhães, Rita Suzana Pitangueira Maciel, Aline Maria Santos Andrade
2019 J jnl
Model driven transformation development (MDTD): An approach for developing model to model transformation.
Inf. Softw. Technol.
Ana Patrícia Fontes Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel
2016 — conf
A Model Driven Transformation Development Process for Model to Model Transformation.
SBES
Ana Patrícia Fontes Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel
2015 C conf
On the Specification of Model Transformations through a Platform Independent Approach.
SEKE
Ana Patrícia Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel
2015 C conf
Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design.
SEKE
Ana Patrícia Magalhães, Rita Suzana Pitangueira Maciel, Aline Maria Santos Andrade
2013 B conf
A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches.
SSBSE
Antônio Mauricio Pitangueira, Rita Suzana Pitangueira Maciel, Márcio de Oliveira Barros, Aline Maria Santos Andrade
2013 — conf
MTP: Model Transformation Profile.
SBCARS
Ana Patrícia Fontes Magalhães, Aline Maria Santos Andrade, Rita Suzana Pitangueira Maciel
2012 — conf
Generating correct compositions of semantic web services with respect to temporal constraints.
WebMedia
Efraim Zalmoxis de Almeida Machado, Daniela Barreiro Claro, Aline Maria Santos Andrade
2011 A conf
Improving Web Service Discovery by a Functional and Structural Approach.
ICWS
Rodrigo Amorim, Daniela Barreiro Claro, Denivaldo Lopes, Patrick Albers, Aline Maria Santos Andrade
2010 J jnl
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.
Innov. Syst. Softw. Eng.
André L. N. Muniz, Aline Maria Santos Andrade, George Lima
2008 — conf
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.
SBMF
Paul Regnier, George Lima, Aline Maria Santos Andrade
2007 C conf
A development process for mechatronic products: Integrating software engineering and product engineering.
ETFA
Ana Patrícia Magalhães, Aline Maria Santos Andrade, Leila Silva, Herman Lepikson
2006 — conf
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems.
SBMF
Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima
2005 — ed.
Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
LADC
Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva