Aline Maria Santos Andrade

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 5

Top Topics

Development Process

Semantic Web Services

Top Venues

Inf. Softw. Technol.

Publications

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