Aline Maria Santos Andrade
Associate Professor
Department of Computer Science
Universiade Federal da Bahia
Brazil
Biography
She holds a degree in Data Processing from the Federal University of Bahia (1981), a master's degree in Information Technology from the Pontifical Catholic University of Rio de Janeiro (1986) and a PhD in Computer Science from the Pontifical Catholic University of Rio de Janeiro (1997). She is currently an associate professor at the Federal University of Bahia. He has experience in Computer Science, with emphasis on Formal Methods, working mainly on the following topics: formal specification, verification of models, transformation of models.
Research Interest
Distributed systems, Formal Methods.
Publications
-
Figueiredo RC, Claro DB, Macêdo RA, Andrade AS. Interaction of characteristics in the composition of web services: preventing the violation of user requirements.
-
Pitangueira AM, Maciel RS, de Oliveira Barros M, Andrade AS. A systematic review of software requirements selection and prioritization using SBSE approaches. InInternational Symposium on Search Based Software Engineering 2013 Aug 24 (pp. 188-208). Springer, Berlin, Heidelberg.
