Thiago Rocha Silva

Thiago Rocha Silva é atualmente Marie Sklodowska-Curie (MSCA) Research Fellow no Lero, the Science Foundation Ireland Research Centre for Software na University of Limerick (UL, Irlanda). Thiago é doutor em Ciência da Computação pela Université Toulouse III - Paul Sabatier (UPS, França) com pós-doutorado na Norwegian University of Science and Technology (NTNU, Noruega). Foi pesquisador visitante no GRACE Center do National Institute of Informatics (NII) em Tóquio no Japão, e na equipe SWAT (Software Analysis and Transformation) do Centrum Wiskunde & Informatica (CWI) em Amsterdam na Holanda. Foi professor em diversos cursos de graduação e pós-graduação em computação no Brasil entre 2007 e 2014. Por mais de 5 anos também atuou na indústria como engenheiro de software, trabalhando com desenvolvimento de sistemas para governo eletrônico no Brasil. Seus interesses atuais de pesquisa concentram-se em Engenharia de Software e Interação Humano-Computador, particularmente em temas relacionados ao desenvolvimento de software centrado no usuário incluindo práticas ágeis para engenharia de requisitos e teste de software.

Informações coletadas do Lattes em 09/06/2025

Acadêmico

Formação acadêmica

Doutorado em Informatique

2014 - 2018

Université Toulouse III Paul Sabatier
Título: A Behavior-Driven Approach for Specifying and Testing User Requirements in Interactive Systems
Orientador: Marco Antônio Alba Winckler
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Behaviour-Driven Development (BDD); User Stories; Automated Requirements Assessment; Ontological Modeling; Scenario-Based Design; User Interface Design Artifacts. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Interação Humano-Computador.

Mestrado em Ciências da Computação

2007 - 2009

Universidade Federal de Minas Gerais
Título: XPu: uma extensão do método XP visando à usabilidade,Ano de Obtenção: 2009
Clarindo Isaías Pereira da Silva e Pádua.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Engenharia de Usabilidade; Métodos Ágeis.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Interação Humano-Computador.

Especialização em Engenharia de Software

2010 - 2012

Universidade Federal do Rio Grande do Sul
Título: Desenvolvimento Orientado a Comportamento: uma proposta de aplicação prática
Orientador: Marcelo Soares Pimenta

Graduação em Sistemas de Informação

2003 - 2006

Universidade Estadual de Montes Claros

Pós-doutorado

2018 - 2019

Pós-Doutorado. , Norwegian University of Science and Technology, NTNU, Noruega. , Bolsista do(a): European Research Consortium for Informatics and Mathematics, ERCIM, França. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Interação Humano-Computador.

Formação complementar

2020 -

Universal Design for Learning (UDL). , University College Dublin, UCD, Irlanda.

2020 - 2020

Project Management for Researchers. , Trinity College Dublin, TCD, Irlanda.

2020 - 2020

Scholarly Communications. , University of Limerick, UL, Irlanda.

2019 - 2019

Research Commercialisation. , National Digital Research Centre, NDRC, Irlanda.

2019 - 2019

Team-Based Learning (TBL). , Norwegian University of Science and Technology, NTNU, Noruega.

2017 - 2017

Introduction to Gesture Interaction. , Université Toulouse III Paul Sabatier, UPS, França.

2010 - 2010

TDD com Java. , Maré de Agilidade, MA, Brasil.

2010 - 2010

Gestão Ágil de Projetos com Scrum. , Maré de Agilidade, MA, Brasil.

2010 - 2010

Arquiteturas Ágeis. , Maré de Agilidade, MA, Brasil.

2008 - 2008

Gerenciamento Ágil de Projetos com Scrum. , Simpósio Brasileiro de Qualidade de Software, SBQS, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Interação Humano-Computador.

Organização de eventos

SILVA, T. R. ; MATOS, C. M. ; VILELA, G. B. ; FREITAS, J. E. ; MAIA, R. D. ; MENDES, J. B. ; VELOSO, R. R. ; MIRANDA, W. . I Semana de Sistemas de Informação - Unimontes. 2006. (Congresso).

SILVA, T. R. ; MATOS, C. M. ; VILELA, G. B. ; FREITAS, J. E. ; MAIA, R. D. ; MENDES, J. B. ; VELOSO, R. R. ; MIRANDA, W. . III Fórum Regional de Informática. 2006. (Congresso).

Participação em eventos

11th ACM / SPEC International Conference on Performance Engineering (ICPE). 2020. (Congresso).

13th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE). 2020. (Oficina).

14th International Conference on Software and Systems Process (ICSSP). 2020. (Congresso).

15th IEEE/ACM International Conference on Global Software Engineering (ICGSE). 2020. (Congresso).

21st International Conference on Product-Focused Software Process Improvement (PROFES). 2020. (Congresso).

32nd International Conference on Advanced Information Systems Engineering (CAiSE). 2020. (Congresso).

39th International Conference on Conceptual Modeling (ER). 2020. (Congresso).

42nd International Conference on Software Engineering (ICSE). 2020. (Congresso).

4th International Workshop on Refactoring (IWoR). 2020. (Oficina).

5th International Workshop on Emotion Awareness in Software Engineering (SEmotion). 2020. (Oficina).

6th International Workshop on Rapid Continuous Software Engineering (RCoSE). 2020. (Oficina).

8th International Conference on Human-Centered Software Engineering (HCSE). 2020. (Congresso).

ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 2020. (Simpósio).

European Joint Conferences on Theory and Practice of Software (ETAPS). 2020. (Congresso).

ICSE New Faculty Symposium. 2020. (Simpósio).

International Symposium on Empirical Software Engineering and Measurement (ESEM). 2020. (Simpósio).

Lero Summit. 2020. (Encontro).

XXIII Ibero-American Conference on Software Engineering (CIbSE). 2020. (Congresso).

13th Annual Irish HCI Conference (iHCI). Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach. 2019. (Congresso).

17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT). Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach. 2019. (Congresso).

19th International Conference on Computational Science and its Applications (ICCSA). Ensuring the Consistency Between User Requirements and Graphical User Interfaces: A Behavior-Based Automated Approach. 2019. (Congresso).

2019 Symposium of the Norwegian AI Society (NAIS). 2019. (Simpósio).

Catch IDI - Norwegian University of Science and Technology. 2019. (Seminário).

Seminar on Software Engineering, AI and Ethics. 2019. (Seminário).

The 31st International Conference on Software Engineering and Knowledge Engineering. Extending Behavior-Driven Development for Assessing User Interface Design Artifacts (S). 2019. (Congresso).

2017 IEEE 11th International Conference on Semantic Computing (ICSC). A Behavior-Based Ontology for Supporting Automated Assessment of Interactive Systems. 2017. (Congresso).

XVI Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC).A Scenario-Based Approach for Checking Consistency in User Interface Design Artifacts. 2017. (Simpósio).

2016 IEEE 24th International Requirements Engineering Conference (RE). Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. 2016. (Congresso).

22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ). 2016. (Congresso).

2nd Workshop on Continuous Requirements Engineering (CRE).Towards Automated Requirements Checking Throughout Development Processes of Interactive Systems. 2016. (Oficina).

Doctoral Symposium - 2016 IEEE 24th International Requirements Engineering Conference (RE).Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. 2016. (Simpósio).

IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016. Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development. 2016. (Congresso).

General Meeting - Reliable Software Development Group.Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. 2014. (Encontro).

2a. Conferência Web W3C Brasil. 2010. (Congresso).

I Workshop sobre Ensino de IHC (WEIHC). 2010. (Oficina).

IX Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC). 2010. (Simpósio).

VII Simpósio Brasileiro de Sistemas Colaborativos (SBSC). 2010. (Simpósio).

V Maré de Agilidade. 2010. (Encontro).

XVI Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia). 2010. (Simpósio).

XXV Simpósio Brasileiro de Banco de Dados (SBBD). 2010. (Simpósio).

III Workshop de Desenvolvimento Rápido de Aplicações (WDRA).XPu: caracterização de agilidade para uma abordagem ágil visando à usabilidade. 2009. (Oficina).

Semana de Seminários do Programa de Pós-Graduação em Ciência da Computação (PPGCC) da UFMG.XPu: uma extensão do método XP visando à usabilidade. 2009. (Seminário).

VIII Simpósio Brasileiro de Qualidade de Software (SBQS). 2009. (Simpósio).

II Workshop de Desenvolvimento Rápido de Aplicações (WDRA).Avaliação Heurística de Usabilidade do Processo Ágil XP. 2008. (Oficina).

VII Simpósio Brasileiro de Qualidade de Software (SBQS). 2008. (Simpósio).

Workshop do Curso de Sistemas de Informação - FABRAI. 2008. (Oficina).

Ciclo de Palestras Synergia - UFMG. 2007. (Seminário).

Participação em bancas

Aluno: Fernando José da Silva Mota

SILVA, T. R.; LIMA FILHO, H. S.; FERREIRA, L. N.. Tecnologia 3D - Realidade Virtual e suas aplicações. 2010. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Ulisses Araújo

SILVA, T. R.; DIAS, S. R.; FERREIRA, L. N.. Uma interface web alternativa para a ferramenta LSQKAB. 2010. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Rogério Rosendo Lopes

SILVA, T. R.; FERREIRA, L. N.; BICALHO, D. R.. Tecnologia musical: a utilização dos instrumentos virtuais. 2009. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Diêgo Feldner

SILVA, T. R.; BICALHO, D. R.; FERREIRA, L. N.. Utilização de eventos e métodos assíncronos em ambiente .NET. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas para Internet) - Faculdade Anhanguera de Belo Horizonte.

Aluno: William Firmo Vieira

SILVA, T. R.; BICALHO, D. R.; FERREIRA, L. N.. A importância da implantação e gerenciamento da atividade de testes em uma organização de software. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas para Internet) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Luana Cristina da Silva

SILVA, T. R.; VARGAS, R. M.; BICALHO, D. R.. Qualidade de Software com ênfase em Teste de Software. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Juliano Fágner Soares Mourão

SILVA, T. R.; VARGAS, R. M.; SOUZA, E. E.. Otimização da Engenharia Clínica através do Sistema GOP. 2009. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Jordana de Freitas Marques Barbosa

SILVA, T. R.; GUSMAO, Z. S.; DIAS, S. R.. Estudo de ferramentas de apoio a processos de negócio. 2008. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Marcelus Rezende Teixeira

SILVA, T. R.; GUSMAO, Z. S.; DIAS, S. R.. Ferramenta para gerenciamento de custo e prazo de desenvolvimento de um software. 2008. Trabalho de Conclusão de Curso (Graduação em Sistemas para Internet) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Amanda de Castro Magalhães dos Santos

SILVA, T. R.; GUSMAO, Z. S.; DIAS, S. R.. Gerenciamento de projetos utilizando práticas do PMBOK e do eXtreme Programming: um estudo de caso. 2008. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Plínio Silva Viana

SILVA, T. R.; GUSMAO, Z. S.; DIAS, S. R.. Sistema para controle de títulos a pagar com digitalização eletrônica de documentos. 2008. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Aluno: Vinícius Lara Sgorlon da Silva

SILVA, T. R.; GUSMAO, Z. S.; DIAS, S. R.. Manutenção de software: uma comparação entre a teoria e a prática. 2008. Trabalho de Conclusão de Curso (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte.

Orientou

Thomas Kiely

Automated Assessment of Domain Models Using BDD Story Parsing; Início: 2020; Trabalho de Conclusão de Curso (Graduação em Computer Systems) - University of Limerick; (Orientador);

Vishal Shankar Poojary

Leveraging Domain-Specific Languages to Support the Specification of Consistent and Testable User Requirements; 2020; Dissertação (Mestrado em Software Engineering) - University of Limerick,; Orientador: Thiago Rocha Silva;

Áurea Iamara Fernandes Pereira

Implementação do nível C do MPS; Br utilizando métodos ágeis na empresa Powerlogic; 2011; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdade Anhanguera de Belo Horizonte; Orientador: Thiago Rocha Silva;

Mateus Vinícius Alves Guimarães

Melhorando o processo de qualidade de software através da Análise de Não Conformidades em projetos da Spress Software; 2011; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdade Anhanguera de Belo Horizonte; Orientador: Thiago Rocha Silva;

Alípio José Machado

Estudo de Caso do processo de implantação na Nota Fiscal Eletrônica utilizando SAP R/3 na empresa Cialne; 2011; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte; Orientador: Thiago Rocha Silva;

Andrezza Iris Coelho Aredes

Utilização do modelo de referência ITIL no gerenciamento de serviços de TI: um estudo de caso; 2010; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Faculdade Anhanguera de Belo Horizonte; Orientador: Thiago Rocha Silva;

Produções bibliográficas

  • SILVA, T. R. ; WINCKLER, M. A. A. ; TRTTEBERG, H. . Ensuring the Consistency between User Requirements and Task Models: A Behavior-Based Automated Approach. Proceedings of the ACM on Human-Computer Interaction , v. 4, p. 1-32, 2020.

  • ROCHA SILVA, THIAGO ; WINCKLER, MARCO ; BACH, CÉDRIC . Evaluating the usage of predefined interactive behaviors for writing user stories: an empirical study with potential product owners. Cognition Technology & Work , v. 22, p. 437-457, 2020.

  • Silva, Thiago Rocha ; HAK, JEAN-LUC ; WINCKLER, MARCO ; NICOLAS, OLIVIER . A Comparative Study of Milestones for Featuring GUI Prototyping Tools. JOURNAL OF SOFTWARE ENGINEERING AND APPLICATIONS , v. 10, p. 564-589, 2017.

  • Silva, Thiago Rocha ; HAK, JEAN-LUC ; WINCKLER, MARCO . A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces. International Journal of Semantic Computing , v. 11, p. 513-539, 2017.

  • ROCHA SILVA, THIAGO ; HAK, JEAN-LUC ; WINCKLER, MARCO . An Approach for Multi-Artifact Testing Through an Ontological Perspective for Behavior-Driven Development. Complex Systems Informatics and Modeling Quarterly , v. 1, p. 81-107, 2016.

  • Valente, Pedro ; Silva, Thiago ; WINCKLER, MARCO ; Nunes, Nuno . The Goals Approach: Agile Enterprise Driven Software Development. Lecture Notes in Information Systems and Organisation. 1ed.: Springer International Publishing, 2017, v. 22, p. 201-219.

  • Silva, Thiago ; WINCKLER, MARCO ; TRTTEBERG, HALLVARD . Extending Behavior-Driven Development for Assessing User Interface Design Artifacts (S). In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Lisboa. Pittsburgh, USA: KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. p. 485-488.

  • SILVA, T. R. ; WINCKLER, M. A. A. ; TRTTEBERG, H. . Ensuring the Consistency between User Requirements and Graphical User Interfaces: A Behavior-Based Automated Approach. In: 19th International Conference on Computational Science and its Applications (ICCSA), 2019, São Petersburgo. Proceedings of the 19th International Conference on Computational Science and its Applications (ICCSA), 2019. v. 11619. p. 616-632.

  • SILVA, T. R. ; WINCKLER, M. A. A. ; TRTTEBERG, H. . Ensuring the Consistency between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach. In: 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT), 2019, Paphos. Proceedings of the 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT), 2019. v. 11746. p. 644-665.

  • Silva, Thiago Rocha ; HAK, JEAN-LUC ; WINCKLER, MARCO . A Behavior-Based Ontology for Supporting Automated Assessment of Interactive Systems. In: 2017 IEEE 11th International Conference on Semantic Computing (ICSC), 2017, San Diego. 2017 IEEE 11th International Conference on Semantic Computing (ICSC), 2017. p. 250-257.

  • Silva, Thiago Rocha ; WINCKLER, MARCO . A Scenario-Based Approach for Checking Consistency in User Interface Design Artifacts. In: the XVI Brazilian Symposium, 2017, Joinville. Proceedings of the XVI Brazilian Symposium on Human Factors in Computing Systems - IHC 2017. New York: ACM Press, 2017. p. 1-30.

  • VALENTE, P. ; SILVA, T. R. ; WINCKLER, M. A. A. ; NUNES, N. . The Goals Approach: Agile Enterprise Driven Software Development. In: 25th International Conference on Information Systems Development (ISD), 2016, Katowice. Information Systems Development: Complexity in Information Systems Development (ISD2016 Proceedings), 2016. p. 247-259.

  • Silva, Thiago Rocha . Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. In: 2016 IEEE 24th International Requirements Engineering Conference (RE), 2016, Beijing. 2016 IEEE 24th International Requirements Engineering Conference (RE). p. 444-449.

  • VALENTE, P. ; SILVA, T. R. ; WINCKLER, M. A. A. ; NUNES, N. . Bridging Enterprise and Software Engineering Through an User-Centered Design Perspective. In: 17th International Conference on Web Information Systems Engineering (WISE), 2016, Shanghai. Proceedings of the 17th International Conference on Web Information Systems Engineering (WISE), 2016. v. 10042. p. 349-357.

  • SILVA, T. R. ; HAK, J. L. ; WINCKLER, M. A. A. . Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development. In: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, 2016, Stockholm. Human-Centered and Error-Resilient Systems Development, 2016. v. 9856. p. 86-107.

  • VALENTE, P. ; SILVA, T. R. ; WINCKLER, M. A. A. ; NUNES, N. . The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering. In: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, 2016, Stockholm. Human-Centered and Error-Resilient Systems Development, 2016. v. 9856. p. 261-280.

  • SILVA, T. R. ; HAK, J. L. ; WINCKLER, M. A. A. . A Review of Milestones in the History of GUI Prototyping Tools. In: IFIP WG 13.2 Workshop on User Experience and User-Centered Development Processes, 2015, Bamberg. Adjunct Proceedings of the 15th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT). Bamberg: University of Bamberg Press, 2015. v. 22. p. 267-279.

  • SILVA, T. R. ; AVILA, S. E. F. . Um algoritmo robusto ao aumento de escala em estego-imagens marcadas com a técnica LSB. In: Escola Regional de Informática - Regional Norte I (ERIN), 2009, Manaus. Anais da I Escola Regional de Informática (ERIN), 2009.

  • SILVA, T. R. ; PADUA, C. I. P. S. ; RESENDE, R. S. F. . XPu: caracterização de agilidade para uma abordagem ágil visando à usabilidade. In: III Workshop de Desenvolvimento Rápido de Aplicações (WDRA), 2009, Ouro Preto. Anais do VIII Simpósio Brasileiro de Qualidade de Software (SBQS), 2009.

  • SILVA, T. R. ; PADUA, C. I. P. S. . XPu: uma extensão do método XP visando à usabilidade. In: XXXV Conferência Latinoamericana de Informática (CLEI), 2009, Pelotas. Anais da XXXV Conferência Latinoamericana de Informática (CLEI), 2009.

  • SILVA, T. R. ; SILVA, R. E. ; PADUA, C. I. P. S. . Avaliação Heurística de Usabilidade do Processo Ágil XP. In: II Workshop de Desenvolvimento Rápido de Aplicações (WDRA), 2008, Florianópolis. Anais do VII Simpósio Brasileiro de Qualidade de Software (SBQS), 2008.

  • SILVA, T. R. ; WINCKLER, M. A. A. . Towards Automated Requirements Checking Throughout Development Processes of Interactive Systems. In: 2nd Workshop on Continuous Requirements Engineering (CRE), 2016, Gothenburg. Joint Proceedings of the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), 2016. v. 1564.

  • SILVA, T. R. . XPu: uma extensão do método XP visando à usabilidade. In: Semana de Seminários do Programa de Pós-Graduação em Ciência da Computação da UFMG, 2009, Belo Horizonte. Anais da Semana de Seminários do PPGCC - UFMG, 2009.

  • SILVA, T. R. ; FITZGERALD, B. . Parsing BDD Stories for Automated Verification of Software Artefacts. ELECTRONIC COMMUNICATIONS OF THE EASST , 2020.

  • SILVA, T. R. . Ensuring the Consistency Between User Requirements and Graphical User Interfaces: A Behavior-Based Automated Approach. 2019. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach. 2019. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . Extending Behavior-Driven Development for Assessing User Interface Design Artifacts (S). 2019. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach. 2019. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . A Behavior-Based Ontology for Supporting Automated Assessment of Interactive Systems. 2017. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . A Scenario-Based Approach for Checking Consistency in User Interface Design Artifacts. 2017. (Apresentação de Trabalho/Simpósio).

  • SILVA, T. R. . Towards Automated Requirements Checking Throughout Development Processes of Interactive Systems. 2016. (Apresentação de Trabalho/Simpósio).

  • SILVA, T. R. . Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. 2016. (Apresentação de Trabalho/Simpósio).

  • SILVA, T. R. . Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. 2016. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . Testing Prototypes and Final User Interfaces Through an Ontological Perspective for Behavior-Driven Development. 2016. (Apresentação de Trabalho/Congresso).

  • SILVA, T. R. . Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems. 2014. (Apresentação de Trabalho/Seminário).

  • SILVA, T. R. . XPu: caracterização de agilidade para uma abordagem ágil visando à usabilidade. 2009. (Apresentação de Trabalho/Simpósio).

  • SILVA, T. R. . XPu: uma extensão do método XP visando à usabilidade. 2009. (Apresentação de Trabalho/Seminário).

  • SILVA, T. R. . Avaliação Heurística de Usabilidade do Processo Ágil XP. 2008. (Apresentação de Trabalho/Simpósio).

  • SILVA, T. R. . A Behavior-Driven Approach for Specifying and Testing User Requirements in Interactive Systems 2018 (Tese de Doutorado).

  • SILVA, T. R. . Desenvolvimento Orientado a Comportamento: uma proposta de aplicação prática 2012 (Monografia).

  • SILVA, T. R. . XPu: uma extensão do método XP visando à usabilidade 2009 (Dissertação de Mestrado).

  • SILVA, T. R. ; PADUA, C. I. P. S. . Requisitos para processos de personalização do XP sob a perspectiva do CMMI para as áreas de gerência e desenvolvimento dos requisitos 2007 (Artigo não publicado).

  • SILVA, T. R. ; SILVA, A. L. ; TORRES, J. A. . Uma análise de elementos de modelagem BPMN e UML para modelagem de processos de negócio baseada em padrões de workflow 2007 (Artigo não publicado).

  • SILVA, T. R. ; ALVES, A. V. . Comparação entre os métodos de base semiótica no domínio educacional 2007 (Artigo não publicado).

  • SILVA, T. R. . Análise, projeto e implantação de um protótipo de diário de classe eletrônico como módulo de um sistema acadêmico web 2006 (Monografia).

Outras produções

SILVA, T. R. . Membro do Comitê de Programa, Late-Breaking Works, ACM CHI Conference on Human Factors in Computing Systems (CHI 2021). 2021.

SILVA, T. R. . Associate Chair, Late-Breaking Works, ACM CHI Conference on Human Factors in Computing Systems (CHI 2021). 2021.

SILVA, T. R. . Associate Chair, Papers and Pictorials, ACM Designing Interactive Systems (DIS 2021). 2021.

SILVA, T. R. . Membro do Comitê de Programa, Papers and Pictorials, ACM Designing Interactive Systems (DIS 2021). 2021.

SILVA, T. R. . Membro do Comitê de Programa, Late-Breaking Works, ACM CHI Conference on Human Factors in Computing Systems (CHI 2020). 2020.

SILVA, T. R. . Associate Chair, Late-Breaking Works, ACM CHI Conference on Human Factors in Computing Systems (CHI 2020). 2020.

SILVA, T. R. . Membro do Comitê de Programa, Trilha de Ideias Inovadoras e Resultados Emergentes, XXXIV Simpósio Brasileiro de Engenharia de Software (SBES 2020). 2020.

SILVA, T. R. . Membro do Comitê de Programa, Competição de Design, XVIII Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2019). 2019.

SILVA, T. R. . Membro do Comitê de Programa, X Workshop de Aspectos da Interação Humano-Computador na Web Social (WAIHCWS'19). 2019.

SILVA, T. R. . Membro do Comitê de Programa, IX Workshop de Aspectos da Interação Humano-Computador na Web Social (WAIHCWS'18). 2018.

SILVA, T. R. . Membro do Comitê de Programa, Artigos Completos e Resumidos, XVI Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2017). 2017.

SILVA, T. R. . Membro do Comitê de Programa, Competição de Design, XVI Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2017). 2017.

SILVA, T. R. . Membro do Comitê de Programa, Fórum dos Grupos de Pesquisa, XVI Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2017). 2017.

SILVA, T. R. . Sistema de Gerenciamento de Cursos - SGC. 2006.

SILVA, T. R. . Portal CCET - Unimontes. 2005.

SILVA, T. R. ; FELIPE JÚNIOR, J. . Gerenciamento de Estágios - CAE. 2004.

SILVA, T. R. ; WINCKLER, M. A. A. . A Behavior-Driven Approach for Specifying and Testing User Requirements in Interactive Systems. 2018.

SILVA, T. R. ; PADUA, C. I. P. S. . XPu: eXtreme Programming with usability. 2009.

SILVA, T. R. . Towards a refined solution for assessing task models through a scenario-based approach. 2018.

SILVA, T. R. . ESCENA: Engineering Scenario-Based Requirements for Ensuring Automated Assessment of Interactive Systems. 2018.

SILVA, T. R. . Extending Behavior-Driven Development to Investigate Assessment Opportunities for Conceptual Modeling Artifacts. 2018.

SILVA, T. R. . Engineering User Requirements for Ensuring Automated Assessment of Interactive Systems. 2018.

SILVA, T. R. . Aphrodite: principes agiles et concepts centrés sur l'homme intégrés au développement et à l'évaluation de systèmes interactifs axés sur l'utilisabilité et l'expérience de l'utilisateur. 2017.

SILVA, T. R. . Definição de um modelo orientado a comportamento para especificação de requisitos e testes em sistemas interativos. 2013.

SILVA, T. R. . Desenvolvimento Orientado a Comportamento: uma proposta de aplicação prática. 2011.

SILVA, T. R. . Definição de um processo de usabilidade integrado ao processo de desenvolvimento de software baseado em Extreme Programming. 2007.

Projetos de pesquisa

  • 2019 - Atual

    Engineering User Requirements for Ensuring Automated Assessment of Interactive Systems, Descrição: This project aims to explore new perspectives for specifying executable user requirements through a Domain-Specific Language (DSL) for interactive systems. This DSL must be able to define domain-specific behaviors in a business-readable natural language grammar allowing the automated assessment of user interfaces and their related model-based design artifacts with little effort from development teams. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Thiago Rocha Silva - Coordenador / Brian Fitzgerald - Integrante., Financiador(es): European Commission - Auxílio financeiro / Science Foundation Ireland - Auxílio financeiro., Número de produções C, T & A: 3 / Número de orientações: 2

  • 2018 - 2019

    Extending Behavior-Driven Development to Investigate Assessment Opportunities for Conceptual Modeling Artifacts, Descrição: The aim of this project is to investigate how we can extend our previously developed approach based on Behavior-Driven Development (BDD) for automating the assessment of conceptual modeling artifacts. Secondary goals include investigating whether model-driven development (MDD) techniques could benefit from this approach once it is expected we could also generate testable user requirements from consistent both conceptual and workflow-based models. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Thiago Rocha Silva - Coordenador / Hallvard Trtteberg - Integrante., Financiador(es): European Research Consortium for Informatics and Mathematics - Auxílio financeiro., Número de produções C, T & A: 7

  • 2014 - 2018

    Definition of a Behavior-Driven Model for Requirements Specification and Testing of Interactive Systems, Descrição: The project aimed to define an approach based on Behavior-Driven Development (BDD) to support the automated assessment of artifacts along the development process of interactive systems. In order to prevent that test should be written to every type of artifact, we investigated the use of ontologies for specifying the test once and then run it in all artifacts sharing the ontological concepts. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Thiago Rocha Silva - Integrante / Marco Antônio Alba Winckler - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 31

  • 2010 - 2012

    Desenvolvimento Orientado a Comportamento: uma proposta de aplicação prática, Descrição: O objetivo principal do projeto é propor a aplicação dos conceitos de Desenvolvimento Orientado a Comportamento (BDD) no contexto do desenvolvimento de projetos de software de uma empresa pública estatal, propondo melhorias ao processo interno da empresa. Para tanto, um estudo de caso é apresentado demonstrando como BDD foi adotado em um projeto específico e quais foram as melhorias observadas. O projeto também envolve a análise do impacto das práticas sugeridas no mecanismo de trabalho diário dos envolvidos e quais seriam as limitações decorrentes de restrições contratuais com clientes. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Thiago Rocha Silva - Integrante / Marcelo Soares Pimenta - Coordenador., Financiador(es): Serviço Federal de Processamento de Dados - Remuneração., Número de produções C, T & A: 1

  • 2007 - 2009

    Projeto MAP, Descrição: O projeto envolve análise, pesquisa e desenvolvimento de um sistema de Business Intelligence (BI) para apoio às atividades gerenciais do Programa Saúde da Família (PSF). Utilização de técnicas de análises estatísticas espaciais, data warehouse, mineração de dados e modelagem multi-dimensional. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) . , Integrantes: Thiago Rocha Silva - Integrante / Wagner Meira Junior - Integrante / Marcos Antônio da Cunha Santos - Coordenador / Renato Martins Assunção - Integrante / Paulo Tomaz Fleury-Teixeira - Integrante / Lucíola da Silva Paranhos - Integrante / Ricardo Alexandre de Souza - Integrante / Fernando Luiz Pereira de Oliveira - Integrante / Rubens Martins Pereira - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

  • 2007 - 2009

    Definição de um processo de usabilidade integrado ao processo de desenvolvimento de software baseado em Extreme Programming, Descrição: O projeto tem como objetivo a definição de um processo de usabilidade para o método ágil XP. O processo será integrado às práticas ágeis definidas pelo método e deverá estar alinhado ao conceito de agilidade presente na literatura. É fundamental que o processo levantado não descaracterize os princípios ágeis e que este possa ser adaptado sem grandes dificuldades por equipes que já utilizem o XP em projetos de software. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Thiago Rocha Silva - Integrante / Clarindo Isaías Pereira da Silva e Pádua - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 12

Prêmios

2019

Marie Sklodowska-Curie Actions (MSCA) Research Fellowship, European Commission (EC), Horizon 2020.

2018

Alain Bensoussan Research Fellowship, European Research Consortium for Informatics and Mathematics (ERCIM).

Histórico profissional

Endereço profissional

  • University of Limerick, Lero, the Science Foundation Ireland Research Centre for Software. , Tierney Building, Castletroy, V94NYD3 - Limerick, - Irlanda, Telefone: (353) 61213028, URL da Homepage:

Experiência profissional

2019 - Atual

University of Limerick

Vínculo: MSCA Research Fellow, Enquadramento Funcional: Pesquisador, Carga horária: 35, Regime: Dedicação exclusiva.

Atividades

  • 09/2020

    Ensino, DevOps and Continuous Software Engineering, Nível: Especialização,Disciplinas ministradas, Agile Software Development, Continuous Software Engineering

  • 09/2020

    Ensino, DevOps and Data Analytics, Nível: Especialização,Disciplinas ministradas, Agile Software Development, Continuous Software Engineering

  • 01/2020

    Ensino, Computer Science and Information Systems, Nível: Graduação,Disciplinas ministradas, Introduction to Information Technology

  • 10/2019

    Pesquisa e desenvolvimento, Lero, the Science Foundation Ireland Research Centre for Software.,Linhas de pesquisa

2018 - 2019

Norwegian University Of Science And Technology

Vínculo: Research Fellow, Enquadramento Funcional: Pesquisador, Carga horária: 35, Regime: Dedicação exclusiva.

Atividades

  • 10/2018 - 10/2019

    Pesquisa e desenvolvimento, Faculty of Information Technology and Electrical Engineering, Department of Computer Science.,Linhas de pesquisa

2019 - 2019

Centrum Wiskunde & Informatica

Vínculo: Visiting Scholar, Enquadramento Funcional: Pesquisador, Carga horária: 35, Regime: Dedicação exclusiva.

Atividades

  • 06/2019 - 06/2019

    Pesquisa e desenvolvimento, Equipe SWAT (Software Analysis and Transformation).,Linhas de pesquisa

2014 - 2018

Université Toulouse III Paul Sabatier

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 35, Regime: Dedicação exclusiva.

Atividades

  • 09/2014 - 09/2018

    Pesquisa e desenvolvimento, Institut de Recherche en Informatique de Toulouse, Equipe ICS (Interactive Critical Systems).,Linhas de pesquisa

2009 - 2014

Serviço Federal de Processamento de Dados

Vínculo: Celetista formal, Enquadramento Funcional: Analista, Carga horária: 40

Atividades

  • 04/2009 - 08/2014

    Serviços técnicos especializados , Superintendência de Desenvolvimento, Regional Belo Horizonte.,Serviço realizado, Desenvolvimento de sistemas para governo eletrônico.

2011 - 2014

Centro Universitário UNA

Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 6

Atividades

  • 08/2012 - 07/2014

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Projeto Aplicado à Programação de Sistemas, Projeto Aplicado à Qualidade em Sistemas Computacionais, Projeto Aplicado em Fundamentos da Programação

  • 02/2012 - 07/2014

    Ensino, Engenharia de Software Centrada em Métodos Ágeis, Nível: Especialização,Disciplinas ministradas, Engenharia de Software Ágil Aplicada, Laboratório de Engenharia de Software Ágil, Laboratório de Engenharia de Software Ágil I, Laboratório de Engenharia de Software Ágil II

  • 08/2011 - 07/2014

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Engenharia de Requisitos, Gerência de Projetos, Práticas de Programação Estruturada, Programação Estruturada, Tópicos Especiais

  • 02/2012 - 07/2012

    Ensino, Engenharia Mecânica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Lógica de Programação

  • 02/2012 - 07/2012

    Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Algoritmos e Lógica de Programação

  • 02/2012 - 07/2012

    Ensino, Engenharia de Produção, Nível: Graduação,Disciplinas ministradas, Algoritmos e Lógica de Programação

2010 - 2012

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Aluno de Pós-Graduação, Carga horária: 20

Atividades

  • 08/2010 - 08/2012

    Pesquisa e desenvolvimento, Instituto de Informática.,Linhas de pesquisa

2008 - 2011

FACULDADE ANHANGUERA DE BELO HORIZONTE

Vínculo: Celetista formal, Enquadramento Funcional: Professor Adjunto, Carga horária: 14

Atividades

  • 02/2010 - 07/2011

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Projeto Multidisciplinar de Auto-Aprendizagem

  • 02/2008 - 07/2011

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Estrutura de Dados, Fundamentos de Análise Orientada a Objetos, Linguagem de Programação Estruturada, Programação Estruturada I, Programação Estruturada II, Programação Modular e Arquivos

  • 02/2008 - 07/2011

    Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Análise Estruturada de Sistemas, Linguagem de Programação Estruturada, Modelagem de Dados, Programação em Banco de Dados, Programação Estruturada I, Programação Estruturada II, Programação Orientada a Objetos

  • 02/2008 - 07/2009

    Ensino, Sistemas para Internet, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação Estruturada, Modelagem de Dados, Programação Orientada a Objetos

2007 - 2009

Universidade Federal de Minas Gerais

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 20

2007 - 2007

Universidade Federal de Minas Gerais

Vínculo: Bolsista, Enquadramento Funcional: Estagiário em Docência, Carga horária: 4

Atividades

  • 02/2007 - 07/2009

    Pesquisa e desenvolvimento, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 08/2007 - 12/2007

    Estágios , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Estágio realizado, Estágio em Docência na disciplina Introdução a Banco de Dados supervisionado pelo professor Marcos André Gonçalves.

2008 - 2008

Universidade Estadual de Montes Claros

Vínculo: Colaborador, Enquadramento Funcional: Instrutor, Carga horária: 16

2004 - 2006

Universidade Estadual de Montes Claros

Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 30

2004 - 2004

Universidade Estadual de Montes Claros

Vínculo: Colaborador, Enquadramento Funcional: Monitor Acadêmico, Carga horária: 20

Atividades

  • 12/2008 - 12/2008

    Ensino, Engenharia de Software, Nível: Aperfeiçoamento,Disciplinas ministradas, Tópicos em Engenharia de Software: Métodos Ágeis de Desenvolvimento

  • 02/2005 - 12/2006

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnológicas, Departamento de Ciências da Computação.,Cargo ou função, Representante Discente.

  • 08/2004 - 08/2006

    Estágios , Centro de Ciências Exatas e Tecnológicas, Departamento de Ciências da Computação.,Estágio realizado, Desenvolvimento Web - PHP/PostgreSQL.

  • 02/2004 - 12/2004

    Estágios , Centro de Ciências Exatas e Tecnológicas, Departamento de Ciências da Computação.,Estágio realizado, Monitoria nas disciplinas Algoritmos e Estruturas de Dados I e II ministradas ao curso de Bacharelado em Sistemas de Informação e nas disciplinas Programação de Computadores I e II ministradas ao curso de Licenciatura em Matemática.

  • 02/2004 - 08/2004

    Estágios , Pró-Reitoria de Extensão, Coordenadoria de Apoio ao Estudante.,Estágio realizado, Desenvolvimento Desktop - C++/MySQL.

2007 - 2008

Colégio e Faculdade Cotemig

Vínculo: Celetista formal, Enquadramento Funcional: Professor do Ensino Técnico, Carga horária: 16

Atividades

  • 08/2007 - 07/2008

    Ensino,,Disciplinas ministradas, Informatização de Sistemas, Linguagem C++

2006 - 2006

Mobiliti Desenvolvimento de Soluções Móveis

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 30

Atividades

  • 08/2006 - 12/2006

    Estágios , Desenvolvimento.,Estágio realizado, Desenvolvimento Web - PHP/PostgreSQL.

2003 - 2003

Serviço Nacional de Aprendizagem Industrial/MG

Vínculo: Colaborador, Enquadramento Funcional: Instrutor, Carga horária: 20

Atividades

  • 12/2003 - 12/2003

    Ensino, Informática, Nível: Aperfeiçoamento,Disciplinas ministradas, Informática Básica