Vander Ramos Alves

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• AMORIM, JUNIER CAMINHA ; ROCHA, EDUARDO LEMOS ; MINARDI, LUIGI ; Alves, Vander ; DE FREITAS, EDISON PIGNATON ; CASTRO, THIAGO ; AMRANI, MOUSSA ; ORTIZ, JAMES ; SCHOBBENS, PIERRE-YVES ; PERROUIN, GILLES . Providing command and control agility: A software product line approach. EXPERT SYSTEMS WITH APPLICATIONS , v. 216, p. 119473, 2023.

• GHEYI, ROHIT ; RIBEIRO, MÁRCIO ; SOUZA, BEATRIZ ; GUIMARÃES, MARCIO ; FERNANDES, LEO ; D?AMORIM, MARCELO ; Alves, Vander ; TEIXEIRA, LEOPOLDO ; FONSECA, BALDOINO . Identifying method-level mutation subsumption relations using Z3. INFORMATION AND SOFTWARE TECHNOLOGY , v. 132, p. 106496, 2021.

• CASTRO, THIAGO ; Teixeira, L. ; ALVES, Vander ; Apel, S. ; Cordy, Maxime ; GHEYI, R. . A Formal Framework of Software Product Line Analyses. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY , v. 30, p. 1-37, 2021.

• DA COSTA, JOSÉ ALDO SILVA ; GHEYI, ROHIT ; RIBEIRO, MÁRCIO ; APEL, SVEN ; Alves, Vander ; FONSECA, BALDOINO ; MEDEIROS, FLÁVIO ; GARCIA, ALESSANDRO . Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices. EMPIRICAL SOFTWARE ENGINEERING , v. 26, p. 1-35, 2021.

• SILVA, ENEIAS ; LEITE, ALESSANDRO ; Alves, Vander ; APEL, SVEN . ExpRunA : a domain-specific approach for technology-oriented experiments. Software and Systems Modeling , v. 19, p. 493-526, 2020.

• AMORIM, JUNIER CAMINHA ; Alves, Vander ; DE FREITAS, EDISON PIGNATON . Assessing a swarm-GAP based solution for the task allocation problem in dynamic scenarios. EXPERT SYSTEMS WITH APPLICATIONS , v. 152, p. 113437, 2020.

• CASTRO, THIAGO ; LANNA, ANDRÉ ; Alves, Vander ; TEIXEIRA, LEOPOLDO ; APEL, SVEN ; SCHOBBENS, PIERRE-YVES . All roads lead to Rome: Commuting strategies for product-line reliability analysis. SCIENCE OF COMPUTER PROGRAMMING , v. 152, p. 116-160, 2018.

• LANNA, ANDRÉ ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAINA ; SCHOBBENS, PIERRE-YVES ; APEL, SVEN . Feature-family-based reliability analysis of software product lines. INFORMATION AND SOFTWARE TECHNOLOGY , v. 94, p. 59-81, 2018.

• VALE, TASSIO ; DE ALMEIDA, EDUARDO SANTANA ; Alves, Vander ; Kulesza, Uirá ; Niu, Nan ; DE LIMA, RICARDO . Software product lines traceability: A systematic mapping study. Information and Software Technology , v. 84, p. 1-18, 2017.

• LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; Rodrigues, Genaína Nunes ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method. Cluster Computing-The Journal of Networks Software Tools and Applications , v. 20, p. 1951-1976, 2017.

• PESSOA, LEONARDO ; FERNANDES, PAULA ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAÍNA N. ; CARVALHO, HERVALDO . Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain. Information and Software Technology , p. 54-70, 2017.

• Mendonça, D. ; Rodrigues, Genaína Nunes ; Ali, Raian ; ALVES, Vander ; Baresi, L. . GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Information and Software Technology , v. 80, p. 245-264, 2016.

• NEVES, L. ; BORBA, P. ; ALVES, V. ; TURNES, L. ; TEIXEIRA, L. ; SENA, D. ; KULESZA, U. . Safe Evolution Templates for Software Product Lines. The Journal of Systems and Software , p. 42-58, 2015.

• Valença, George ; Alves, Carina ; ALVES, Vander ; Niu, Nan . A Systematic Mapping Study on Business Process Variability. International Journal of Computer Science and Information Technology (Print) , v. 5, p. 1-21, 2013.

• KULESZA, UIRÁ ; SOARES, SÉRGIO ; CHAVEZ, CHRISTINA ; CASTOR, FERNANDO ; BORBA, Paulo ; LUCENA, C. J. P. ; LUCENA, CARLOS ; MASIERO, PAULO ; SANT'ANNA, Claudio ; ALVES, Vander ; FERRARI, Fabiano ; COELHO, Roberta ; FIGUEIREDO, Eduardo ; PIRES, PAULO F. ; DELICATO, FLÁVIA ; PIVETA, Eduardo ; SILVA, CARLA ; CAMARGO, VALTER ; BRAGA, ROSANA ; LEITE, JULIO ; et.al . The crosscutting impact of the AOSD Brazilian research community. The Journal of Systems and Software , v. 86, p. 905-933, 2013.

• Rodrigues, Genaína Nunes ; Alves, Vander ; Silveira, Renato ; Laranjeira, Luiz A. . Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study. JOURNAL OF SYSTEMS AND SOFTWARE , v. 85, p. 112-131, 2012.

• NEVES, L. ; TEIXEIRA, L. ; SENA, D. ; ALVES, Vander ; Kulesza, Uirá ; BORBA, Paulo . Investigating the safe evolution of software product lines. ACM SIGPLAN Notices , v. 47, p. 33, 2012.

• Alves, Vander ; Niu, Nan ; Alves, Carina ; Valença, George . Requirements engineering for software product lines: A systematic literature review. INFORMATION AND SOFTWARE TECHNOLOGY , v. 52, p. 806-820, 2010.

• ALVES, Vander ; MATOS , Pedro ; COLE, Leonardo ; VASCONCELOS, A. T. ; BORBA, Paulo ; RAMALHO, Geber . Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. Transactions on Aspect-Oriented Software Development , v. 4640, p. 117-142, 2007.

• ALVES, Vander . Identifying Variations in Mobile Devices.. Journal of Object Technology , Zurique, v. 4, n.3, p. 51, 2005.

• SAMPAIO, Pedro ; DAMASCENO, Alexandre ; SAMPAIO, Igor ; ALVES, Vander ; RAMALHO, Geber ; BORBA, Paulo . Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes. Scientia (Unisinos) , São Leopoldo, RS, Brasil, v. 16, n.1, p. 66-72, 2005.

• Schaefer, I. (Org.) ; ALVES, Vander (Org.) ; ALMEIDA, E. S. (Org.) . Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2016). 1. ed. New York: ACM, 2016. v. 1. 116p .

• ALVES, Vander . Proceedings of the 5 th Workshop on Theses and Dissertations of CBSoft. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. 82p .

• ALVES, Vander . Proceedings of the Eighth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2014). 1. ed. Los Alamitos: IEEE Computer Society, 2014. v. 1. 116p .

• Schwanninger, Christa (Org.) ; BENAVIDES, D. (Org.) ; Santos, A. L. M. (Org.) ; ALVES, Vander (Org.) ; ALMEIDA, E. S. (Org.) . Proceedings of the 16th International Software Product Line Conference - Volume 1. 1. ed. New York: ACM, 2012. v. 1. 299p .

• KULESZA, U. (Org.) ; ALVES, Vander (Org.) ; PIVETA, E. (Org.) ; GARCIA, A. (Org.) ; BORBA, Paulo (Org.) ; LUCENA, C. J. P. (Org.) ; Price, R. T. (Org.) . Anais do III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP'2006). Sociedade Brasileira de Computação, 2006. v. 1. 139p .

• Alves, Thayonara ; TEIXEIRA, LEOPOLDO ; Alves, Vander ; CASTRO, THIAGO . Porting the Software Product Line Refinement Theory to the Coq Proof Assistant. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 192-209.

• BHOWMIK, TANMAY ; Alves, Vander ; Niu, Nan . An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game Porting. In: Thouraya Bouabana-Tebibel; Stuart H. Rubin. (Org.). Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2014, v. 263, p. 241-261.

• Greenwood, P. ; ALVES, Vander ; Hutchinson, J. ; Schwanninger, Christa ; Anquetil, N. . Empirical Research in Software Product Line Engineering. In: Awais Rashid, Jean-Claude Royer, Andreas Rummler. (Org.). Aspect-Oriented, Model-Driven Software Product Lines: The AMPLE Way. 1ed.Cambridge: Cambridge University Press, 2011, v. , p. 411-443.

• KULESZA, U. ; ALVES, Vander ; GARCIA, A. ; COSTA NETO, A. ; CIRILO, E. ; LUCENA, C. J. P. ; BORBA, Paulo . Mapping Features to Aspects: A Model-Based Generative Approach. In: Ana Moreira; John Grundy. (Org.). Early Aspects: Current Challenges and Future Directions, Lecture Notes in Computer Science. Berlim: Springer-Verlag, 2007, v. 4765, p. 155-174.

• SILVA, E. C. ; ALVES, Vander . A Domain-Specific Modeling Approach Supporting Technology-oriented Experiments. In: VIII Congresso Brasileiro de Software (CBSoft 2017), 2017, Fortaleza. VII Workshop de Teses e Dissertações do CBSoft (WTDSoft 2017), 2017. p. 23-29.

• LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; RODRIGUES, GENAINA NUNES ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method. In: 2016 International Conference on Cloud and Autonomic Computing (ICCAC), 2016, Augsburg. 2016 International Conference on Cloud and Autonomic Computing (ICCAC), 2016. p. 72-83.

• RODRIGUES, GENAINA N. ; Alves, Vander ; NUNES, VINICIUS ; LANNA, ANDRE ; Cordy, Maxime ; SCHOBBENS, PIERRE-YVES ; SHARIFLOO, AMIR MOLZAM ; LEGAY, AXEL . Modeling and Verification for Probabilistic Properties in Software Product Lines. In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), 2015, Daytona Beach Shores. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering. p. 173-180.

• TEIXEIRA, LEOPOLDO ; Alves, Vander ; BORBA, Paulo ; GHEYI, ROHIT . A product line of theories for reasoning about safe evolution of product lines. In: the 19th International Conference, 2015, Nashville. Proceedings of the 19th International Conference on Software Product Line - SPLC '15. p. 161-170.

• LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; RODRIGUES, GENAINA NUNES ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. In: 2015 IEEE 8th International Conference on Cloud Computing (CLOUD), 2015, New York City. 2015 IEEE 8th International Conference on Cloud Computing. p. 726-733.

• NUNES, V. U. ; Mendonça, D. ; Rodrigues, Genaína Nunes ; ALVES, Vander . Towards Compositional Approach for Parametric Model Checking in Software Product Lines. In: 1st Workshop on Dependability in Adaptive and Self-Managing Systems (WDAS), 2013, Rio de Janeiro. Proceedings of the 1st Workshop on Dependability in Adaptive and Self-Managing Systems (WDAS), affiliated with the Sixth Latin-American Symposium on Dependable Computing (LADC), 2013.

• Valença, George ; Alves, Carina ; ALVES, Vander . Analysing Variability Management in BPM and SPL: A Knowledge Mapping. In: Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), 2013, João Pessoa. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), 2013.

• BHOWMIK, TANMAY ; Alves, Vander ; Niu, Nan . Porting mobile games in an aspect-oriented way: An industrial case study. In: 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), 2013, San Francisco. 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI). p. 458-465.

• NUNES, V. U. ; Fernandes, P. G. M. ; ALVES, Vander ; Rodrigues, Genaína Nunes . Variability Management of Reliability Models in Software Product Lines: an Expressiveness and Scalability Analysis. In: Simpósio Brasileiro de Componentes, Arquitetura e Reutilizacação de Software (SBCARS 2012), 2012, Natal. Anais do SBCARS 2012, 2012.

• MACHADO, G. ; ALVES, Vander ; GHEYI, R. . Formal Specification and Verification of Well-formedness in Business Process Product Lines. In: 6th Latin American Workshop no Aspect-Oriented Software Development: Advanced Modularization Techniques (LA-WASP.12), 2012, Natal. Proceedings of LA-WASP 2012, 2012.

• MACHADO, I. ; BONIFACIO, R. ; ALVES, Vander ; TURNES, L. ; MACHADO, G. . Managing variability in business processes: an aspect-oriented approach. In: 2011 international workshop on Early aspects, 2011, Porto de Galinhas. EA '11 Proceedings of the 2011 international workshop on Early aspects. New York: ACM, 2011. p. 25-30.

• TURNES, L. ; BONIFACIO, R. ; ALVES, Vander ; LÄMMEL, R. . Techniques for Developing a Product Line of Product Line Tools: a Comparative Study. In: 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011, São Paulo. 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011. p. 11-20.

• MARINHO, H. ; MENDONÇA, A. ; ALMEIDA, E. S. ; RODRIGUES, G. ; ALVES, Vander ; BONIFACIO, R. . Exploring Architecture-Based Reliability Analysis of Current Multi-Layered Web Applications. In: 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011, São Paulo. 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011. p. 51-60.

• CHAVEZ, C. ; KULESZA, U. ; SOARES, S. ; BORBA, Paulo ; LUCENA, C. J. P. ; MASIERO, P. ; SANT'ANNA, C. ; PIVETA, E. ; FERRARI, F. ; CASTOR, F. ; COELHO, R. ; ALVES, Vander ; et. al. . The AOSD Research Community in Brazil and its Crosscutting Impact. In: Simpósio Brasileiro de Engenharia de Software (SBES 2011), 2011, São Paulo. 25 Simpósio Brasileiro de Engenharia de Software, 2011. p. 72-81.

• NEVES, LAÍS ; TEIXEIRA, LEOPOLDO ; SENA, DEMÓSTENES ; Alves, Vander ; KULEZSA, UIRÁ ; BORBA, Paulo . Investigating the safe evolution of software product lines. In: the 10th ACM international conference, 2011, Portland. Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11. p. 33-42.

• NUNES, V. U. ; ALVES, Vander . Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida. In: Simpósio Brasileiro de Sistemas de Informação, 2010, Marabá. Anais do VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010), 2010. p. 1-10.

• RODRIGUES, G. ; ALVES, Vander ; FRANKLIN, R. ; Laranjeira, Luiz A. . Dependability Analysis in the Ambient Assisted Living Domain: an Exploratory Case Study. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010, Salvador. 4º Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010. p. 155-164.

• RIBEIRO, H. B. G. ; GARCIA, V. C. ; ALVARO, A. ; LUCRÉDIO, D. ; ALMEIDA, E. S. ; MEIRA, S. R. L. ; ALVES, Vander . An Assessment on Technologies for Implementing Core Assets in Service-Oriented Product Lines. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010, Salvador. 4º Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010. p. 95-104.

• ALVES, Vander ; Schneider, D. ; BECKER, M. ; BENCOMO, N. ; GRACE, P. . Comparitive Study of Variability Management in Software Product Lines and Runtime Adaptable Systems. In: Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, 2009, Sevilla. Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems, 2009. p. 9-17.

• ALVES, Vander ; Schwanninger, Christa ; Barbosa, Luciano ; Rashid, Awais ; Sawyer, Peter ; Rayson, Paul ; Pohl, Christoph ; Rummler, Andreas . An Exploratory Study of Information Retrieval Techniques in Domain Analysis. In: 12th International Software Product Line Conference (SPLC´08), 2008, Limerick. Proceedings of the 12th International Software Product Line Conference, IEEE press, 2008. p. 67-76.

• ALVES, Vander ; Camara, Tarcisio ; Alves, Carina . Experiences with Mobile Games Product Line Development at Meantime. In: 12th International Software Product Line Conference (SPLC´08), 2008, Limerick. Proceedings of the 12th International Software Product Line Conference, IEEE press, 2008. p. 287-296.

• KULESZA, U. ; ALVES, Vander ; GARCIA, A. ; COSTA NETO, A. ; CIRILO, E. ; LUCENA, C. J. P. ; BORBA, Paulo . Mapping Features to Aspects: A Model-Based Generative Approach. In: 10th Internacional Workshop On Early Aspects (Early Aspects' 2007), 2007, Vancouver, Canada. Proceedings of the 10th International Workshop on Early Aspects, 2007, 2007. p. 155-174.

• KULESZA, U. ; ALVES, Vander ; GARCIA, A. ; LUCENA, C. J. P. ; BORBA, Paulo . Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. In: 9th International Conference on Software Reuse (ICSR´06), 2006, Turim. Proceedings of the 9th International Conference on Software Reuse, 2006. v. 4039. p. 231-245.

• COELHO, R. ; ALVES, Vander ; KULESZA, U. ; COSTA NETO, A. ; GARCIA, A. ; STAA, A. V. ; LUCENA, C. J. P. ; BORBA, Paulo . On Testing Crosscutting Features using Extension Join Points. In: 3rd International Workshop on Software Product Line Testing (SPLiT 2006), in conjunction with the 10th International Software Product Line Conference, SPLC 2006, 2006, 2006, Baltimore. Workshop at SPLC'06.

• KULESZA, U. ; COELHO, R. ; ALVES, Vander ; COSTA NETO, A. ; GARCIA, A. ; LUCENA, C. J. P. ; STAA, A. V. ; BORBA, Paulo . Implementing Framework Crosscutting Extensions with EJPs and AspectJ. In: ACM SIGSOFT 20th Brazilian Symposium on Software Engineering (SBES´06), 2006, Florianópolis. Proceedings of the 20th Brazilian Symposium on Software Engineering. p. 177-192.

• ALVES, Vander ; SANTOS, G. ; CALHEIROS, F. ; NEPOMUCENO, V. ; PIRES, D. ; COSTA NETO, A. ; BORBA, Paulo . Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines. In: Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, in conjunction with the 10th International Software Product Line Conference, SPLC 2006, 2006, Baltimore. Workshop at SPLC'06. p. 124-132.

• ALVES, Vander ; COSTA NETO, A. ; SOARES, S. ; SANTOS, G. ; CALHEIROS, F. ; NEPOMUCENO, V. ; PIRES, D. ; Leal, J. ; BORBA, Paulo . From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration. In: Proceedings of the 1st Workshop on Aspect-Oriented Product Line Engineering (AOPLE-1), 2006, Portland, USA. 5th International Conference on Generative Programming and Component Engineering (GPCE´06). p. 46-52.

• COSTA NETO, A. ; ALVES, Vander ; BORBA, Paulo . Declaring Static Crosscutting Dependencies in AspectJ. In: Proceedings of the 3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP´06), 2006, Florianópolis. Held as part of the 20th ACM Sigsoft Brazilian Symposium on Software Engineering (SBES´06). p. 121-128.

• Camara, Tarcisio ; LIMA, R. B. V. ; Guimarães, R. F. ; DAMASCENO, Alexandre Luiz ; ALVES, Vander ; SAMPAIO, Pedro Henrique Macêdo ; RAMALHO, Geber . Massive Mobile Games Porting: Meantime Study Case. In: Simpósio Brasileiro de Jogos de Computador e Entretenimento Digital (SBGAMES), 2006, Recife. Anais do Simpósio Brasileiro de Jogos de Computador e Entretenimento Digital, 2006.

• Alves, Vander ; GHEYI, ROHIT ; MASSONI, TIAGO ; Kulesza, Uirá ; BORBA, Paulo ; Lucena, Carlos . Refactoring product lines. In: the 5th international conference, 2006, Portland. Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06, 2006. p. 201-210.

• ALVES, Vander ; CARDIM, Ivan ; VITAL, Heitor ; SAMPAIO, Pedro ; DAMASCENO, Alexandre ; BORBA, Paulo ; RAMALHO, Geber . Comparative Analysis of Porting Strategies in Mobile Device Games. In: 21st IEEE International Conference on Software Maintenance (ICSM'05), 2005, Budapest, Hungary. Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005. p. 123-132.

• ALVES, Vander ; MATOS , Pedro ; COLE, Leonardo ; BORBA, Paulo ; RAMALHO, Geber . Extracting and Evolving Mobile Games Product Lines. In: 9th International Software Product Line Conference (SPLC'05), 2005, Rennes, France. Lecture Notes in Computer Science, 2005. v. 3714. p. 70-81.

• SAMPAIO, Pedro Henrique Macêdo ; DAMASCENO, Alexandre Luiz ; SAMPAIO, Igor Azevedo ; ALVES, Vander ; RAMALHO, Geber ; BORBA, Paulo . Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes. In: III Workshop Brasileiro de Jogos e Entretenimento Digital, 2004, Curitiba, 2004.

• ALVES, Vander . Identifying Variations in Mobile Devices. In: GPCE'04 Young Researchers Workshop, 2004, Vancouver, 2004.

• MASSONI, T. ; ALVES, Vander ; SOARES, S. ; BORBA, Paulo . PDC: The persistent data collections pattern. In: Second Latin American Conference on Pattern Languages of Programming, 2002, Itaipava. SugarLoafPLoP 2002 Proceedings, 2002. p. 311-326.

• ALVES, Vander ; BORBA, Paulo . An implementation method for distributed object-oriented applications. In: XV Brazilian Symposium on Software Engineering, 2001, Rio de Janeiro. XV Brazilian Symposium on Software Engineering, 2001. p. 161-176.

• ALVES, Vander ; BORBA, Paulo . Distributed adapters pattern: A design pattern for object-oriented distributed applications. In: First Latin American Conference on Pattern Languages of Programming, 2001, Rio de Janeiro. Cadernos do IME. Série Informática, 2001. p. 132-142.

• ALVES, Vander ; BORBA, Paulo . A design pattern for distributed applications. In: Brazilian Symposium on Software Engineering, 2000, João Pessoa. Brazilian Symposium on Software Engineering--Minicourses and Tutorials, 2000. v. 1. p. 191-219.

• LANNA, ANDRE ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAINA ; SCHOBBENS, PIERRE-YVES ; APEL, SVEN . Feature-family-based reliability analysis of software product lines. In: the 23rd International Systems and Software Product Line Conference, 2019, Paris. Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC '19, 2019. p. 1.

• Niu, Nan ; Alves, Vander ; Bhowmik, T. . Portability as an aspect: rethinking modularity in mobile game development. In: 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), 2011. Companion Volume of the 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), 2011. p. 3-4.

• SOARES, S. ; CALHEIROS, F. ; NEPOMUCENO, V. ; Menezes, A. ; BORBA, Paulo ; ALVES, Vander . Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool. In: Demonstration Track at OOPSLA 2008 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2008, Nashville. Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA'08, 2008. p. 737-738.

• BORBA, Paulo ; CALHEIROS, F. ; NEPOMUCENO, V. ; Menezes, A. ; SOARES, S. ; ALVES, Vander . FLiP: Product Line DerivationTool. In: Forum Demonstration, 2008, Bruxelas. 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008), 2008.

• ALVES, Vander ; CALHEIROS, F. ; NEPOMUCENO, V. ; Menezes, A. ; SOARES, S. ; BORBA, Paulo . FLiP: Managing Software Product Line Extraction and Reaction with Aspects. In: 12th International Software Product Line Conference, SPLC´08, 2008, Limerick. Proceedings of the 12th International Software Product Line Conference, SPLC´08, 2008. p. 354-354.

• CALHEIROS, F. ; BORBA, Paulo ; SOARES, S. ; NEPOMUCENO, V. ; ALVES, Vander . Product Line Variability Refactoring Tool. In: Proceedings of the 1st Workshop on Refactoring Tools (WRT'07), 2007, Berlin. Held as part of the 21st European Conference on Object-Oriented Programming (ECOOP´07), 2007. p. 33-34.

• ALVES, Vander ; MATOS , Pedro ; BORBA, Paulo . An Incremental Aspect-Oriented Product Line Method for J2ME Game Development. In: Proceedings of the Proceedings of the 1st Workshop on Managing Variabilities Consistently in Design and Code, 2004, Vancouver. 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA´03), 2004.

• ALVES, Vander ; DANTAS, Ayla ; BORBA, Paulo . AOP-Driven Variability in Product Lines of Pervasive Computing Applications. In: Poster Session, 2003, Erfurt. Second International Conference on Generative Programming and Component Engineering (GPCE'03), 2003.

• DANTAS, Ayla ; BORBA, Paulo ; ALVES, Vander . Using Aspects to Structure Small Devices Applications. In: Proceedings of the 1st Workshop on Reuse in Constrained Environments, 2003, Anaheim. 18th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA´03), 2003.

• ALVES, Vander . Quality-aware Dynamic Software Product Lines: the Body Area Network Case. 2015. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2022 - Atual

  Análise de Linha de Produtos de Software Ciente de Evolução, Descrição: Como qualquer sistema de software, as linhas de produtos de software evoluem. Ainda assim, a maioria das técnicas de análise da linha de produtos mais avançadas não consideram este fato e realizam análises novas em cada etapa da evolução. Isto significa que, dependendo do cenário de evolução, os cálculos para partes não afetadas do software são refeitos, obtendo-se os mesmos resultados parciais. Isto desperdiça recursos computacionais, o que é especialmente problemático uma vez que estas análises são frequentemente demoradas, dado, por exemplo, o desafio de lidar com o problema de explosão de estados na verificação automática de modelos agravado com a variabilidade inerente às linhas de produtos.Para tratar esse problema, este projeto de pesquisa propõe um método automático e genérico para realizar análises incrementais de linha de produtos, nas quais os resultados da análise e os artefatos são reutilizados sempre que possível ao longo da história da evolução da linha de produtos. O método aproveita as análises anteriores para armazenar os resultados intermediários de etapas de análise e rastreia cenários de evolução para primitivas computacionais da análise aplicadas a estes artefatos. A análise de impacto resultante facilita reutilizar consistentemente os artefatos de análise anterior e atualizar os afetados pelo cenário de evolução em questão. A avaliação do método considerará a eficiência, o nível de automação para a geração das análises, e a generalidade em termos de aplicabilidade a diferentes tipos análises de linhas de produtos de software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Vander Ramos Alves - Coordenador / Leopoldo Motta Teixeira - Integrante / Bruno Matissek Worm - Integrante / Tayná Larissa Fischer Vieira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2019 - 2021

  Análise Eficiente de Confiabilidade em Linha de Produtos de Software Dinâmicas, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Vander Ramos Alves - Coordenador / André Luiz Peron Martins Lanna - Integrante / CASTRO, THIAGO - Integrante / Tobias Sena - Integrante / Junier Caminha Amorim - Integrante / Leopoldo Motta Teixeira - Integrante / Alexandre Mota - Integrante / Edison Pignaton de Freitas - Integrante / Breno Augusto Fatureto de Bortolli - Integrante / Danilo Raposo Freire Caldas - Integrante / João Vítor Morandi Lemos - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro.

• 2018 - 2022

  Testing Highly Configurable Systems, Descrição: O objetivo deste projeto é investigar, através de estudos experimentais, duas áreas carentes de estudos em Linhas de Produto Software (LPS): seleção de técnicas de teste de regressão e a ocorrência de testes smells. Com as evidências identificadas, soluções serão propostas para projetos de LPS.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Eduardo Santana de Almeida - Coordenador / Pierre-Yves Schobbens - Integrante / Gilles Perrouin - Integrante / Ivan Machado - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

• 2018 - 2019

  Generalization and Mechanized Formalization of Product Line of Software Product Line Analysis Strategies, Descrição: The goal of this project is twofold: 1) generalize an existing theory of reliability analysis of software product lines to other properties; 2) provide mechanized evidence using a proof assistant that different analysis in the theory commute.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Vander Ramos Alves - Coordenador / Leopoldo Teixeira - Integrante / Maxime Cordy - Integrante / Pierre-Yves Schobbens - Integrante / CASTRO, THIAGO - Integrante / APEL, SVEN - Integrante., Financiador(es): Alexander Von Humboldt-Stiftung/Foundation - Auxílio financeiro.

• 2012 - 2013

  Gerenciamento de Variabilidade em Linha de Produtos de Software, Descrição: Este projeto investiga diferentes técnicas que podem ser utilizadas para se alcançar efetivo gerenciamento de variabilidade em linha de produtos de software com qualidade controlada. As técnicas envolvem tanto tempo de ligação estático quanto dinâmico e a qualidade envolve propriedades de dependabilidade como confiabilidade. Estudam-se estratégias baseadas em família e composicional para a análises das linhas de produtos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Vander Ramos Alves - Coordenador / Carina Alves - Integrante / Genaina Nunes Rodrigues - Integrante / Valença, George - Integrante., Número de produções C, T & A: 1

• 2009 - 2012

  Linha de Produtos de Vida Ambiente-Assistida, Descrição: O objetivo de pesquisa é definir o projeto sistemático de Linha Produtos de Software (LPS) considerando explicitamente o requisito não-funcional de dependabilidade. Em particular, esta pesquisa modelará a dependabilidade da LPS e proporá um método para quantificar este requisito nas instâncias da LPS. A pesquisa será direcionada por um problema concreto, em particular, o desenvolvimento de sistemas de detecção e prevenção de emergência no domínio de Vida Ambiente- Assistida.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) . , Integrantes: Vander Ramos Alves - Coordenador / Paula Gabriela de Medeiros Fernandes - Integrante / Genaina Nunes Rodrigues - Integrante / Vinícius Uriel Nunes - Integrante / Anderson Herzogenrath da Costa. - Integrante / Marco Antônio Marques Pinheiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

• 2008 - 2009

  EMERGE - Emergency Monitoring and Prevention, Descrição: The goal of EMERGE is to improve emergency assistance through early detection and proactive prevention, as well as unobtrusive sensing. As a consequence, quality of life for elderly people will increase and costs for emergency medical service can be leveraged for the elderly as well as for society. The main innovation of EMERGE is to provide a model for recurring behaviours and experiences of elderly people following a holistic approach in order to detect deviations from their typical behaviour and to reason on acute disorders in their health condition. Participating partners: Fraunhofer IESE, Siemens Corporate Technology, Westpfalz Klinikum, e-ISOTIS, Bay Zoltan, Art of Technology, European Microsoft Innovation Center, National Research Centre Demokritos, Medical University of Graz. Project URL: http://www.emerge-project.eu/. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Martin Becker - Integrante / Thomas Kleinberger - Integrante / Dieter Rombach - Coordenador / Michael Berger - Integrante / Christian Madler - Integrante / Géza Gordos - Integrante / Etienne Hirt - Integrante / Frank Siegemund - Integrante / Stelios C. A. Thomopoulos - Integrante., Financiador(es): European Commission - Auxílio financeiro.

• 2008 - 2008

  BelAmI - Bilateral German-Hungarian Collaboration Project on Ambient Intelligence Systems, Descrição: The BelAmI project aims at developing innovative technologies and system development methods in the area of Ambient Intelligence. This goal is to be reached by 1) making use of the complementary expertise of the researchers in the participating institutions; 2) finding solutions to research challenges in problems characteristic to the field of Ambient Intelligence; 3) demonstrating these solutions in real life application scenarios; 4) producing application systems for the industry. Participating partners: Fraunhofer IESE, Bay Zoltan, Budapest University, University of Kaiserslautern, University of Szeged. Project URL: http://www.belami-project.org/. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Martin Becker - Integrante / Thomas Kleinberger - Integrante / Dieter Rombach - Coordenador / Géza Gordos - Integrante / Juergen Nehmer - Integrante., Financiador(es): German Federal Ministry of Education and Research - Auxílio financeiro.

• 2006 - 2008

  AMPLE - Aspect-Oriented, Model-Driven Product Line Engineering, Descrição: The aim of AMPLE is to provide a Software Product Line (SPL) development methodology that offers improved modularisation of variations, their holistic treatment across the software lifecycle and maintenance of their (forward and backward) traceability during SPL evolution. Currently, there is a big gap between research in requirements analysis, architectural modelling and implementation technology, and the industrial practice in SPL engineering. Furthermore, the focus tends to be on the design and code level when variations need to be identified, managed and analysed from the very early stage of requirements engineering. Architecture models are related to requirements models in an ad-hoc fashion and implementation tends to rely on pre-processors which are inadequate substitute for proper programming language support for variability. Nor is there any systematic traceability framework for relating variations across a SPL engineering lifecycle. Instituições Participantes: Lancaster University, Universidade Nova de Lisboa, Darmstadt University, Ecoles de Mines de Nantes, University of Twente, Universidad de Malaga, HOLOS, SAP, e SIEMENS. http://www.ample-project.net/. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Alessandro Garcia - Integrante / Christa Schwanninger - Integrante / Awais Rashid - Coordenador / Christoph Pohl - Integrante / Ana Moreira - Integrante / Mira Mezini - Integrante / Mehmet Aksit - Integrante / Jean-Claude Royer - Integrante / Lidia Fuentes - Integrante / Rita Ribeiro - Integrante., Financiador(es): European Comission - Auxílio financeiro.

• 2006 - 2007

  FLiP - Ferramentas para Linhas de Produtos de Jogos Móveis, Descrição: Este projeto tem como objetivo o desenvolvimento de ferramentas de apoio ao processo de desenvolvimento de "linhas de produtos" para jogos móveis com o intuito de facilitar o porte (adaptação) deste tipo de aplicação à enorme variedade de aparelhos celulares existentes. Estas ferramentas ajudarão, portanto, a aumentar, via um reuso mais sistemático do código, a produtividade das empresas brasileiras que desenvolvem jogos móveis, diminuindo a barreira de entrada destas a um mercado muito competitivo, especialmente no exterior onde a variedade de telefones disponíveis é ainda maior. Além disso, tais ferramentas poderão habilitar as empresas nacionais a oferecer serviços de outsourcing para porte de jogos de outras empresas internacionais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Paulo Borba - Coordenador / Sergio Castelo Branco Soares - Integrante / Geber Ramalho - Integrante / Alberto Costa Neto - Integrante., Financiador(es): Centro de Estudos e Sistemas Avançados do Recife - Cooperação / Meantime Desenvolvimento e Exportação de Software - Cooperação / Universidade Federal da Bahia - Cooperação / Universidade Federal de Pernambuco - Cooperação / Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2005 - 2007

  Investigando o Desenvolvimento de Aplicações Móveis em Linhas de Produto, Descrição: Neste projeto investigaremos ferramentas inovadoras que contribuirão para gerenciar (através da visualização, configuração, e análise das propriedades das variações), compor (através de orientação a aspectos, transformação de programas e programação gerativa, além das técnicas tradicionais de orientação a objetos), e derivar (através de técnicas de refactoring e análise estática de código) linhas de produtos a partir de versões de um sistema desenvolvidas sem esta preocupação. Estas ferramentas permitirão um gerenciamento eficaz das variantes de uma aplicação móvel e de sua adaptação a diferentes dispositivos, otimizando o resultado de acordo com as restrições destes. Algumas das técnicas mencionadas acima são bastante recentes e só agora começam a surgir esforços para integrá-las, como o uso de aspectos para introduzir as variações em uma linha de produtos. Isto confere um caráter inovador a este projeto. De fato, a integração e automação parcial destas técnicas requerem estudos profundos que já estão sendo realizados por pesquisadores do CIn-UFPE.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Paulo Borba - Integrante / Geber Ramalho - Integrante / Alberto Costa Neto - Integrante / Rodrigo Bonifácio de Almeida - Integrante / Andre Luís de Medeiros Santos - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2003 - 2004

  Variações em Linhas de Produtos de Software Usando Programação Orientada a Aspectos, Descrição: Este projeto de pesquisa visa explorar o uso de técnicas baeadas em programação orientada a aspectos a fim de se configurar a arquitetura genérica de uma linha de produto de software na instanciação de um produto específico. Com isso, espera-se ganhos em produtividade do processo de desenvolvimento e da qualidade dos produtos de software gerados.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Paulo Borba - Coordenador / Pedro Osandy Alves Matos Júnior - Integrante / Ivan Cardim - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.

• 2002 - 2004

  Implementação Progressiva de Aplicações Ubíquas Adaptáveis, Descrição: Visando oferecer suporte ao desenvolvimento de software adaptável, com níveis de produtividade e qualidade adequados para as necessidades do mercado, neste projeto de pesquisa pretendemos definir e validar um processo para a implementação de aplicações ubíquas adaptáveis. Este é o principal desafio deste projeto, já que tradicionalmente tem-se dado mais atenção ao desenvolvimento de software reusável e extensível, que facilita as mudanças estáticas, realizadas no código pelo programador, como parte das atividades de manutenção do sistema. Em particular, o processo a ser definido deve suportar uma abordagem progressiva para implementação, de forma que o código que implementa as políticas e procedimentos de instalações e atualizações dinâmicas não seja inicialmente considerado na implementação, mas seja gradualmente introduzido, preservando os requisitos funcionais da aplicação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Paulo Borba - Coordenador / Sergio Castelo Branco Soares - Integrante / Ayla Dantas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2000 - 2002

  Implementação Progressiva de Aplicações Orientadas a Objetos Complexas, Descrição: Neste projeto pretendemso definir e validar um método para a implementação de aplicações orientadas a objetos complexas. Em particular, este método deve suportar uma abordagem progressiva para implementação orientada a objetos, de forma que aspectos de distribuição, concorrência, e persistência não sejam inicialmente considerados pelo processo de implementação, mas sejam gradualmente introduzidos, preservando os requisitos funcionais da aplicação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vander Ramos Alves - Integrante / Paulo Borba - Coordenador / Tiago Massoni - Integrante / Sergio Castelo Branco Soares - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios