Jaelson Freire Brelaz de Castro

O Prof. Jaelson Castro possui graduação em Engenharia Elétrica pela Universidade Federal de Pernambuco (1982), mestrado em Informática pela Universidade Federal de Pernambuco (1986) e doutorado em Computing pelo Imperial College College London (1991). Ele possui larga experiência na área de Engenharia de Software. Prof. Jaelson é um dos fundadores da área de Engenharia de Requisitos no Brasil. Tem participação ativa nesta área; atuando como membro do corpo editorial do Requirements Engineering Journal (REEN) da Springer, bem como sendo membro dos comitês de programa de todas os eventos principais de requisitos, tais com: IEEE International Requirements Engineering Conference (RE), International Conference of Requirements Engineering: Foundation for Software Quality (REFSQ), Requirements Engineering track do ACM Symposium on Applied Computing (RE@SAC) e da Workshop de Engenharia de Requisitos (WER). Ele lidera o Laboratório de Engenharia de Requisitos (LER). Atualmente é membro do Editorial Board dos seguintes periódicos: Requirements Engineering (REEN), Business Information Systems Engineering (BISE) e Journal of Software Engineering Research and Development (JSERD). Foi o Editor-in-Chief do Journal of the Brazilian Computer Society (2005-2007). O Prof. Jaelson Castro já concluiu a orientação de dezenas de teses de doutorado e dissertações de mestrado. Sua produção científica inclui dezenas artigos em periódicos e livros publicados ou organizados. É autor de mais de 20 capítulos de livros e mais de duas centenas artigos vem eventos científicos nacionais e internacionais. O h-index do Prof. Jaelson Castro é 33. Ele é membro permanente do Programa de Pós-graduação em Ciência da Computação da Universidade Federal de Pernambuco onde atuou como seu coordenador no período 2003-2005 e também como seu vice-coordenador (2015-2017). Também foi presidente da Comissão Especial de Engenharia de software da SBC (por três mandatos). Foi o Editor-in-Chief do Journal of the Brazilian Computer Society (2005-2007). Em 2015 recebeu o Prêmio Contribuição Relevante para a Engenharia de Software no Brasil da Comissão Especial de Engenharia de Software da Sociedade Brasileira de Computação .Prof. Jaelson Castro atuou como coordenador de várias cooperações internacionais, tais como o projeto "Integração de Técnicas de Requisitos com Aspectos: O Caso TROPOS", entre a Universidade Federal de Pernambuco e Universidade Nova de Lisboa (Portugal), financiado pelas CAPES (Brasil)/ GRICES (Portugal). Também coordenou o projeto "Integração de Técnicas de Modelagem Organizacional para Geração Automática de Software: O Caso do OO-Method", uma cooperação Internacional entre a Universidade Federal de Pernambuco e Universidade Politecnica Valencia (Espanha), financiada pela CAPES (Brasil)/ MEC-DGU (Espanha).Além disso coordenou e/ou participou da organização de prestigiosos eventos, tais como: SBES 1995, SBES 1997, WER 1998, WISDOM 1999, STRAW 2001, UML 2001, SELMAS 2002, SELMAS 2003, SBES 2004, CAiSE 2005, IDEAS 2006, IDEAS 2008, RIGiM 2009, ISTAR 2010, WGPB 2010, CAiSE 2011, RCIS 2012, RIGIM 2012, iStar 2013, ER@BR 2013, CLEI 2013, CAiSE 2014, iStar15, RE@SAC2016, RE@SAC2017, RE@Next! 2017, RE@SAC2018, WER 2018, WER 2019, WER 2020, WER 2021,etc. Atuou como professor visitante nos seguintes centros de pesquisas: University of Toronto, Canada em 2000, Center for Scientific and Technological Research (IRST/FBK), Itália no ano 2006, University of Trento (Dipartimento di Ingegneria e Scienza del Informazione), Itália em 2008 e Universidad Politecnica de Valencia, Espanha nos anos 2005, 2010 3 2011. Entre fevereiro de 2012 e janeiro de 2013 foi professor visitante no Department of Computer Sciences do University College London (UCL), Inglaterra. Em 2023 foi Prof. Visitante Sênior na Universidad Politecnica de Valencia, Espanha.

Informações coletadas do Lattes em 30/12/2025

Acadêmico

Formação acadêmica

Doutorado em Computing

1986 - 1990

Imperial College of Science Technology and Medicine
Título: Distributed System Specification using a Temporal-Causal Framework
Orientador: Jeff Kramer
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Specification.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas Distribuídos.

Mestrado em Ciências da Computação

1984 - 1986

Universidade Federal de Pernambuco
Título: Uma metodologia para Especificação de Protocolos baseada em Redes de Petri, Ano de Obtenção: 1986
Orientador: Paulo Roberto Freire Cunha
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Protocolos; Metodologia de Especificação; Redes de Petri.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação. Setores de atividade: Informática; Fabricação de Aparelhos e Equipamentos de Telecomunicação.

Graduação em Engenharia Elétrica

1978 - 1982

Universidade Federal de Pernambuco

Pós-doutorado

2023 - 2023

Pós-Doutorado. , Universitat Politècnica de València, UPV, Espanha. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Requisitos.

2012 - 2013

Pós-Doutorado. , University College London, UCL, Grã-Bretanha. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

2012 - 2012

Pós-Doutorado. , University College London, UCL, Grã-Bretanha. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Requisitos.

2005 - 2006

Pós-Doutorado. , Università Degli Studi di Trento, UniTrento, Itália. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

2000 - 2001

Pós-Doutorado. , University of Toronto, UTORONTO, Canadá. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

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

Espanhol

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

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Requisitos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Orientacao a Agentes.

Organização de eventos

Castro, Jaelson . Member of Program Committee of WER 2023 - 26th Worskhop on Requirements Engineering. 2023. (Congresso).

Castro, Jaelson . Member of the Program Committee of RE 2023 - 31st IEEE International Conference on Requirements Engineering (Research Track). 2023. (Congresso).

Castro, Jaelson . Steering Committe Chair of Workshop on Requirements Engineering (WER). 2023. (Congresso).

Castro, Jaelson . Member of the Program Committee of iStar´23 - 16th International i* Workshop (iStar´23). 2023. (Congresso).

Castro, Jaelson . Member of the Program Committee of SBES 2023 XXXVII Simpósio Brasileiro de Engenharia de Software (Research Track). 2023. (Congresso).

Castro, Jaelson . Member of the Program Committee of SAC´23 (RE-Track) - 2023 ACM Symposium on Applied Computing : Requirements Engineering Track. 2023. (Congresso).

Castro, Jaelson . Member of the Program Committee of iStar´22 - 15th International i* Workshop (iStar´22). 2022. (Congresso).

Jaelson Castro . Member of the Program Committee of QUATIC 2022 15th International Conference on the Quality of Information and Communications Technology. 2022. (Congresso).

Jaelson Castro . Member of the Program Committee of RE 2022 - 30th IEEE International Conference on Requirements Engineering (RE@Next!Track). 2022. (Congresso).

Jaelson Castro . Member of Program Committee of WER 2022 - 25th Worskhop on Requirements Engineering. 2022. (Congresso).

Jaelson Castro . Co-Chair of Journal First Track (WER-JFT) of WER 2022 - 25th Workshop on Requirements Engineering. 2022. (Congresso).

Jaelson Castro . Steering Committe Chair of Workshop on Requirements Engineering. 2022. (Congresso).

Castro, Jaelson . Member of the Program Committee of SBES 2021 - 35th Simpósio Brasileiro de Engenharia de Software. 2021. (Congresso).

Castro, Jaelson . Member of the Program Committee of iStar´21 - 14th International i* Workshop. 2021. (Congresso).

Castro, Jaelson . Member of the Program Committee of WER 2021 - 24th Worskhop on Requirements Engineering. 2021. (Congresso).

Jaelson Castro . Member of the Program Committee of RE 2021 - 29th IEEE International Conference on Requirements Engineering (Industrial Innovation Track). 2021. (Congresso).

Jaelson Castro . Member of the Program Committee of QUATIC 2021 - 14th International Conference on the Quality of Information and Communications Technology. 2021. (Congresso).

Castro, Jaelson . Member of the Program Committee of SBES 2020 - The 34th Simpósio Brasileiro de Engenharia de Software. 2020. (Congresso).

Castro, Jaelson . Member of the Program Committee of iStar 2020 - 13th International i* Workshop. 2020. (Congresso).

Castro, Jaelson . Member of the Program Committee of 1st CTD-ES Concurso de Teses e Dissertações em Engenharia de Software, parte do SBES´20 - XXXIV Simpósio Brasileiro de Engenharia de Software. 2020. (Concurso).

Castro, Jaelson . Member of the Program Committee of WER 2020 - 23rd Worskhop on Requirements Engineering. 2020. (Congresso).

Jaelson Castro . Member of the Program Committee of RE 2020 - 28th IEEE International Conference on Requirements Engineering (ResearchTrack). 2020. (Congresso).

Jaelson Castro . Member of the Program Committee of REFSQ 2020 - 26th International Working Conference on Requirements Engineering: Foundations for Software Quality. 2020. (Congresso).

Castro, Jaelson . Member of the Program Committee of SBES 2019 - 33rd Simpósio Brasileiro de Engenharia de Software. 2019. (Congresso).

Castro, Jaelson . Member of the Program Committee of iStar 2019 - 12th International i* Workshop. 2019. (Congresso).

Jaelson Castro . Member of the Program Committee of WER 2019 - 22nd Worskhop on Requirements Engineering. 2019. (Congresso).

Jaelson Castro . Member of the Program Committee of RE 2019- 27th IEEE International Conference on Requirements Engineering (RE@Next Track). 2019. (Congresso).

Jaelson Castro . Member of the Program Committee of QUATIC 2019 - 12th International Conference on the Quality of Information and Communications Technology. 2019. (Congresso).

Castro, Jaelson ; LEITE, J. C. P. . General Chair of WER 2018 - 21st Workshop on Requirements Engineering. 2018. (Congresso).

Castro, Jaelson ; ARAÚJO, JOÃO . Program Committee Chair of RE@SAC 2018 - 11th Requirements Engineering Track at The 33rd ACM/SIGAPP Symposium On Applied Computing. 2018. (Congresso).

Castro, Jaelson . Member of the Program Committee of SBES 2018 - XXXII Simpósio Brasileiro de Engenharia de Software. 2018. (Congresso).

Castro, Jaelson . Member of the Program Committee of iStar´18 - 11th International i* Workshop. 2018. (Congresso).

Jaelson Castro . Member of the Program Committee of RE'218 - 26th IEEE International Conference on Requirements Engineering (ResearchTrack). 2018. (Congresso).

Castro, Jaelson ; SAWYER, P. . Program Committee Chair of RE@Next! Track of RE 2017 - 25th IEEE Requirements Engineering Conference. 2017. (Congresso).

Castro, Jaelson ; DALPIAZ, F. . Program Committee Chair of RE@SAC 2017 - 10th Requirements Engineering Track at The 32nd ACM/SIGAPP Symposium On Applied Computing. 2017. (Congresso).

Castro, Jaelson ; ARAÚJO, JOÃO . Program Committee Chair of RE@SAC 2016 - 09th Requirements Engineering Track at The 31stACM/SIGAPP Symposium On Applied Computing. 2016. (Congresso).

CASTRO, Jaelson ; ALENCAR, Fernanda . General Chair do Engenharia de Requisitos @ Brasil (ER@BR 2013). 2013. (Congresso).

Castro, Jaelson F. B. ; YU, E. ; HORKOFF, J. ; Maiden, N. . General Chair do iStar13 - 6th i* Workshop. 2013. (Congresso).

ESPANA, SERGIO ; CASTRO, Jaelson . PC Chair do Latin American Symposium on Software Engineering , evento que é parte da XXXIX Conferencia Latinoamericana en Informática (CLEI 2013. 2013. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Doctoral Symposium @ International Conference on Requirements Engineering 2013. 2013. (Congresso).

Castro, Jaelson . General Chair do ER@BR'2013 - Engenharia de Requisitos @ Brasil. 2013. (Congresso).

Rolland, C. ; CASTRO, Jaelson ; PASTOR, OSCAR . PC Chair of the Sixth IEEE International Conference on Research Challenges in Information Science. 2012. (Congresso).

Rolland, C. ; HORKOFF, J. ; YU, E. ; SALINESE, C. ; CASTRO, Jaelson . Chair da Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012). 2012. (Congresso).

CASTRO, Jaelson . Co-Chair do iStar11 - 5th International i* Workshop. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of CAiSE'11 - The 23nd International Conference on Advanced Information Systems Engineering. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Cibse11- XIV congreso Iberoamericano en ?Software Engineering?. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SCORE 11 @ ICSE 11- Student Contest. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SAC´11 (RE-Track) - 2011 ACM Symposium on Applied Computing : Requirements Engineering Track. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committe of RE 11 - 19th IEEE International - the Program Committee of Requirements Engineering Conference. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SBES´11 - XXV Simpósio Brasileirode Engenharia de Software. 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of WER´11 - XIII Worskhop on Requirements Engineering. 2011. (Congresso).

CASTRO, Jaelson . Member of the Programme Committee of SEKE11- The 23nd International Conference on Software Engineering and Knowledge Engineering. 2011. (Congresso).

CASTRO, Jaelson . Membro de Comite de Programa ICSOB 2011. 2011. (Congresso).

Castro, Jaelson B . Fifth IEEE International Conference on Research Challenges in Information Science (RCIS 2011). 2011. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of CAiSE'10 - The 22nd International Conference on Advanced Information Systems Engineering. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Cibse10- XIIIl congreso Iberoamericano en ?Software Engineering?. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Clei 10 - XXXVI Conferencia Latinoamericana de Informática. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of ICSE 2010 Research Demo Track - 32nd International Conference on Software Engineering. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SCORE 11 @ ICSE 11- Student Contest. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Quatic10- 7th International Conference on the Quality of Information and Communications Technology. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committe of RE 10 - 18th IEEE International - the Program Committee of Requirements Engineering Conference. 2010. (Congresso).

CASTRO, Jaelson ; YU, E. ; Franch, X. ; MYLOPOULOS, John . Co-Chair of iStar10 - 4th International i* Workshop. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SAC´10 (RE-Track) - 2010 ACM Symposium on Applied Computing : Requirements Engineering Track. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SBES´10 - XXIV Simpósio Brasileirode Engenharia de Software. 2010. (Congresso).

CASTRO, Jaelson . Member of the Programme Committee of SEKE10- The 22nd International Conference on Software Engineering and Knowledge Engineering. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of WER´10 - XII Worskhop on Requirements Engineering. 2010. (Congresso).

GUIZZARDI, R. ; PERINI, A. ; CASTRO, Jaelson . Co-Chair of WGBP 2010 - International Workshop on Goal-based Business Process Engineering. 2010. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of AOSD´09 - 8th International Conference on Aspect-Oriented Software Development. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of IDEAS´09 - XII workshop Iberoamericano de Ambientes de softwares e Engenharia de Requisitos. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of RCIS´09 - 3rd IEEE International Conference on Research Challenges in information Science. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SCORE´09 - The Student Contest in Software Engineering (SCORE), evento parte do ICSE´09 - 31st International Conference on Software Engineering. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of RE´09 - 17th IEEE International Reqirements Engineering. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SEKE´09 - The 21st International Conference on Software Engineering and Knowledge Engineering. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SAC´09 (RE-Track) - 2009 ACM Symposium on Applied Computing : Requirements Engineering Track. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of COIN@IJCAI09 - The Eighth Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of CAiSE'09 -The 21st International Conference on Advanced Information Systems Engineering. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Clei 09 - XXXV Conferencia Latinoamericana de Informática. 2009. (Congresso).

CASTRO, Jaelson . Co-Chair of RIGiM09 - 3rd Workshop on Requirements, Intentions and Goals in Conceptual Modeling. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of WER´09 - XI Worskhop on Requirements Engineering. 2009. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of RE´08 - 16th IEEE INTERNATIONAL REQUIREMENTS. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SBES´08 - XXII Simpósio Brasileirode Engenharia de Software. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of IWRA´08 - International Workshop on Requirements Analysis. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of WAT´08 - Workshop on Agreement Technologies, part of IBERAMIA´08 : 11th Ibero-American Conference on Artificial Intelligence. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committe of IWSSA'08 - 7th International Workshop on System/Software Architectures. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of IDEAS´08 - XI workshop Iberoamericano de Ambientes de softwares e Engenharia de Requisitos. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of WER´08 - X Worskhop on Requirements Engineering. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of CAiSE'08- he 20th International Conference on Advanced Information Systems Engineering. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of IEEE International Conference on Research Challenges in Information Science. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of SAC´08 (RE-Track) - 2008 ACM Symposium on Applied Computing : Requirements Engineering Track. 2008. (Congresso).

CASTRO, Jaelson ; Franch, X. ; PERINI, A. . Co-Chair of iStar08 - 3th International i* Workshop. 2008. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 16th International Requirements Engineering Conference (RE08). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 20th International Conference on Advanced Information (CAiSE08). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of 17th International Workshop on Agent-Oriented Information Systems (AOIS-2007). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the Second IEEE International Conference on Research Challenges in Information Science (RCIS08). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 15th International Requirements Engineering Conference (RE07),. 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 19th International Conference on Advanced Information (CAiSE07). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the First IEEE International Conference on Research Challenges in Information Science (RCIS07). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the X Worskhop on Requirements Engineering ( WER07). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the X Workshop Iberoamericano de Ingeniería de Requisitos (IDEAS 07). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of VIII Simposio Argentino en Ingeniería de Software (ASSE 2007). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of VI Jornadas Peruanas de Computación (JPC 2007). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of XV Encuentro Chileno de Computación (ECC 2007). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of First Latin American Workshop on Aspect-Oriented Software Development (LA-WASP´2007). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the XX Simpósio Brasileiro de Engenharia de Software (SBES´07). 2007. (Concurso).

CASTRO, Jaelson . Member of the Program Committee of the Second Workshop on Ontologies and Metamodeling in Software and Data Engineering (WOMSDE´07). 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the ASSE 07 - 8th Argentine Symposium on Software Engineering. 2007. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 18th Conference on Advanced Information Systems Engineering - CAiSE'06. 2006. (Congresso).

CASTRO, Jaelson . Co-Chair of the Program Committee of the IX Workshop Iberoamericano de Ingeniería de Requisitos - IDEAS 06. 2006. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 14th International Requirements Engineering Conference (RE06),. 2006. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the Eighth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2006 @ CAiSE). 2006. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of Early Aspects at ICSE: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design - (EA-2006 @ ICSE). 2006. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 5th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'06. 2006. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the IX Worskhop on Requirements Engineering - WER06, 2006. 2006. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the XX Simpósio Brasileiro de Engenharia de Software - SBES´06,. 2006. (Congresso).

CASTRO, Jaelson . Workshop co-Chair of the 17th Conference on Advanced Information Systems Engineering - CAiSE'05. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the19º Simpósio Brasileiro de Engenharia de Software - SBES 2005. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the Seventh International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2005 @ AAMAS). 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the VIII Workshop Iberoamericano de Ingeniería de Requisitos - IDEAS 05. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'05. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the ER05 - 24th Int. Conference on Conceptual Modeling - ER2005. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 17th International Conference on Advanced Information (CAiSE05). 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the II Iberor workshop on Aspect Oriented Software Development (DSOA'05). 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the I Workshop of Software Engineering for Agent Oriented Systems - SEAS05. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the X Workshop de Teses e Dissertações em Engenharia de Software do XVIII SBES - WTES. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the Joint Workshops SBBD/SBES 2005. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering - TEFSE05. 2005. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the 1t4th IEEE International Requirements Engineering Conference. 2005. (Congresso).

CASTRO, Jaelson . Chair of the Program Committee of the XVIII Simpósio Brasileiro De Engenharia de Software - SBES 2004. 2004. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the III Internacional Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2004. 2004. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the VII Workshop Ibericano de Ingeniería de Requisitos y Ambientes Software - IDEAS 2004. 2004. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the VII Worskhop on Requirements Engineering - WER05. 2004. (Congresso).

CASTRO, Jaelson . Member of the Program Committee of the I Workshop Brasileiro de Software Orientado a Aspectos - WASP04. 2004. (Congresso).

CASTRO, Jaelson . Participação em Comitês de Programas IDEAS 2003-6º Workshop Ibericano de Ingeniería de Requisitos y Ambientes Software. 2003. (Congresso).

CASTRO, Jaelson . Co-Chair of SELMAS 2003- 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2003. (Congresso).

CASTRO, Jaelson . Participação em Comitês WDBC 2003- 3º Workshop de desenvolvimento Baseado em Componentes. 2003. (Congresso).

CASTRO, Jaelson . Presidente do Comite de Tutoriais do 17º Simpósio Brasileiro de Engenharia de Software. 2003. (Congresso).

GARCIA, Alessandro ; LUCENA, Carlos ; CASTRO, Jaelson ; ZAMBONELLI, F. . Coordenação dos comites de organizacao e programa da International Workshop on SOFTWARE ENGINEERING FOR LARGE-SCALE MULTI-AGENT SYSTEMS - SELMAS 2002. 2002. (Congresso).

CASTRO, Jaelson . Participação em Comitês de Programa ICWE 2002-Ibero American Conference on Web Engineering ICWE 2002-Towards the Ibero American Web Process and Product Improvement. 2002. (Congresso).

CASTRO, Jaelson . Participação em Comitês WDBC 2002-Segundo Workshop de Desenvolvimento Baseado em Componentes. 2002. (Congresso).

CASTRO, Jaelson . Membro do Comite de Programa do SBES 2002- Simpósio Brasileiro de Engenharia de Software. 2002. (Congresso).

CASTRO, Jaelson ; KOBRYN, C. . Conference Chair of UM L2001 - da Fourth International Conference on the Unified Modeling Language-. 2001. (Congresso).

CASTRO, Jaelson ; J. Kramer . Co-Chair of STRAW01 - First International Workshop From Software Requirements to Architectures. 2001. (Congresso).

CASTRO, Jaelson ; LEITE, J. C. P. . II Workshop de Engenharia de Requisitos. 1998. (Congresso).

CASTRO, Jaelson . IX Simpósio Brasileiro de Engenharia de Software. 1995. (Congresso).

Participação em bancas

Aluno: Bruno de Souza Jeronimo

CASTRO, Jaelson; KELNER, Judith; Carmelo Jose Albanez Bastos Filho. Human-Robot Interaction Engagement Strategies for Children?s Education. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Larissa Rodrigues da Costa

Jaelson Castrodo Prado Leite, Julio Cesar Sampaio; Judith Kelner. NFR4TRUST: CATÁLOGO DE REQUISITOS NÃO-FUNCIONAIS DE CONFIANÇA PARA ROBÔS SOCIALMENTE ASSISTIVOS. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Lucas Florêncio de Brito

Castro, JaelsonRAMOS, R. A.; RIBEIRO, M. S. S.. NUTRIKIDS: JOGO EDUCACIONAL DIGITAL PARA DESENVOLVIMENTO DO CONHECIMENTO NUTRICIONAL E AUXÍLIO NA PREVENÇÃO À OBESIDADE. 2020. Dissertação (Mestrado em Ciências da Saúde e Biológicas) - Universidade Federal do Vale do São Francisco.

Aluno: Jemison dos Santos

Castro, Jaelson; MARTINS, Luiz; LEMOS, O. A. L.; SILVEIRA, F. F.. Um estudo Comparativo entre Abordagens de Modelos de Requisitos Testáveis. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Paulo.

Aluno: Reinaldo Antônio da Silva

Castro, JaelsonALENCAR, Fernanda; SILVA, C. T. L. L.. NFR4ES: Um Catálogo de Requisitos Não-Funcionais para Sistemas. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Sarah Moniky Silva Ribeiro

Castro, Jaelson; SILVA, C. T. L. L.; MARQUES, J. C.. Desenvolvimento de uma extensão da linguagem de modelagem iStar para Sistemas Críticos de Segurança - iStar4Safety. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Alfredo Contreras Richaud

Castro, Jaelson; Urrutia, A.; TORANZO, M. A.. METODOLOGÍA MAULE: DESCUBRIMIENTO, DOCUMENTACIÓN Y MODELAMIENTO DE PROCESOS DE NEGOCIO. 2018. Dissertação (Mestrado em MAGÍSTER EN CIENCIAS DE LA COMPUTACIÓN) - Universidad Católica del Maule.

Aluno: João ferreira Sobrinho Junior

Castro, JGOMES, Alex Sandro. Estilo de Interação de Objeto de Aprendizagem de Àudio Digital na Plataforma Amadeus Mobile. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Maria Elizabeth dos Santos de Scheigger

Castro, JALENCAR, F. M. R.. Integrando Scrum e a Modelagem de Requisitos Orientad a Objetivos por Meio do Scrum i*. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Católica de Pernambuco.

Aluno: João Henrique Correia Pimentel

CASTRO, JaelsonVASCONCELOS, A. M. L.ALENCAR, Fernanda. Tratamento de Falhas de Alto-Nível em Sistemas Auto-Configuráveis ? a abordagem FAST. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Evellin Cristine Souza Cardoso

CASTRO, Jaelson. On the Alignment Between Goal Models and Enterprise Model with an Ontological Account. 2009. Dissertação (Mestrado em Programação de Pós-Graduação em Informática) - Universidade Federal do Espirito Santo.

Aluno: Clarissa César Borba

CASTRO, JaelsonALENCAR, F. M. R.; SOARES, Sérgio. Uma Abordagem Orientada a Objetivos para as Fases de Requisitos de Linhas de Produtos de Software. 2009. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Lais Xavier

CASTRO, JaelsonLencastre, Maria; SOARES, Sérgio. Integração de Requisitos Não-Funcionais a Processos de Negócio: Integrando BPMN e NFR.. 2009. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Emanuel Batista dos Santos

CASTRO, JaelsonALENCAR, F. M. R.VASCONCELOS, A. M. L.. Uma proposta de Métrica para avaliar Modelos I*. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Maria Jocélia Silva

TEDESCO, P.; SOARES, Sérgio;CASTRO, Jaelson. U-TROPOS-Uma proposta de Processo Unificado para Apoiar o Desenvolvimento de Sofware Orientado a Agentes. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Bárbara Siqueira Santos

CASTRO, Jaelson; PASTOR, O.;VASCONCELOS, A. M. L.. IStar Tool - Uma proposta de ferramenta para modelagem de i*.. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Elisabete do Nascimento Segurado Soeiro

CASTRO, Jaelson; Guerreiro, Pedro; MOREIRA, Ana. Especificação e composição de requisitos aspectuais. 2007. Dissertação (Mestrado em Mestrado em Engenharia Informática) - Universidade Nova de Lisboa.

Aluno: Filipe Manuel Pacheco Vieira

CASTRO, Jaelson; MOREIRA, Ana; Monteiro, Luís. Um modelo multicritério para gerir conflitos na composição de aspectos. 2007. Dissertação (Mestrado em Mestrado em Engenharia Informática) - Universidade Nova de Lisboa.

Aluno: Marcia Seabra Cabral

CASTRO, JaelsonVASCONCELOS, A. M. L.Lencastre, Maria. Técnicas de Leitura para Inspeção da Especificação Inicial de Requisitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Sívia Cássia Pereira

CASTRO, Jaelson; MOURA, H. P.; CUNHA, J. F.. Um Estudo Empírico sobre Engenharia de Requistos em Empresas de Produtos de Software. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Osório Lopes Abath Neto

CASTRO, Jaelson; Sauvé, Jacques. Desenvolvimento de Software Guiado por Testes de Aceitação Usando EasyAccept. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Elisabete do NAscimento Segurado Soeiro

Guerreiro, Pedro;CASTRO, Jaelson; MOREIRA, Ana. Provas de Mestrado em Engenharia Informática. 2006. Dissertação (Mestrado em Mestrado em Engenharia Informática) - Universidade Nova de Lisboa.

Aluno: Filipe Manuel Pacheco Vieira

Monteiro, Luís;CASTRO, Jaelson; MOREIRA, A. M. D.. Provas de Mestrado em Engenharia. 2006. Dissertação (Mestrado em Mestrado em Engenharia Informática) - Universidade Nova de Lisboa.

Aluno: Flávio Pereira Pedroza

CASTRO, JaelsonALENCAR, F. M. R.; NUNES, F. D.. Automatizando as Regras de Mapeamento entre a Modelagem i* e a Modelagem UML Usando XMI para Implementação de um Simulador de Redes Ópticas. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Cláudia Filomena Bratficher Dário

CASTRO, Jaelson; GUDWIN, R. R.; JINO, M.; RICARTE, I. L. M.. Uma Metodologia Unificada para o Desenvolvimento de Sistemas Orientados a Agentes. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Ismênia Galvão Lourenço da Silva

TEDESCO, PatriciaALENCAR, F. M. R.CASTRO, Jaelson. Projeto e Implementação de Sistemas Multi-Agentes :O Caso Tropos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Débora Mac Knight

CASTRO, Jaelson; BORGES, Marcos Roberto da Silva; CUNHA, Amauri Marques da. Elicitação de requisitos de Software a partir do modelo de negócio. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Ricardo Argenton Ramos

CASTRO, Jaelson; MASIERO, Paulo César. Abordagem Aspecting Migração de Sistemas OO para sistemas OA. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Geórgia MAria Carvalho de Souza

CASTRO, Jaelson. Uma Abordagem Direcionada a Casos de Usos para o Desnvolvimento de Software Orientado a Aspectos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Tiago Pessoa Costa Reis

CASTRO, Jaelson. REQE -Uma Metodologia para Mediação de Qualidade de Aplicaçães Web na França de Requisitos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Andréa de Oliveira Pinto CAstor

CASTRO, Jaelson. Rastreamento de Requisitos no Processo de Desenvolvimento de Sooftware Orientandoa Agentes. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Maísa Soares dos Santos

CASTRO, Jaelson; BARROS, R. S. M.; FERNANDES, J. H. C.. Processamento de Documentos XML com DOM e SAX: Uma Análise Comparativa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Fábio Rilston Silva Paim

CASTRO, Jaelson; SALGADO, A. C.; HEUSER, C. A.. Uma Metodologia para Definição de Requisitos em Sistemas Data Warehouse. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Jorlene de Souza Marques

CASTRO, JaelsonALENCAR, F. M. R.; LINS, R. D.. Modelagen do SADI (Sistema de Acompanhamento a Doação de Sangue no Interior do Estado do Amazonas) apoiada pela UML. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Ana Alice Nascimento S

CASTRO, Jaelson. Monteiro. Modelagem de Negocio na pratica: Um Método para Suportar a Compreensão e Comunicação das Necessidades dos Negócios. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Pedro Luciano Leite Silva

CASTRO, Jaelson. Um Processo Para Seleção de Metodologias de Desenvolvimento de Softwares. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Marco Antônio Fagundes de Moraes

CASTRO, JaelsonVASCONCELOS, A. M. L.; FERNANDES, J. H. C.. Um Framework de Análise e Projeto Baseado em Arquitetura de Software. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Gilberto Amado de Azevedo Cysneiros Filho

CASTRO, JaelsonVASCONCELOS, A. M. L.; GIMENES, I. M. S.. Ferramenta para o Suporte do Mapeamento da Modelagem Organizacional em i* para UML. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Ana Elizabete Souza de Carvalho

CASTRO, JaelsonVASCONCELOS, A. M. L.LEITE, J. C. P.. Uma Estratégia para Implementação de uma Gerência de Requisitos Visando a Melhoria dos Processos de Software. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Anna Priscilla de Albuquerque

CASTRO, Jaelson; FANTINATO, M.; Lins, A. J. C. C.; Kapralos, B.; Martin, M. V.. Toy User Interfaces: Design Tools for Child-Computer Interaction. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Mariana Maia Peixoto

CASTRO, Jaelson; Texeira, L. M.; CANEDO, E. D.; CYSNEIROS FILHO, G. A. DE A.; SILVA, A. M. R.. A Privacy Requirements Specification Method for Agile Software Development Based on Exploratory Studies. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Cleber Matos de Morais

Castro, Jaelson; ARAUJO, A. F. R.; SAMPAIO, V. S.; MONTEIRO, W. M.; DINIZ, C. S. G.. Trigramas - Concepção de Infográficos de domínio específico para auxiliar a tomada de decisão no contexto de saúde pública no Brasil: uma pesquisa-ação. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Ana Maria da Mota Moura

Castro, Jaelsondo Prado Leite, Julio Cesar Sampaio; Almentero, E. K.; Haeusler, E. H.; Raposo, A. B.. Reengenharia de Sistemas Autoadaptativos Guiada pelo Requisito não Funcional de Consciência de Software. 2020. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Eric Rocha de Souza

Castro, Jaelson; CAIRES, L. M. M. C.; Rito, A.; MOREIRA, A. M. D.; Abrahão, S. M.; AGUIAR, A. M. T.; ARAÙJO, J. B. S.. A Value-Driven Framework for Software Architecture. 2019. Tese (Doutorado em Doutoramento em Informática) - Universidade Nova de Lisboa.

Aluno: Priscila Engiel

Castro, Jaelsondo Prado Leite, Julio Cesar Sampaio; LIFSCHITZ, S.; CAPPELLI, C.;MYLOPOULOS, John; WERNECK, V. M. B.; CARVALHO, M. S.. Eunomia (Εὐνομία): A Requirement Engineering based Compliance Framework for Software Systems. 2018. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Rodrigo Bonifácio de Almeida

CASTRO, Jaelson. Gerenciando Variações de Linhas de Produtos em Cenários de Caso de Uso.. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Marcia Jacyntha Nunes Rodrigues Lucena

CASTRO, Jaelson. STREAM: A Systematic Process to Derive Architectural Models from Requirements Models.. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Raian Ali

CASTRO, Jaelson; GIORGINI, Paolo; PASTOR, O.. Modeling and Reasoning about Contextual Requirements: Goal-based Framework. 2010. Tese (Doutorado em Information and Communication Technology) - Università Degli Studi di Trento.

Aluno: Volha Bryl

CASTRO, Jaelson; Borgida,Alex;MYLOPOULOS, John. Supporting the Design of Social-Technical Systems by Exploring and Evaluating Design Alternatives. 2009. Tese (Doutorado em Information and Communication Technology) - Università Degli Studi di Trento.

Aluno: Marta Silvia Tabares Betancur

CASTRO, Jaelson. Un Patrón de Trazabilidad para Controlar la Evolución de los Asuntos en un Espacio Multidimensional. 2009. Tese (Doutorado em Ingeniería - Sistemas) - Universidad Nacional de Colombia - Sede Medellín.

Aluno: Ricardo Argenton Ramos

CASTRO, Jaelson. STREAM AIRDoc ? An Approach to Improve the Quality of Requirements Documents: Dealing with Use Case Models.. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Rodrigo Bonifácio de Ameida

CASTRO, Jaelson. Representing variability in Use de Case Scenarios- An Approzch Based on Crosscutting Mechanisms. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Genésio Gomes da Cruz Neto

CASTRO, Jaelson. Estudos Qualitativos para Elicitação de Requisitos : Uma Abordagem que intriga Análise Sócio-Cultural e Modelagem Organizacional. 2008. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Antonio de Padua Albulquerque Oliveira

CASTRO, Jaelson. Engenharia de Requisitos Internacional -Um Método de Elicitação , Modelagem e Análise de Requisitos para Sistemas Multi -Agentes. 2008. Tese (Doutorado em Doutorado em Engenharia Elétrica - Pontifícia Universidade Católica, RJ) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Hugo Estrada Esquiel

MYLOPOULOS, John; Franch, X.;CASTRO, Jaelson; Juan Sánchez Díaz; Vicente Pelechano Ferragut. A Service-Oriented Approach for the I* Framework. 2008. Tese (Doutorado em Systemas Informáticos Y Computación) - Universidade Politecnica de Valencia.

Aluno: Alicia Martínez Rebollar

CASTRO, Jaelson. Conceptual Schemas Generation from Organizacional Model in an Automatic Software Production Process. 2008. Tese (Doutorado em Systemas Informáticos Y Computación) - Universidade Politecnica de Valencia.

Aluno: Rosa Cândida Cavalcanti Pinto

CASTRO, Jaelson. Improvingt Traceability in Agent Oriented Development.. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Nelly Condori-Fernández

CASTRO, Jaelson. Un Procedimiento de Medición de Tamaño Funcional para Especificaciones de Requisitos. 2007. Tese (Doutorado em Systemas Informáticos Y Computación) - Universidade Politecnica de Valencia.

Aluno: Irís Fabiana de Barcelos Tronto

Carvalho, Solon; Silva, José; Olivo, Acioli; Fabri, Sandra; SantAnna, Nilson;CASTRO, Jaelson. Uma Metodologia Baseada em Modelos Estatísticos e Redes Neurais para a Estimativa de Esforço de Desenvolvimento de Software. 2007. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Carla Taciana Lima Lourenço Silva

CASTRO, Jaelson. . Separating Crosscutting Concerns in Agent Oriented Detailed Design: The Social Patterns Case. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Lucia Rosangela David Bastos

CASTRO, Jaelson. Integration of System requirementns and Multi-Agent Software Archiectures. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Sergio Castelo Branco Soares

CASTRO, Jaelson; MEIRA, Silvio; SAMPAIO, Augusto; TRAVASSOS, Guilherme Horta; MASIERO, Paulo César. An Aspect-Oriented Implementation Method. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Juan Sanchez Diaz

CASTRO, Jaelson; SALVERT, I. R.;LEITE, J. C. P.; TORO, A. D.; PIATTINI, M.. Validacion de Requisitos de Usurario Mediante Tecnicas de Transformacion de Modelos Y Prototipacion Automatica de Interfaces de Usuario. 2003. Tese (Doutorado em Systemas Informáticos Y Computación) - Universidade Politecnica de Valencia.

Aluno: Rodrigo Quites Reis

CASTRO, Jaelson; GIMENES, I. M. S.; PRICE, A. M. A.. APSEE-Reuse: Um Meta-Modelo para Apoiar a Reutilização de Processos de Software. 2002. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Luiz Eduardo Galvão Martins

CASTRO, Jaelson; MALDONADO, J. C.; DALTRINI, B. M.;Nelson S. Rosa; JINO, M.; GUDWIN, R. R.. Uma Metodologia de Elicitação de Requisitos de Software Baseada na teoria da Atividade. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Nelson Souto Rosa

CASTRO, Jaelson; FERRAZ, C. A. G.; SANTOS, A. L. M.; Justo, G. R. R.; MACEDO, R. J. A.. NFi- An Architecture-Based Approach for Treating Non-Functional Properties of Dynamic Distributed Ssytems. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Soeli Terezinha Fiorini

CASTRO, JaelsonLUCENA, CarlosLEITE, J. C. P.. Arquitetura para Reutilização de Processos de Software. 2001. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Luiz Marcio Cysneiros

CASTRO, JaelsonLEITE, J. C. P.. Requisitos Não Funcionais: da elicitação ao Modelo Conceitual. 2001. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Cleber Matos de Morais

Jaelson Castro; FANTINATO, M.. A Model-Driven Data Visualization Methodology for the Internet of Things. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Héllio Lopes dos Santos

CASTRO, Jaelson. Um Framework para desenvolvimento de Aplicações Interativas Dirigidas por modelos. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Hélio Lopes dos Santos

CASTRO, Jaelson; SANTOS, A. L. M.; Silva, Antonio. Um Framework para Desenvolvimento de Aplicações Interativas Dirigidas por Modelos. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Genésio Gomes da Cruz Neto

CASTRO, Jaelson; SALGADO, A. C.;LEITE, J. C. P.. Uma Abordagem Centrada na Teoria da Atividade. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Sergio Castelo Branco Soares

CASTRO, Jaelson; SAMPAIO, A. C. A.; HORTA, G. T.. An Aspect-Oriented Implementation Method. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Cinthya Moreira Lins

Judith Kelner;Castro, Jaelson. REABILITAÇÃO MOTORA DE MEMBROS SUPERIORES COM O USO DO ROBÔ NAO. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Rafael Richa Teixeira Ananias

CASTRO, Jaelson. Estudo comparativo entre ferramentas de Gerência de Requisitos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Daniel de Andrade Penaforte

CASTRO, Jaelson. Uma Análise Sistêmica dos Probemas Enfrentadaospor Empresas de Sofware durante o Processode Requisitos. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: João Henrique Correia Pimentel

CASTRO, Jaelson. Adequação de um processo de recuo de requisito a uma empreas desenvolvedora de Software. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Roberto Costa de Azevedo

CASTRO, Jaelson. Uma experimentação aplicando as soluções orientadas a aspectos proposta pela AIRDOC em documentos de requisitos modelados em casos de uso.. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Bruno Farache

CASTRO, Jaelson. Uma ferramenta para grenciamento de rastrebilidade entre artefastos. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Cleviton Vinicius Fonseca Monteiro

CASTRO, Jaelson. Automação do Processo de Identificação de Aspectos em Modelos i*. Abril de 2007. Trabalho de Graduação. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Turah Xavier de Almeida

CASTRO, Jaelson. A study of the DIRA Process (Systematic Integration between Requirements and Architecture).. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Fabrício de Siqueira Teles

VASCONCELOS, A. M. L.CASTRO, Jaelson. Um Processo para Análise de Desempenho de Produtos de Software. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Fernando Raposo da Camara Silva

CASTRO, JaelsonVASCONCELOS, A. M. L.. Um Processo para Análise de Falhas e Recuperação em Produtos de Software. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Bruno Celso Cunha de Freitas

CASTRO, Jaelson; MOURA, H. P.. Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: MAuro La Salette Costa Lima de Aráujo

SANTOS, A. L. M.;CASTRO, Jaelson. Avaliando a Metodologia Pro.Net em relação ao MSF 4.0. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Taciana Amorim Vanderlei

CASTRO, Jaelson; MEIRA, S. L.. WEB HISTORY ASSISTANT -- UM AUXILIAR PARA HISTÓRIAS DE NAVEGAÇÃO. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

CASTRO, Jaelson. Membro da Comissão Examinadora de concursos docente para a área de Engenharia de Software/Banco de Dados. 2010. Universidade Federal do Vale do São Francisco.

CASTRO, Jaelson. Concurso para contratação de Professor Assistente. 1997. Universidade Federal da Paraíba.

Orientou

Wandemberg Silva dos Santos

AutoRESafety, uma ferramenta de software colaborativa baseada na web para operacionalizar o processo RESafety; ; Início: 2025; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; (Orientador);

Sidney Dos Santos De Araujo

Sustentabilidade na Engenharia de Software: Práticas, Métricas e Impactos no Ciclo de Vida de Sistemas; Início: 2025; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

ALISSON GABRIEL ASSUNÇÃO DE OLIVEIRA

OTIMIZANDO A MODELAGEM I* 2; 0 COM SUPORTE DE UM AGENTE BASEADO EM LLM: UMA EXTENSÃO PARA A FERRAMENTA PISTAR; Início: 2025; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

Ytalo Paulo Wilian da Silva

EXPLORANDO LLMS PARA A CRIAÇÃO DE MODELOS DE REQUISITOS ORIENTADOS A OBJETIVOS UTILIZANDO ISTAR; Início: 2024; Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Abimael Jonas Furtuoso dos Santos

Exploring the role of artificial intelligence in addressing sustainable software development (provisório); Início: 2024; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Larissa Rodrigues da Costa

GUIDE4TRUST: Um Framework para Diretrizes de Confiança em Robôs Sociais; Início: 2022; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; (Coorientador);

Mozart de Melo Alves Júnior

SAFE-AC: UMA ABORDAGEM PARA SISTEMATIZAR A ELABORAÇÃO DE CASOS DE GARANTIA DE SEGURANÇA; Início: 2022; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco; (Orientador);

QUELITA ARAUJO DINIZ DA SILVA RIBEIRO

Requirements4Sustainability: UM PROCESSO ÁGIL PARA A INTEGRAÇÃO DAS DIMENSÕES INDIVIDUAL E TÉCNICA DA SUSTENTABILIDADE; Início: 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);

Abimael Jonas Furtuoso dos Santos

NFR4SUSTAIN: Catálogo de Requisitos para Sustentabilidade de Software; 2024; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Larrisa Rodrigues da Costa

NFR4TRUST: CATÁLOGO DE REQUISITOS NÃO-FUNCIONAIS DE CONFIANÇA PARA ROBÔS SOCIALMENTE ASSISTIVOS; 2022; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Sthéfanie Dal Magro

ENGENHARIA DE REQUISITOS EM SISTEMAS CRÍTICOS DE SEGURANÇA: UMA ABORDAGEM PARA AUXILIAR NA DESCOBERTA DE REQUISITOS INICIAIS DE SEGURANÇA; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Reinaldo Antônio da Silva

NFR4ES: Um Catálogo de Requisitos Não-Funcionais para Sistemas Embarcados; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Sarah Moniky Silva Ribeiro

Desenvolvimento de uma extensão da linguagem de modelagem iStar para Sistemas Críticos de Segurança - iStar4Safety; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Milton Deivson Albuquerque Cavalcante

UMA ANÁLISE SOBRE A ENGENHARIA DE REQUISITOS EM SISTEMAS EMBARCADOS; 2017; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Bruno Nascimento de Figueiredo

MABUPTool ? Uma Ferramenta para apoiar uma abordagem de Processos De Negócio Autonômicos Multi Níveis; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Tiago Heineck

DESENVOLVIMENTO ORIENTADO A MODELOS EM ROBÓTICA: UMA REVISÃO SISTEMÁTICA DA LITERATURA; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Paulo de Lima Cavalcanti

Mapeamento Sistemático sobre Escalabilidade do iStar; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Jessyka Flavyanne Ferreira Vilela

GO2S: A Systematic Process to derive the Behavior of Context-Sensitive Systems form Requirements Models; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Tarcísio Couto Pereira

BVCCoN-Tool - Uma Ferramenta para Apoiar uma Abordagem de Configuração de Processos de Negócio Dinâmicos; 2014; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Almir da Silva Moreira Buarque

OOM-NFR: transformando modelos i* em oo-method com base em requisitos não-funcionais; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Cleice Talitha Nascimento Souza

AIRDoc-i*: um processo para avaliação de modelos i*; 2012; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Diego Dermeval Medeiros da Cunha Matos

STREAM-ADD: Um Processo de Documentação de Decisões de Projeto Arquitetural; 2012; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Gabriela Guedes de Souza

Objetivos e Cenários na Engenharia de Requisitos para Linhas de duto de Software; 2012; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, ; Orientador: Jaelson Freire Brelaz de Castro;

Monique Conceição Soares

Automatização das Regras de Transformações do Processo STREAM; 2012; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, ; Orientador: Jaelson Freire Brelaz de Castro;

Josias Paes da Silva Junior

AGILE: Uma abordagem para geração automática de linguagens i*; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Carlos Diego Quirino Lima

E-SLP: Uma Abordagem para a Fase de Requisitos na Engenharia de Domínio e na Engenharia de Aplicação com Modelos de Objetivos; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Maria Elizabeth dos Santos de Scheidegger

Integrando Scrum e a Modelagem de Requisitos Orientada a Objetivos por meio do Scrum i*; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

João Henrique Correia Pimentel

Tratamento de Falhas de Alto-Nível em Sistemas Auto-Configuráveis ? a abordagem FAST; 2010; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Lais Xavier

Integração de Requisitos Não-Funcionais a Processos de Negócio: Integrando BPMN e NFR; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Clarissa Cesar Borba

Uma Abordagem Orientada a Objetivos para as Fases de Requisitos de Linhas de Produto de Software; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Emanuel Batista dos Santos

Uma Proposta de Métricas para Avaliar Modelos i*; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Barbara Siqueira Campos

IStar Tool - Uma proposta de ferramenta para modelagem de i*; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Maria Jocélia Silva

U-TROPOS: uma proposta de processo unificado para apoiar o desenvolvimento de software orientado a agentes; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Silvia Cassia Pereira

Um Estudo Empírico sobre Engenharia de Requisitos em Empresas de Produtos de Software; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Marcia Seabra Cabral

Técnicas de Leitura para Inspeção da Especificação Inicial de Requisitos; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Ismênia Galvão Lourenço da Silva

Projeto e Implementação de Sistemas Multi-Agentes: O Caso Tropos; 2005; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Geórgia MAria Carvalho de Souza

Uma Abordagem Direcionada a Casos de Uso para o Desenvolvimento de Software Orientado a Aspectos; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Andréa de Oliveira Pinto CAstor

Rastreamento de Requisitos no processo de desenvolvimento de software orientado a agentes; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Tiago Pessoa Costa Reis

REQE-Uma Metodologia para Medição de Qualidade de Aplicações Web na Frase de Requisitos; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Fábio Rilton Silva Paim

Uma Metodologia para Definição de Requisitos em Sistemas DataWarehouse; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Ana Cláudia Veras Beltrão Didier

WRE-Process: Um Processo para Engenhariade Requisitos, Baseado no RUP; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Jaelson Freire Brelaz de Castro;

Carla Taciana Lima Lourenço Silva

Detalhando o Projeto Arquitetural no Desenvolvimento de Software Orientado a Agentes: O caso Tropos; 2003; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Francisco dos Santos Carvalho

Modelagem organizacional e Gestão do Conhecimento: O Caso da Universidade Estadual do Sudoeste da Bahia; 2003; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Ana Elizabete Souza de Carvalho

Uma Estratégia para Implantação de uma Gerência de Requisitos; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Gilberto Amado de Azevedo Cysneiros Filho

Ferramenta para Suporte do Mapeamento da Modelagem Organizacional em i* para UML; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Carina Frota Alves

Seleção de Produtos de Software Utilizando uma Abordagem Baseada em Engenharia de Requisitos; 2001; Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Márcia Regina Freire Paiva dos Santos

O Uso da Análise de Requisitos como Estratégia para Apoio ao Projeto de Banco de Dados Distribuído; 2000; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Jaelson Freire Brelaz de Castro;

Helena Cristina de Albuquerque Bastos Tavares

Medição de Pontos por Função a partir de Especificação Orientadas a Objetos; 1999; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Lucia Rosangela David Bastos

Proposta de Arquitetura Em Camadas Para Sistemas Bancários Com Modelo de Controle Baseado Em Eventos; 1998; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Sarah Moniky Silva Ribeiro

INTEGRATING REQUIREMENTS MODELING AND SAFETY ANALYSIS: THE CASE OF ISTAR4SAFETY AND STPA; 2025; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Enyo José Tavares Gonçalves

PRISE: A Process to Support iStar Extensions; 2019; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Jessyka Flavyanne Ferreira Vilela

UNI-REPM SCS: SAFETY MATURITY REQUIREMENTS ENGINEERING PROCESS; 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Monique Conceição Soares

An Ontology to aid the Goal-oriented Requirements Elicitation and Specification for Self-Adaptive Systems; 2017; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Karolyne Maria Alves de Oliveira

MABUP: Multi Level Autonomic Business Process; 2015; Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

João Henrique Correia Pimentel

Systematic Design of Adaptive Systems? A Control-Based Framework; 2015; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Emanuel Bastista do Santos

Business Process Conguration with NFRs and Context-Awareness; 2013; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Marcia Jacyntha Nunes Rodrigues Lucena

STREAM: A Systematic Process to Derive Architectural Models from Requirements Models; 2010; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jaelson Freire Brelaz de Castro;

Ricardo Argenton Ramos

AIRDoc ? An Approach to Improve the Quality of Requirements Documents: Dealing with Use Case Models; 2009; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Rosa Cândida Cavalcanti Pinto

Improving Traceability in Agent Oriented Development; 2008; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Carla Taciana Lima Lourenço Silva

Separating Crosscutting Concerns in Agent Oriented Detailed Design: The Social Patterns Case; 2007; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Lucia Rosangela David Bastos

Integration of System requirements and Multi-Agent Software Architectures; 2005; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Maria Lencastre Pinheiro de Menezes Cruz

Conceptualisation of an Environment for the Development of Simulators Based on the Finite Element Method; 2004; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Victor Francisco Araya Santander

Integrando Modelagem Organizacional com Modelagem Funcional; 2002; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Marco Antonio Toranzo Cespedes

Uma Proposta para Melhorar o Rastreamento de Requisitos de Software; 2002; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Fernanda Maria Ribeiro de Alencar

Mapeando a Modelgagem Organizacional em Especificação Precisa; 1999; 0 f; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Orientador: Jaelson Freire Brelaz de Castro;

Carla Taciana Lima Lourenço Silva Schuenemann

2008; Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Jaelson Freire Brelaz de Castro;

Thiago Alves Gregório

Computação Autonômica: Visão Geral; 2010; 152 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Eduardo Henrique de Medeiros Lira

BPM, BPMN 2; 0 e suas Extensões; 2010; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Thiago Alves Gregório

Sistemas autonômicos; 2009; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Centro de Informática; Orientador: Jaelson Freire Brelaz de Castro;

Claúdia Maria de Oliveira Bastos

Inovações de UML 2; 0 com Foco em Arquitetura de Software Inovações de UML 2; 0 com Foco em Arquitetura de Software Inovações de UML 2; 0 com Foco em Arquitetura de Software Inovações de UML 2; 0 com foco em Arquitetura de Software; 2004; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Pedro Luiz Cesar Gonçalves Bezerra Filho

Metodologia de Software XP; 2003; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Danielle Novaes Campello de Melo

Intergrando Modelagem Organizacional com a Modelagem Orientada a Objeto; 2003; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Pedro Luciano Leite Silva

Um processo para Seleção de Metodologias de Desenvolvimento de Software; 2003; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologia da Informação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Renata Wanderley de Correia

Avaliação de Qualidade para Aplicações WEB; 2002; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Fernando Antônio Rijo

Qualidade de Software: Um Imperativo na Construção de Software Orientado a Objeto; 2000; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Pedro José Selva Filho

Buscando a Qualidade de Software: Um Caso Prático na Chesf; 2000; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Arnóbio Barbosa Escorel Júnior

Tecnologia da Informação na Gestão Documental; 1999; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Vinicius José Toscano de Brito

SOLUÇÃO PARA ALGUNS PROBLEMAS DA ELICITAÇÃO, ANÁLISE E NEGOCIAÇÃO DE REQUISITO DE SOFTWARE; 1999; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Eduardo Carneiro Campêlo Junior

Gestão do Ciclo de Vida de Sistemas de Informações Orientada à Certificação de Qualidade; 1999; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Ana Maria Liberal Fidelis

Uma Experiência em Multimídia sobre Gravidez na Adolescência; 1998; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Informática na Educação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Josilene Almeida da Silva

Simone Santiago de Santana

Paulo Costa Ramos

Por que Qualidade de Software; 1998; 0 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Tecnologia da Informação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Cinthya Moreira Lins

REABILITAÇÃO MOTORA DE MEMBROS SUPERIORES COM O USO DO ROBÔ NAO; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Alberto Santos de Souza

Uma ferramenta plugável para modelagem orientada a objetivo: Documentando e estendendo a piStar Tool; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Breno Rios Ramos

Plugin submission for extensible tools - piStar Tool case; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Roberto Costa de Azevedo

Uma experimentação aplicando as soluções orientadas a aspectos propostas pela AIRDOC em documentos de requisitos modelados em casos de uso; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Cleviton Vinicius Fonseca Monteiro

Automação do Processo de Identificação de Aspectos em Modelos i*; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Turah Xavier de Almeida

A study of the SIRA Process (Systematic Integration between Requirements and Architecture); 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Bárbara Siqueira Campos

Desenvolvendo Sistemas Multi-Agentes Utilizando Tropos e JADEX; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Mariana Pinto Xavier

Implementação de Padrões de Projeto Orientados a Agente utilizando a Plataforma JADE; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Marcia Seabra Cabral

Mediçaõ do Mutiview Através do Ponto de Função; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Filipe Gutemberg Costa Pinto

Desenvolvimento de sistemas multi-agentes a partir de modelos de objetivos: uma ferramenta para Tropos; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Átila Valgueiro Malta Moreira

Desenvolvimento de sistemas multi-agentes a partir de modelos de objetivos: uma ferramenta para Tropos: iStar Tool; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Cleviton Vinicius Fonseca Monteiro

Integrando a Orientação a Aspectos com a Modelagem Organizacional do TROPOS; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Turah Xavier de Almeida

Métodos para relacionar especificação de requisitos e arquitetura de soft; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Daniel de Andrade Penaforte

Desenvolvendo sistemas Multi-agentes usando a metodologia Tropos; 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

André Luiz Loureiro de Carvalho

Integrando a Orientação a Aspectos com a Modelagem Organizacional; 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Bárbara Siqueira Santos

Desenvolvimento Orientado a Agente na Plataforma JADE; 2005; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Shirley da Silva Jacinto

Desenvolvendo sistemas Multi-agentes usando a metodologia Tropos; 2004; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Fernando Raposo da Camara Silva

Desenvolvimento da Ferramenta XGOOD; 2004; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Eduardo Garcia Wanderley

Desenvolvimento da Ferramenta XGOOSE; 2004; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Sílvia Regina Fonseca Sampaio

Avaliação da Qualidade de Aplicações para Web; 2002; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Alexsandra Cassiano Alves

Ferramenta de Suporte a Cenários; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Clarisssa Vieira de Souza

Desensolvimento de Ferramentas para o Ambiente Multiview++; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Fabiana Moraes Belo

Ferrmanenta de Modelagem de Requisitos; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Marcia Seabra Cabral

Desenvolvimento do Ambiente Multiview; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Marcelo Pereira Barbosa

Ferrmantas de Modelagem de Requisitso; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Leonardo F

S; A; Galvão; Desenvolvimento em UML; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Gilberto Amado de A

Cysneiro Filho; Desenvolvimento do Multiview; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Márcio A S Bueno

Integraçaõ de Ferramentas CASE; 1997; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jaelson Freire Brelaz de Castro;

Geovani Bezerra de Melo

Ferramentas Deontica; 1997; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Pedro Jorge Rocha Saunders

Desenvolvimento do Multiview; 1996; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Luiz Gustavo Silva

Desenvolvimento Orientado a Objeto; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Ana Karina Pinto Barbosa

Desenvolvimento Orientado a Objeto; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Georgia Pinto Barbosa

Desenvolvimento Orientado a Objeto; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Denilson Moura Barbosa

Desenvolvimento Orientado a Objeto; 1995; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Juliana Bandeiro de Melo

Sistemas Distirubuidos; 1994; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Jaelson Freire Brelaz de Castro;

Produções bibliográficas

PORTUGAL, ROXANA LISETTE QUINTANILLA ; ANTONELLI, LEANDRO ; MARCZAK, SABRINA ; HADAD, GRACIELA DORA SUSANA ; Castro, Jaelson ; LEITE, JULIO CESAR . Requirements Engineering in Latin America: The Case of the WER. COMMUNICATIONS OF THE ACM , v. 67, p. 47-48, 2024.
Rodrigues da Costa, Larissa ; Castro, Jaelson ; KELNER, Judith ; Lencastre, Maria . Confiança em Robôs Socialmente Assistivos: Um Catálogo de Requisitos Não-Funcionais. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 48, p. 44-69, 2023.
Lencastre, Maria ; SIlva, Daniel ; PIMENTEL, JOÃO HENRIQUE C. ; Castro, Jaelson Brelaz . PRIUS: Applying Gamification to User Stories Prioritization. Applied Computing Review , v. 23, p. 27-44, 2023.
RIBEIRO, Quelita ; PEREIRA, T. ; Alves Júnior, M. M. ; Castro, Jaelson ; ALENCAR, Fernanda ; Lencastre, Maria . Toward Requirements for Embedded Systems. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 46, p. 19-41, 2022.
ALVES JUNIOR, M. M. ; LENCASTRE, Maria ; CASTRO, Jaelson ; BRITO, L. F. ; RIBEIRO., M. . Identificando e Analisando Casos de Garantia de Segurança aplicados a Sistemas Robóticos. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 46, p. 78-103, 2022.
RAMOS, Ricardo ; BRITO, LUCAS FLORÊNCIO DE ; Ramos, Rodrigo ; CASTRO, Jaelson ; ARAUJO, João . Effectiveness of an educational game-based intervention for enhancing nutritional knowledge of elementary school students. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 19, p. 237-247, 2021.
SILVA, REINALDO ANTÔNIO ; Castro, Jaelson ; Pimentel, João . Catalogando Requisitos Não-Funcionais de Sistemas Embarcados. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 45, p. 61-79, 2021.
VILELA, J. ; Castro, J ; MARTINS, LUIZ EDUARDO G. ; GORSCHEK, TONY . Safety Practices in Requirements Engineering: The Uni-REPM Safety Module. Ieee Transactions On Software Engineering , v. 46, p. 222-250, 2020.
GONÇALVES, ENYO ; ARAUJO, João ; Castro, Jaelson . PRISE: A process to support iStar extensions. JOURNAL OF SYSTEMS AND SOFTWARE , v. 168, p. 110649, 2020.
BRITO, LUCAS FLORÊNCIO DE ; ARGENTON RAMOS, RICARDO ; BRELAZ DE CASTRO, JAELSON FREIRE ; ARAÚJO, João ; RAMOS, RODRIGO PEREIRA ; LEAL, BRAULIRO GONÇALVES . Nutrikids: jogo sério para o desenvolvimento do conhecimento nutricional em crianças e adolescentes Nutrikids: Serious game for the development of nutritional knowledge in children and adolescents. REVISTA LATINOAMERICANA DE TECNOLOGÍA EDUCATIVA , v. 19, p. 93-106, 2020.
Gonçalves, E. ; OLIVEIRA, M. A. ; MONTEIRO, I. ; CASTRO, Jaelson ; ARAÚJO, JOÃO . Understanding what is important in iStar extension proposals: the viewpoint of researchers. REQUIREMENTS ENGINEERING , v. 24, p. 55-84, 2019.
Vilela, Jéssyka ; CASTRO, Jaelson ; MARTINS, Luiz ; GORSCHEK, TONY ; Almendra, Camilo . Requirements Communication in Safety-Critical Systems: an extended literature overview. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 42, p. 80-97, 2019.
GONÇALVES, ENYO ; Almendra, Camilo ; GOULÃO, MIGUEL ; ARAÚJO, João ; Castro, Jaelson . Using empirical studies to mitigate symbol overload in iStar extensions. Software and Systems Modeling , v. 19, p. 763-784, 2019.
GONÇALVES, ENYO ; CASTRO, Jaelson ; ARAÚJO, JOÃO ; HEINECK, TIAGO . A Systematic Literature Review of iStar extensions. JOURNAL OF SYSTEMS AND SOFTWARE , v. 137, p. 1-33, 2018.
GONCALVES, ENYO ; HEINECK, TIAGO ; ARAÚJO, JOÃO ; CASTRO, Jaelson . CATIE: A Catalogue of iStar Extensions. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 41, p. 23-37, 2018.
PENHA, F. ; MIRANDA, E. ; CASTRO, Jaelson ; LUCENA, L. ; ALENCAR, F. M. R. ; SA FILHO, C. L. A. . Actor?s social complexity: a proposal for managing the iStar model. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 6, p. 1-30, 2018.
Vilela, Jéssyka ; CASTRO, Jaelson ; MARTINS, LUIZ EDUARDO G. ; GORSCHEK, TONY . Integration between requirements engineering and safety analysis: A systematic literature review. The Journal of Systems and Software , v. 125, p. 68-92, 2017.
GONÇALVES, ENYO ; CORTÉS, MARIELA ; DE OLIVEIRA, MARCOS ; VERAS, NÉCIO ; FALCÃO, MÁRIO ; CASTRO, Jaelson . An Analysis of Software Agents, Environ-ments and Applications School (WESAAC): Retrospective, Relevance, and Trends. ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL , v. 6, p. 19-32, 2017.
Vilela, Jéssyka ; CASTRO, Jaelson ; Pimentel, João . A systematic process for obtaining the behavior of context-sensitive systems. Journal of Software Engineering Research and Development , v. 4, p. 2-57, 2016.
Vilela, Jéssyka ; Gonçalves, E. ; HOLANDA, A. C. ; Castro, J ; FIGUEIREDO, B. . A retrospective analysis of SAC requirements. Applied Computing Review , v. 16, p. 26-41, 2016.
LIMA, PAULO ; Vilela, Jéssyka ; GONÇALVES, ENYO ; Pimentel, João ; HOLANDA, ANA ; CASTRO, Jaelson ; ALENCAR, FERNANDA ; Lencastre, Maria . An extended systematic mapping study about the scalability of i* Models. CLEI Electronic Journal , v. 19, p. 6:1-6:23, 2016.
DERMEVAL, DIEGO ; Vilela, Jéssyka ; BITTENCOURT, IG IBERT ; CASTRO, Jaelson ; ISOTANI, SEIJI ; BRITO, PATRICK ; SILVA, ALAN . Applications of ontologies in requirements engineering: a systematic review of the literature. Requirements Engineering , v. 21, p. 405-437, 2016.
FIDALGO, ROBSON ; Alves, Edson ; ESPANA, SERGIO ; CASTRO, Jaelson ; PASTOR, OSCAR . Metamodeling the Enhanced Entity-Relationship Model. Journal of Information and Data Management - JIDM , v. 4, p. 406-420, 2013.
KULESZA, UIRÁ ; SOARES, Sérgio ; CHAVEZ, CHRISTINA ; CASTOR, FERNANDO ; BORBA, Paulo ; LUCENA, Carlos ; MASIERO, PAULO ; SANT?ANNA, CLAUDIO ; FERRARI, Fabiano ; ALVES, Vander ; COELHO, Roberta ; FIGUEIREDO, Eduardo ; PIRES, PAULO F. ; DELICATO, FLÁVIA ; Piveta, Eduardo ; SILVA, CARLA ; CAMARGO, VALTER ; BRAGA, ROSANA ; LEITE, JULIO ; CASTRO, Jaelson ; et.al . The crosscutting impact of the AOSD Brazilian research community. The Journal of Systems and Software , v. 86, p. 905-933, 2013.
Pimentel, João ; LUCENA, MÁRCIA ; Castro, J ; Carla Silva ; Santos, Emanuel ; ALENCAR, F. . Deriving software architectural models from requirements models for adaptive systems: the STREAM-A approach. Requirements Engineering (London. Print) , v. 17, p. 259-281, 2012.
PIMENTEL, JOAO ; Santos, Emanuel ; Castro, J ; Franch, X. . Anticipating Requirements Changes-Using Futurology in Requirements Elicitation. International Journal of Information System Modeling and Design , v. 3, p. 89-111, 2012.
CASTRO, Jaelson ; LUCENA, MARCIA ; SILVA, Carla ; ALENCAR, Fernanda ; Santos, Emanuel ; Pimentel, João . Changing attitudes towards the generation of architectural models. The Journal of Systems and Software , v. 85, p. 463-479, 2012.
ALENCAR, F. M. R. ; MENEZES, J. R. R. ; SILVA, J. J. R. ; CASTRO, Jaelson . MODELAGEM DE REQUISITOS DE UM SISTEMA DE INFORMAÇÃO PARA SUPORTE À GESTÃO INTEGRADA NA CONSTRUÇÃO. Revista Internacional Construlink , v. 7, p. 1-12, 2009.
SILVA, Carla ; CASTRO, Jaelson ; ARAUJO, JOAO ; MOREIRA, Ana ; TEDESCO, Patricia ; MYLOPOULOS, John . Advanced separation of concerns in agent-oriented design patterns. International Journal of Agent-Oriented Software Engineering (Print) , v. 3, p. 306, 2009.
Abe Vicente, André ; Santander, Victor F. A ; Castro, Jaelson B ; Freitas da Silva, Ivonei ; Reyes Matus, Francisco G . JGOOSE: A REQUIREMENTS ENGINEERING TOOL TO INTEGRATE I* ORGANIZATIONAL MODELING WITH USE CASES IN UML. Ingeniare. Revista Chilena de Ingeniería (En línea) , v. 17, p. 6-20, 2009.
Lencastre, Maria ; ARAUJO, João ; MOREIRA, A. M. D. ; CASTRO, Jaelson . Towards aspectual problem frames: an example. EXPERT SYSTEMS , v. 25, p. 74-86, 2008.
RAMOS, R. A. ; CASTRO, Jaelson ; ARAUJO, J. ; MOREIRA, A. M. D. ; ALENCAR, F. M. R. ; PENTEADO, Rosangela . Refatoração para Documento de Requisitos: Uma Abordagem Aspectual. Revista IEEE América Latina , v. 6, p. 238-243, 2008.
CRUZ NETO, Genésio ; GOMES, Alex Sandro ; CASTRO, Jaelson . Mapping Activity Theory Diagrams into i* Organizational Models. Journal of Computer Science and Technology (La Plata. En línea) , v. 5, n.2, p. 57-63, 2005.
BASTOS, Lucia Rosangela David ; CASTRO, Jaelson . From requirements to multi-agent architecture using organisational concepts. Software Engineering Notes , USA, v. 30, p. 1-7, 2005.
CHOREN, Ricardo ; Weyns, Danny ; GARCIA, Alessandro ; LUCENA, Carlos ; Griss, Martin ; Kung, David ; Minsky, Naftaly ; ROMANOVSKY, Alexander ; CASTRO, Jaelson ; de Lemos, Rogério . Software engineering for large-scale multi-agent systems - SELMAS 2004. Software Engineering Notes , New York, v. 29, n.5, p. 1-10, 2004.
GARCIA, Alessandro ; Perini, Anna ; Sardinha, José ; LUCENA, Carlos ; CASTRO, Jaelson ; Leite, Júlio ; Milidiú, Ruy ; ROMANOVSKY, Alexander ; Griss, Martin ; de Lemos, Rogério . Software engineering for large-scale multi-agent systems. Software Engineering Notes , USA, v. 28, n.6, p. 1, 2003.
Pinheiro, Francisco A. C. ; do Prado Leite, Julio Cesar Sampaio ; CASTRO, Jaelson . Requirements Engineering Technology Transfer: An Experience Report. The Journal of Technology Transfer , v. 28, p. 159-165, 2003.
Castro, J ; KOLP, Manuel ; MYLOPOULOS, John . Towards requirements-driven information systems engineering: the Tropos project. Information Systems (Oxford) , Holanda, v. 27, n.6, p. 365-389, 2002.
CASTRO, Jaelson ; Kramer, Jeff . From software requirements to architectures (STRAW01). Software Engineering Notes , v. 26, n.6, p. 49-51, 2001.
CASTRO, Jaelson ; ALENCAR, Fernanda ; Cysneiros, Gilberto . Closing the GAP Between Organizational Requirements and Object Oriented Modeling. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 7, p. 5-16, 2000.
Castro, J ; CYSNEIRO FILHO, G. A. A. (Org.) ; Liaskos, S. (Org.) . Proceedings of the Eighth International i*Worksho (iStar 2015). 1. ed. Aachen: CEUR Workshop Proceedings, 2015. v. 1402. 122p .
Castro, J ; ALENCAR, F. M. R. (Org.) ; LUCENA, M. J. N. R. (Org.) ; CYSNEIRO FILHO, G. A. A. (Org.) . Proceedings of Requirements Engineering@Brazil 2013. 1. ed. Aachen: CEUR Workshop Proceedings (CEUR-WS.org) - RWTH Aachen University, 2013. v. 1005. 237p .
Castro, J ; HORKOFF, J. (Org.) ; Maiden, N. (Org.) ; YU, E. (Org.) . Proceedings of the 6th International i* Workshop 2013. 1. ed. Aachen: CEUR Workshop Proceedings (CEUR-WS.org) - RWTH Aachen University, 2013. 140p .
Rolland, C. (Org.) ; CASTRO, Jaelson (Org.) ; PASTOR, O. (Org.) . 2012 Sixth International Conference on Research Challenges in Information Science (RCIS 2012). 1. ed. Institute of Electrical and Electronics Engineers ( IEEE ), 2012. v. 1. 389p .
CASTRO, Jaelson ; Franch, X. (Org.) ; YU, E. (Org.) ; MYLOPOULOS, John (Org.) . Proceedings of the 5th International i* Workshop (iStar 2011). Aachen: CEUR, 2011. v. 1. 180p .
CASTRO, Jaelson ; Franch, X. (Org.) ; MYLOPOULOS, John (Org.) ; YU, E. (Org.) . Proceedings of the 4th International i* Workshop. 586. ed. CEUR Workshop Proceedings, 2010. v. 1. 122p .
CASTRO, Jaelson ; Franch, X. (Org.) ; PERINI, A. (Org.) ; YU, E. (Org.) . Proceedings of the 3rd International i* Workshop. AAchen: CEUR - Central EURope workshop proceedings, 2008. v. 322. 89p .
CASTRO, Jaelson ; Luca Cernuzzi (Org.) ; Silvia Gordilo (Org.) . Proc. of IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software -.. La Plata: , 2006. v. 1.
CASTRO, Jaelson ; TENIENTE, E. (Org.) . Proceedings of the CAiSE'05 Workshops (Vol. 1): BPMDS - DIQ - DISWeb - EMMSAD - SWWL. Porto: Faculdade de Engenharia da Universidade do Porto _ FEUP, 2005. v. 1. 758p .
CASTRO, Jaelson ; TENIENTE, E. (Org.) . Proceedings of the CAISE'05 Workshops (Vol. 2): ASMEA - EMOI-INTEROP- PHISE- UMICS. Porto: Faculdade de Engenharia da Universidade do Porto - FEUP, 2005. v. 1. 747p .
LUCENA, Carlos ; GARCIA, Alessandro ; ROMANOVSKY, Alexander ; CASTRO, Jaelson ; ALENCAR, Paulo . Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications. 1. ed. Heidelberg: Springer Verlag, LNCS 2940, 2004. v. 2940. 279p .
CASTRO, Jaelson . Anais do 18 Simpósio Brasileiro de Engenharia de Software - SBES04. Brasilia: SBC, 2004. v. 1.
GARCIA, Alessandro ; LUCENA, Carlos ; ZAMBONELLI, F. ; OMICINI, A. ; CASTRO, Jaelson . Software Engineering for Large-Scale Multi-Agent System: Research Issues and Practical Applications (LNCS 2603). 1. ed. Heidelberg: Springer-Verlag LNCS 2603, 2003. v. 2603. 285p .
S, J. C. (Org.) ; CASTRO, Jaelson (Org.) . Anais da Workshop de Engenharia de Requisitos. Maringá, Paraná: PUC-Rio, 1998. v. 1. 179p .
CASTRO, Jaelson . IX Simpósio Brasileiro de Engenharia de Software (Editor). Recife. PE: Universidade Federal de Pernambuco, 1995. v. 1. 494p .
RIBEIRO., M. ; J. Castro ; LENCASTRE, M. . Goal-Oriented Modeling of Safety-Critical Systems. In: Franch, X.; Sampaio do Prado Leite, J.C.; Mussbacher, G.; Mylopoulos, J.; Perini, A.. (Org.). Social Modeling Using the i* Framework. 1ed.: Springer Nature Switzerland, 2024, v. , p. 101-117.
COSTA, L. R. ; Castro, J. ; LINS, C. ; KELNER, J. ; LENCASTRE, M. ; Óscar Pastor . On the Use of Social Robots for Rehabilitation: The Case of NAO Physio. In: Rocha, Á.; Ferrás, C.; Ibarra, W.. (Org.). Information Technology and Systems. ICITS 2023. Lecture Notes in Networks and Systems - LNNS. 2ed.: Springer Nature Switzerland AG, 2023, v. 692, p. 507-517.
GONÇALVES, ENYO ; ARAUJO, João ; Castro, Jaelson . iStar4RationalAgents: Modeling Requirements of Multi-agent Systems with Rational Agents. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. 11788, p. 558-566.
Soares, Monique ; Vilela, Jéssyka ; GUEDES, GABRIELA ; SILVA, CARLA ; CASTRO, Jaelson . Core Ontology to Aid the Goal Oriented Specification for Self-Adaptive Systems. In: Álvaro Rocha, Ana Maria Correia, Hojjat Adeli, Luis Paulo Reis, Marcelo Mendonça Texeira. (Org.). Advances in Intelligent Systems and Computing. 444ed.: Springer International Publishing, 2016, v. , p. 609-618.
MYLOPOULOS, John ; CASTRO, Jaelson ; KOLP, Manuel . The Evolution of Tropos. In: Janis Bubenko, John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Solvberg. (Org.). Seminal Contributions to Information System Engineering: 25 Year of CAiSE. 1ed.Heideberg: Springer Verlag, 2013, v. , p. 281-287.
Castro, J ; KOLP, Manuel ; MYLOPOULOS, John . A Requirements-Driven Development Methodology (re-print). In: Janis Bubenko; John Krogstie; Oscar Pastor; Barbara Pernici; Colette Rolland; Arne Sølvberg. (Org.). Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE. 1ed.Heidelb: Springer-Verlag, 2013, v. , p. 265-280.
CASTRO, Jaelson ; ALENCAR, FERNANDA . Uso de Modelagem Social na Engenharia de Requisitos. In: Claudia Bauzer Medeiros. (Org.). Atualizações em Informática 2013. 1ed.Maceío: EDUFAL, 2013, v. , p. 421-480.
LENCASTRE, M. ; ARAUJO, João ; MOREIRA, Ana ; CASTRO, Jaelson . Aspect Composition in Problem Frames. In: Moreira, A.; Chitchyan, R.; Araújo, J.; Rashid, A.. (Org.). Aspect-Oriented Requirements Engineering. 1ed.: Spinger Verlag, 2013, v. , p. 121-141.
CASTRO, Jaelson ; ALENCAR, Fernanda ; SANTANDER, V. F. A. ; SILVA, Carla Taciana Lima Lourenço . Integration of i * and Object Oriented Models. In: Eric Yu, Paolo Giorgini, Neil Maiden and John Mylopoulos. (Org.). Social Modeling for Requirements Engineering. 1ed.Cambridge, MA: MIT Press, 2011, v. , p. 457-483.
ALENCAR, F. M. R. ; CASTRO, Jaelson . Desafios para a Formação Qualificada de Recursos Humanos e Estabelecimento de Cooperações Internacionais. In: Eduardo Santana de Almeida, Paulo Cesar Masiero. (Org.). A CARREIRA DE PESQUISADOR EM ENGENHARIA DE SOFTWARE: Princípios, Conceitos e Direções. 1ed.: Clube de Auotes, 2010, v. 1, p. 287-347.
CASTRO, Jaelson ; KOLP, Manuel ; Lin Liu ; PERINI, A. . Dealing with Complexity Using Conceptual Models Based on Tropos. In: A.T. Borgida; V.K. Chaudhri; P. Giorgini; E.S. Yu. (Org.). Conceptual Modeling: Foundations and Applications. Heidelberg: Springer Verlag, LNCS, 2009, v. 5600, p. 335-362.
ALENCAR, Fernanda ; CASTRO, Jaelson ; MOREIRA, Ana ; ARAUJO, João ; SILVA, Carla ; RAMOS, Ricardo ; MYLOPOULOS, John . Integration of Aspects with i* Models. In: Kolp, M., Garcia, A.; Ghoze; Bresciani, P. , Henderson-Sellers, B.; Mouratidis, H.. (Org.). Agent-Oriented Information Systems IV. Heidelberg: Springer Verlag, LNCS, 2008, v. 4898, p. 183-201.
SILVA, Carla ; CASTRO, Jaelson ; TEDESCO, Patrícia ; ARAUJO, João ; MOREIRA, A. M. D. ; MYLOPOULOS, John . Improving Multi-Agent Architectural Design. In: Choren, R.; Garcia, A.; Giese, H.; Leung, H.-f.; Lucena, C.; Romanovsky, A.. (Org.). Software Engineering for Multi-Agent Systems V : Research Issues and Practical Applications. : Springer Verlag - LNCS 4408, 2007, v. 4408, p. 165-184.
CASTRO, Jaelson ; ALENCAR, Fernanda ; SILVA, Carla Taciana Lima Lourenço . Engenharia de Software Orientada a Agentes. In: Karin Breitman and Ricardo Anido. (Org.). Atualizações em Informática,. Rio de Janeiro: Editora PUC-Rio, 2006, v. , p. 245-282.
BASTOS, Lucia Rosangela David ; CASTRO, Jaelson . Systematic Integration between Requirements and Architecture. In: Ricardo Choren; Alessandro Garcia; Carlos Lucena; Alexander Romanovsky. (Org.). Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. : Springer Verlag. Lecture Notes in Computer Science LNCS 3390, 2005, v. 3390, p. 85-103.
GIORGINI, Paolo ; KOLP, Manuel ; MYLOPOULOS, John ; CASTRO, Jaelson . Tropos: A Requirements-Driven Methodology for Agent-Oriented Software. In: Paolo Giorgini; Brian Henderson-Sellers. (Org.). Agent-Oriented Methodologies. 1ed.Hershey, PA 17033, USA: Idea Group, Inc., 2005, v. , p. 20-45.
CASTRO, Jaelson ; MYLOPOULOS, John ; SILVA, C. T. L. L. . Agent-Driven Requirements Engineering. In: Julio Cesar S. P. Leite, Jorge H. Doorn. (Org.). Perspectives on Software Requirements. Boston: Kluwer Academic Publishers, 2004, v. 1, p. 253-274.
CASTRO, Jaelson ; PINTO, R. C. C. ; CASTOR, A. ; MYLOPOULOS, John . Requirements Traceability in Agent Oriented Software Engineering. In: Alessandro Garcia; Carlos Lucena; Franco Zambonelli; Andrea Omicini; Jaelson Castro. (Org.). Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications. 1ed.Heidelberg: Springer-Verlag, Lecture Notes in Computer Science, Series State-of-the-Art Survey, LNCS 2603., 2003, v. 2603, p. 57-72.
CASTRO, Jaelson ; MYLOPOULOS, John ; KOLP, Manuel . Developing Agent-Oriented Information Systems for the Enterprise. In: Bernadette Sharp, Joaquim Filipe, José Cordeiro. (Org.). Enterprise Information Systems II. Dordrecht: Kluwer Academic Publishers, 2001, v. 1, p. 1-15.
MYLOPOULOS, John ; CASTRO, Jaelson . Tropos: A Framework for Requirements-Driven Software Development. In: Sjaak Brinkkemper; Eva Lindercrona; Arne Solvberg, A (eds). (Org.). Information Systems Engineering; State of the Art and Research Themes. 1ed.London: Springer-Verlag London Berling Heidelberg, 2000, v. 1, p. 261-273.
CASTRO, Jaelson ; GIMENES, I. M. S. ; MALDONADO, J. C. . Uma proposta de plano pedagogico para a materia Engenharia de Software. In: Sociedade Brasileira de Computacao. (Org.). Anais do II Curso: Qualidade de Cursos de Graduacao da Area de Computacao e Informatica. Curitiba: Editora Universitaria Champagnat, 2000, v. 1, p. 251-270.
CASTRO, Jaelson . Introdução À Engenharia de Requisitos. In: XX Congresso da Sociedade Brasileira de. (Org.). - Livro Texto Para O XIV JAI - Jornada de Atualização Em Informática,. Canela, Rio Grande do Sul: SBC, 1995, v. 1, p. 1-43.
CASTRO, Jaelson . Análise e Projeto Orientado A Objeto. In: XIV Congresso da SBC. (Org.). XIII JAI- Jornada de Atualização Em Informática. Caxambú, MG: SBC, 1994, v. 1, p. 1-54.
SILVA, YTALO ; GOIS, MARIA ; SANTOS, ABIMAEL ; Castro, Jaelson ; Lencastre, Maria . Uso de Large Language Models na Engenharia de Requisitos. In: Workshop on Requirements Engineering, 2025, Rio de Janeiro-RJ. Anais do Workshop em Engenharia de Requisitos. Recife: Even3, 2025.
ALVES-JÚNIOR, MOZART ; FERNANDES, SANDEISON ; Castro, Jaelson ; OLIVEIRA, ALVARO ; NUNES, ALDO . appSCE: uma Ferramenta para Classificação da qualidade de evidências usadas em Casos de Garantia de Segurança. In: Workshop on Requirements Engineering, 2025, Rio de Janeiro-RJ. Anais do Workshop em Engenharia de Requisitos. Recife: Even3, 2025.
T. FILHO, W. F. ; Lencastre, Maria ; CASTRO, Jaelson . Conflict Measurement in Software Development: Systematic Literature Mapping. In: 20th Iberian Conference on Information Systems and Technologies, 2025, Lisboa. Proceedings of 20th Iberian Conference on Information Systems and Technologies (CISTI´2025), 2025. p. 1-12.
RIBEIRO, Quelita ; SANTOS, Abimael ; OLIVEIRA, KAROLYNE ; Castro, Jaelson ; Lencastre, Maria . A View of the Technical, Individual, and Social Dimensions of Sustainable Software Systems: A Systematic Literature Review. In: The 39th ACM/SIGAPP Symposium On Applied Computing (SAc 2024), 2024, Avila. Proceeding of The 39th ACM/SIGAPP Symposium On Applied Computing. ACM, 2024. p. 1-9.
SANTOS, Abimael ; Castro, Jaelson ; RIBEIRO, Quelita ; Lencastre, Maria . Catálogo de requisitos de sustentabilidade: Um estudo preliminar. In: 27th Workshop on Requirements Engineering (WER 2024) - Full paper, Regular Research Track (WER-RT), 2024, Buenos aires. Anais do WER24 - Workshop em Engenharia de Requisitos, Buenos Aires, Argentina, Agosto 7-9, 202, 2024. p. 1-14.
Silva, José F. G. ; Lencastre, Maria ; CASTRO, Jaelson . Modelagem Conceitual de Dívida Técnica na Engenharia de Requisitos. In: 27th Workshop on Requirements Engineering (WER 2024) - Full paper, Regular Research Track (WER-RT), 2024, Buenos aires. Anais do WER24 - Workshop em Engenharia de Requisitos, Buenos Aires, Argentina, Agosto 7-9, 2024, 2024. p. 1-14.
Ribeiro, Moniky ; Castro, Jaelson ; Argenton, Ricardo . Integrating STPA with Safety Requirements Modeling. In: Simpósio Brasileiro de Engenharia de Software, 2024, Brasil. Anais do XXXVIII Simpósio Brasileiro de Engenharia de Software (SBES 2024), 2024. p. 561-567.
GUILHERMINO, FERNANDO ; Lencastre, Maria ; Castro, Jaelson . Processo para Incorporação do Conceito de Dívida Técnica de Requisitos em Projetos Acadêmicos. In: Simpósio Brasileiro de Engenharia de Software, 2024, Brasil. Anais do XXXVIII Simpósio Brasileiro de Engenharia de Software (SBES 2024). Porto Alegre: Sociedade Brasileira de Computação, 2024. p. 510-520.
Lencastre, Maria ; Pimentel, João ; SIlva, Daniel ; Lira, Luiza ; Castro, Jaelson . Applying Gamification to Prioritize Requirements in Agile Projects. In: Applying Gamification to Prioritize Requirements in Agile Projects Applying Gamification to Prioritize Requirements in Agile Projects, 2023, Tallin. SAC'23: The 38th ACM/SIGAPP Symposium on Applied Computing, 2023. p. 1498-1507.
Costa, Larissa ; Castro, Jaelson ; KELNER, Judith ; JERONIMO, BRUNO ; Lencastre, Maria ; Pastor, Óscar . On The Quest of Trust Requirements for Socially Assistive Robots. In: 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), 2023, Hannover. 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), 2023. p. 252-261.
Lira, Luiza ; Lencastre, Maria ; PIMENTEL, JOAO HENRIQUE ; Castro, Jaelson Brelaz ; BANDEIRA, MÔNICA . Visual-PR: Uma Abordagem Visual e Gamificada para o apoio à Priorização de Requisitos. In: Workshop on Requirements Engineering, 2023, Porto Alegre. Anais do Workshop em Engenharia de Requisitos, 2023.
Ribeiro, Moniky ; Castro, Jaelson ; RAMOS, Ricardo ; Lencastre, Maria ; SANTOS, ABIMAEL . Requirements4Safety - Construindo uma Técnica para Modelagem de Requisitos Iniciais de Segurança. In: Workshop on Requirements Engineering, 2023, Porto Alegre. Anais do Workshop em Engenharia de Requisitos, 2023.
Ribeiro, Moniky ; Castro, Jaelson ; Argenton, Ricardo ; Lencastre, Maria ; SANTOS, Abimael ; Pastor, Óscar . Integrating Goal Oriented Requirements Modeling and Safety Analysis with Requirements4Safety.. In: iStar?23: The 16th International i* Workshop, 2023, Hannover. Proceedings of the 16th International iStar Workshop (iStar 2023) co-located with 31st IEEE International Requirements Engineering 2023 Conference (RE 2023), 2023. v. 3533. p. 40-46.
RIBEIRO, QUELITA A. D. S. ; Ribeiro, Moniky ; Castro, Jaelson . Requirements engineering for autonomous vehicles. In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, 2022, Virtual Event. Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 2022. p. 1299-1308.
Rodrigues da Costa, Larissa ; Castro, Jaelson ; KELNER, Judith ; Lencastre, Maria . Requisitos Não-Funcionais de Confiança: Um Catálogo para Robôs Socialmente Assistivos. In: 25th Workshop on Requirements Engineering (WER 2022) - Full paper, Regular Research Track (WER-RT), 2022, Natal. Anais do WER22 - Workshop em Engenharia de Requisitos, Virtual mode, Natal, Brasil, Agosto 23-26, 2022, 2022. p. 1-14.
Ribeiro, Moniky ; Castro, Jaelson ; Argenton, Ricardo . Modelagem de Requisitos Iniciais de Segurança com Requirements4Safety. In: 25th Workshop on Requirements Engineering (WER 2022) - Master and Doctoral Track (WER-MDT), 2022, Natal. Anais do WER22 - Workshop em Engenharia de Requisitos, Virtual mode, Natal, Brasil, Agosto 23-26, 2022. Editora PUC-Rio: WERpapers, 2022. p. 1-10.
de Melo Alves Júnior, Mozart ; Lencastre, Maria ; Castro, Jaelson . SAFE-Robot: Uma Abordagem para Sistematizar a Elaboração de Casos de Garantia de Segurança que Auxilie na Certificação de Sistemas Robóticos. In: 25th Workshop on Requirements Engineering (WER 2022). Master and Doctoral Track (WER-MDT)., 2022, Natal. Anais do WER22 - Workshop em Engenharia de Requisitos, Virtual mode, Natal, Brasil, Agosto 23-26, 2022. Rio de Janeiro: Editora PUC-Rio, 2022. p. 1-10.
RIBEIRO, Quelita ; Castro, Jaelson . Safety & Security Alignment in Requirements Engineering Process for Autonomous Vehicles. In: 25th Workshop on Requirements Engineering (WER 2022) - Master and Doctoral Track (WER-MDT)., 2022, Natal. Anais do WER22 - Workshop em Engenharia de Requisitos, Virtual mode, Natal, Brasil, Agosto 23-26, 2022. Rio de Janeiro: Editora PUC-Rio, 2022. p. 1-10.
Alves Júnior, M. M. ; Lencastre, Maria ; BRITO, LUCAS FLORÊNCIO DE ; Castro, Jaelson ; Ribeiro, Moniky . Casos de Garantia de Segurança aplicados a sistemas robóticos: revisão sistemática da literatura. In: 24th WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2021) - Regular Track (WER-RT), 2021, Brasília. Anais do WER21 - Workshop em Engenharia de Requisitos. Rio de Janeiro: Editora PUC-Rio, 2021. p. 1-14.
PEREIRA, Tarcisio ; RIBEIRO, Quelita ; Melo, Mozart ; Magro, Sthefanie ; ALENCAR, Fernanda ; Castro, Jaelson . Requirements Engineering for Embedded Systems: A Systematic Literature Review. In: 24th WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2021) - Regular Track (WER-RT), 2021, Brasília. Anais do WER21 - Workshop em Engenharia de Requisitos. Rio de Janeiro: Editora PUC-Rio, 2021. p. 1-14.
Costa, Larissa ; Castro, Jaelson . Requisitos de Confiança para Robôs Socialmente Assistivos. In: 24th WORKSHOP ON REQUIREMENTS ENGINEERING (WER 20221) - Master's and Doctoral Track (WER-MDT), 2021, Brasília. Anais do WER21 - Workshop em Engenharia de Requisitos. Rio de Janeiro: Editora PUC-Rio, 2021. p. 1-7.
GONÇALVES, ENYO ; ARAUJO, João ; Castro, Jaelson . A process to support the creation of iStar extensions. In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, 2020, Brno Czech Republic. Proceedings of the 35th Annual ACM Symposium on Applied Computing. New York: ACM, 2020. p. 1363-1370.
Vilela, Jéssyka ; MARTINS, LUIZ EDUARDO G. ; GORSCHEK, TONY ; Castro, Jaelson . Assessment of companies? safety processes maturity in requirements engineering with Uni-REPM SCS. In: XI Congresso Brasileiro de Software: Teoria e Prática, 2020, Brasil. Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), 2020. p. 135-138.
DAL MAGRO, STHÉFANIE ; Castro, Jaelson . Elicitação de Requisitos em Sistemas Críticos de Segurança. In: XI Congresso Brasileiro de Software: Teoria e Prática, 2020, Brasil. Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), 2020. p. 77-83.
GONCALVES, ENYO ; Rodrigues, Guilherme ; Miranda, Paulo ; Pimentel, João ; ARAÚJO, JOÃO ; CASTRO, Jaelson . piStar-ext: Supporting the Creation of iStar Extensions with the piStar tool. In: Thirteenth International iStar Workshop (iStar 2020), 2020, Zurich. Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference RE2020, 2020. v. 2641. p. 31-36.
Silva, Reinaldo ; Castro, Jaelson ; Pimentel, João . NFR4ES: Um Catálogo de RNFs para Sistemas Embarcados. In: 23rd WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2020), 2020, São José dos Campos. Anais do WER20 - Workshop em Engenharia de Requisitos, 2020. p. 1-14.
GONÇALVES, ENYO ; ARAÚJO, João ; Castro, Jaelson . Supporting Creation of New iStar Extensions through a Process. In: XI Congresso Brasileiro de Software: Teoria e Prática, 2020, Brasil. Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), 2020. p. 180-194.
Vilela, Jéssyka ; Castro, Jaelson ; MARTINS, Luiz Eduardo. ; GORSCHEK, TONY ; ALMENDRA, C. C. . Requirements Communication in Safety-Critical Systems. In: 22nd WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2019), 2019, Recife. Anais do WER19 - Workshop em Engenharia de Requisitos, 2019. p. 1-14.
Ribeiro, Moniky ; Castro, Jaelson ; Vilela, Jéssyka ; Pimentel, João . iStar4Safety: Uma Extensão de iStar para Modelagem de Requisitos de Segurança em Sistemas Críticos. In: 22nd WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2019), 2019, Recife. Anais do WER19 - Workshop em Engenharia de Requisitos, 2019. p. 1-14.
Ribeiro, Moniky ; Castro, Jaelson ; Pimentel, João . iStar for Safety-Critical Systems. In: iStar 2019 Twelfth International i* Workshop, 2019, Salvador, Brazil. Proceedings of the 12th International i* Workshop co-located with 38th International Conference on Conceptual Modeling ER 2019, 2019. v. 2490. p. 1-7.
GONCALVES, ENYO ; Almendra, Camilo ; ARAUJO, JOAO ; Castro, Jaelson ; GOULAO, Miguel . Addressing Symbol Redundancy Representations in iStar Extensions. In: iStar 2019 Twelfth International i* Workshop, 2019, Salvador, Brazil. Proceedings of the 12th International i* Workshop co-located with 38th International Conference on Conceptual Modeling ER 2019, 2019. v. 2490. p. 1-6.
Pimentel, João ; Castro, Jaelson ; Ribeiro, Moniky ; Souza, Alberto ; Ramos, Breno . Creating Modelling Tools for i* Language Extensions. In: iStar 2019 Twelfth International i* Workshop, 2019, Salvador, Brazil. Proceedings of the 12th International i* Workshop co-located with 38th International Conference on Conceptual Modeling ER 2019, 2019. p. 1-6.
Vilela, Jéssyka ; SILVA, CARLA ; Castro, Jaelson ; G. MARTINS, LUIZ EDUARDO ; GORSCHEK, TONY . SARSSi*: a Safety Requirements Specification Method based on STAMP/STPA and i* language. In: I Brazilian Workshop on Largescale Critical Systems, 2019, Salvador. Anais do I Brazilian Workshop on Large-scale Critical Systems (BWare 2019), 2019. p. 17-24.
Gonçalves, E. ; HEINECK, T. ; Oliveira, L. ; ARAUJO, J. ; Castro, Jaelson . The PRISE Tool to Support iStar Extensions.. In: 22nd WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2019), 2019, Recife. Anais do WER19 - Workshop em Engenharia de Requisitos, 2019. p. 1-6.
Pimentel, João ; Santos, Emanuel ; PEREIRA, Tarcisio ; FERREIRA, Daniel ; CASTRO, Jaelson . A gamified requirements inspection process for goal models. In: the 33rd Annual ACM Symposium, 2018, Pau. Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18. New York: ACM Press, 2018. v. 1. p. 1300-1307.
Gonçalves, E. ; ARAÚJO, JOÃO ; Castro, J . Towards Extension Mechanisms in iStar 2.0. In: Eleventh International i* Workshop (iStar18), 2018, Tallinn, Estônia. Proceedings of the 11th International i* Workshop co-located with the 30th International Conference on Advanced Information Systems Engineering (CAiSE 2018), Tallinn, Estonia, June 12, 2018, 2018. v. 2118. p. 1-7.
PIMENTEL, JOAO ; CASTRO, Jaelson . piStar Tool - A Pluggable Online Tool for Goal Modeling. In: 2018 IEEE 26th International Requirements Engineering Conference (RE), 2018, Banff. 2018 IEEE 26th International Requirements Engineering Conference (RE), 2018. p. 498-499.
Vilela, Jéssyka ; Castro, Jaelson ; MARTINS, LUIZ EDUARDO G. ; GORSCHEK, TONY . Safe-RE. In: the XXXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXXII Brazilian Symposium on Software Engineering - SBES '18, 2018. p. 196-201.
ALBUQUERQUE, DANYLLO ; Castro, Jaelson ; SOUSA, AEDA . A Requirements Definition Framework for the Robotic Systems Domain - An Exploratory Study. In: Workshop em Engenharia de Requisitos 2018, 2018. Anais do WER18 - Workshop em Engenharia de Requisitos, 2018.
GONÇALVES, ENYO ; HEINECK,, TIAGO ; Castro, Jaelson . A Catalogue of iStar Extensions. In: Workshop em Engenharia de Requisitos 2018, 2018, Rio de Janeiro. Anais do WER18 - Workshop em Engenharia de Requisitos, 2018.
PEREIRA, Tarcisio ; SOUSA, AEDA ; OLIVEIRA, REINALDO ; ALBUQUERQUE, DEIVSON ; ALENCAR, FERNANDA ; Castro, Jaelson . A Metamodel to Guide a Requirements Elicitation Process for Embedded Systems. In: 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018, Coimbra. 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018. p. 101-109.
VILELA, JESSYKA ; Castro, Jaelson ; MARTINS, LUIZ EDUARDO G. ; GORSCHEK, TONY . Assessment of Safety Processes in Requirements Engineering. In: 2018 IEEE 26th International Requirements Engineering Conference (RE), 2018, Banff. 2018 IEEE 26th International Requirements Engineering Conference (RE), 2018. p. 358-363.
Albuquerque, D. ; RIBEIRO, S. ; Castro, J ; HEINECK, T. . Requirements Engineering for Robotic System: A Systematic Mapping Study. In: XX Workshop on Requirements Engineering - WER 17, 2017, Buenos Aires. Anais do WER17 - Workshop em Engenharia de Requisitos. Buenos Aires: Universidad Nacional de La Matanza, 2017. p. 1-14.
PEREIRA, T. ; Albuquerque, D. ; Sousa, A. ; ALENCAR, F. ; Castro, J . Retrospective and Trends in Requirements Engineering for Embedded Systems: A Systematic Literature Review. In: XX Workshop on Requirements Engineering - WER 2017, 2017, Buenos Aires. Anais do WER17 - Workshop em Engenharia de Requisitos. Buenos Aires: Universidad Nacional de La Matanza., 2017. p. 1-14.
Vilela, Jéssyka ; CASTRO, Jaelson ; MARTINS, LUIZ EDUARDO G. ; GORSCHEK, TONY ; SILVA, CARLA . Specifying Safety Requirements with GORE languages. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17, 2017. p. 154-163.
VILELA, J. F. F. ; Castro, J ; MARTINS, L. E. G. . Uni-REPM Safety Module: evaluating the maturity of safety processes in requirements engineering. In: VII Workshop de Teses e Dissertações do Congresso Brasileiro de Software (WTDSOFT@CBSOFT), 2017, Fortleza. Anais da VII Workshop de Teses e Dissertações do Congresso Brasileiro de Software (WTDSOFT@CBSOFT), 2017. p. 91-99.
Gonçalves, E. ; Castro, J ; ARAUJO, João . An Approach to Guide iStar Extensions. In: VII Workshop de Teses e Dissertações do Congresso Brasileiro de Software (WTDSOFT@CBSOFT), 2017, Fortaleza. Anais do VII Workshop de Teses e Dissertações do Congresso Brasileiro de Software (WTDSOFT@CBSOFT), 2017.
Vilela, Jéssyka ; GONÇALVES, ENYO ; HOLANDA, ANA ; FIGUEIREDO, BRUNO ; CASTRO, Jaelson . Retrospective, relevance, and trends of SAC requirements engineering track. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press. p. 1264-1280.
VILELA, J. ; Castro, J ; Pimentel, João ; Gonçalves, E. . An empirical study on the use of context annotations and flow expressions to specify the behavior of context- sensitive systems. In: 19th Workshop on Requirements Engineering, 2016, Quito. Proceedings of the XIX Ibero-American Conference on Software Engineering, 2016. p. 318-331.
LIMA, P. ; VILELA, J. ; Gonçalves, E. ; Pimentel, J. ; HOLANDA, A. ; Castro, J ; ALENCAR, F. ; LENCASTRE, M. . Scalability of istar: a Systematic Mapping Study. In: 19th Workshop on Requirements Engineering, 2016, Quito. Proceedings of the XIX Ibero-American Conference on Software Engineering, 2016. p. 290-303.
Pereira, T. ; ALENCAR, F. ; Castro, J . BVCCON-TOOL: A Modeling Tool to Support Dynamic Business Process Conguration Approach. In: XIX Ibero-American Conference on Software Engineering (CIbSE 16), 2016, Quito. Proceedigns of the XIX Ibero-American Conference on Software Engineering, 2016. p. 39-52.
HEINECK, T. ; Gonçalves, E. ; Castro, J . Técnicas de Desenvolvimento Orientado a Modelos no Domínio de Robótica e Robôs Sociais. In: WORKSHOP DE TESES E DISSERTAÇÕES EM SISTEMAS DE INFORMAÇÃO (WTDSI - SBSI 2016), 2016, Florianópolis. Anais do IX Workshop de Teses e Dissertações em Sistemas de Informação, 2016. p. 11-13.
Gonçalves, E. ; HOLANDA, A. C. ; Netto, D. ; BASTOS, H. C. ; Calisto, André ; Santos, Mayara ; SILVA, F. ; SILVA, Carla ; Castro, J . Explorando a Evolução do Problema de Pesquisa de Doutorado: Um Estudo Qualitativo no LER/UFPE. In: 24º WEI - Workshop sobre Educação em Computação (WEI 2016), 2016, Porto Alegre. Anais do XXXVI Congresso da Sociedade Brasileira de Computação, 2016. p. 2154-2165.
HEINECK, TIAGO ; GONCALVES, ENYO ; SOUSA, AEDA ; OLIVEIRA, MARCOS ; CASTRO, Jaelson . Model-Driven Development in Robotics Domain: A Systematic Literature Review. In: 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2016, Maringá. 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2016. p. 151-160.
PEREIRA, TARCISIO ; ALBUQUERQUE, DEIVSON ; SOUSA, AEDA ; ALENCAR, FERNANDA ; CASTRO, Jaelson . Towards a Metamodel for a Requirements Engineering Process of Embedded Systems. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC). p. 93-100.
PIMENTEL, JOAO ; Lencastre, Maria ; CASTRO, Jaelson . Implicit Priorities in Adaptation Requirements. In: 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC), 2016, Lisbon. 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC), 2016. p. 83-85.
VILELA, J. F. F. ; CASTRO, Jaelson ; Pimentel, J. H. C. ; Cavalcanti, P. L. . On the behaviour of context-sensitive systems. In: 18th Workshop on Requirements Engineering (WER 2015), 2015, Lima, Peru. Porceeding of the XVIII Ibero-American Conference on Software Engineering. Lima - Peru: UCSP, 2015. p. 632-645.
Merlin, L. P. ; Silva, A. L. B. ; SANTANDER, V. F. A. ; SILVA, I. F. ; CASTRO, Jaelson . Integrating the E4J editor to the JGOOSE tool. In: 18th Workshop on Requirements Engineering (WER 2015), 2015, Lima, Peru. Proceedings of the XVIII Ibero-American Conference on Software Engineering. Lima-Peru: UCSP, 2015. p. 646-659.
Pereira, T. C. ; ALENCAR, F. M. R. ; CASTRO, Jaelson ; Alves, E. ; Cavalcanti, P. L. . Apoio a Configuração de Processos de Negócio Dinâmicos. In: 18th Workshop on Requirements Engineering (WER 2015), 2015, Lima, Peru. Proceedigns of the XVIII Ibero-American Conference on Software Engineering. Lima-Peru: UCSP, 2015. p. 702-715.
VILELA, J. F. F. ; Castro, J ; Pimentel, J. H. C. ; SOARES, M. C. ; Cavalcanti, P. L. ; LUCENA, M. J. N. R. . Deriving the behavior of context-sensitive systems from contextual goal models. In: 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015), 2015, Salamanca, Spain. SAC´15 Proceedings of the 30th Annual ACM Symposium on Applied Computing. New York: ACM, 2015. p. 1397-1400.
Pimentel, J. H. C. ; Castro, J . Designing Adaptive Systems. In: Eighth International i*Workshop (iStar 2015), 2015, Ottawa, Canada. Proceedings of the Eighth International i*Workshop, iStar 2015, in conjunction with the 23rd International Requirements Engineering Conference (RE 2015). Aachen: CEUR Workshop Proceedings, 2015. p. 91-96.
Melo, J. ; Sousa, A. ; Agra, C. ; Junior, J. ; Castro, J ; ALENCAR, F. M. R. . Formalization of Mapping Rules from iStar to Class Diagram in UML. In: 29th Brazilian Symposium on Software Engineering (SBES 2015), 2015, Belo Horizonte. 2015 29th Brazilian Symposium on Software Engineering, 2015. p. 71-79.
Pimentel, J. H. C. ; VILELA, J. F. F. ; Castro, J . Web Tool for Goal Modelling and Statechart Derivation. In: 23rd IEEEInternational Requirements Engineering Conference (RE 2015), 2015, Ottawa. 2015 IEEE 23rd International Requirements Engineering Conference (RE), 2015. p. 292-293.
VILELA, J. F. F. ; Figueiredo, B. N. ; Castro, J ; SOARES, M. C. ; Gonçalves, E. . Usability and Software Architecture: a Literature Review. In: IX Brazilian Symposium on Components, Architectures and Reuse Software (SBCARS 2015), 2015, Belo Horizonte. 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software. New York: IEEE, 2015. p. 80-89.
SOUZA, GABRIELA GUEDES DE ; SILVA, C. T. L. L. ; SOARES, M. C. ; Castro, J . Variability Management in Dynamic Software Product Lines: A systematic mapping. In: IX Brazilian Symposium on Components, Architectures and Reuse Software (SBCARS 2015), 2015, Belo Horizonte. 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software. New York: IEEE, 2015. p. 90-99.
Figueiredo, B. N. ; Castro, J ; OLIVEIRA, KAROLYNE . Uma Extensão de Elementos BPMN para Modelagem de Características Autonômicas em Processos de Negócio. In: V Workshop de Teses e Dissertações do CBSoft, 2015, Belho Horizonte. Anais do V Workshop de Teses e Dissertações do CBSoft, 2015. p. 13-18.
Gonçalves, E. ; Oliveira, F. ; VILELA, J. F. F. ; PEIXOTO, M. M. ; Castro, J . Produção de Videoaulas de Programação em Java Acessíveis no Contexto de um Projeto de Capacitação Profissional para Pessoas Surdas. In: XXVI Simpósio Brasileiro de Informática na Educação (SBIE 2015), 2015, Maceió. Anis do XXVI Simpósio Brasileiro de Informática na Educação (SBIE 2015), 2015. p. 887-896.
Pimentel, João ; CASTRO, Jaelson ; MYLOPOULOS, John ; ANGELOPOULOS, KONSTANTINOS ; SOUZA, VÍTOR E. SILVA . From requirements to statecharts via design refinement. In: the 29th Annual ACM Symposium, 2014, Gyeongju. Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14. New York: ACM Press. p. 995-1000.
DERMEVAL, DIEGO ; VILELA, JESSYKA ; BITTENCOURT, IG IBERT ; CASTRO, Jaelson ; ISOTANI, SEIJI ; BRITO, PATRICK . A Systematic Review on the Use of Ontologies in Requirements Engineering. In: 2014 Brazilian Symposium on Software Engineering (SBES), 2014, Maceio. 2014 Brazilian Symposium on Software Engineering. p. 1-10.
DERMEVAL, DIEGO ; CASTRO, Jaelson ; SILVA, CARLA ; Pimentel, João ; BITTENCOURT, IG IBERT ; BRITO, PATRICK ; ELIAS, ENDHE ; TENÓRIO, THYAGO ; PEDRO, ALAN . On the use of metamodeling for relating requirements and architectural design decisions. In: the 28th Annual ACM Symposium, 2013, Coimbra. Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13. New York: ACM Press. p. 1278-1283.
OLIVEIRA, KAROLYNE ; PIMENTEL, JOAO ; Santos, Emanuel ; DEMERVAL, Diego ; Gabriela Gedes ; SOUZA, Cleice ; Monique Soares ; CASTRO, Jaelson ; ALENCAR, Fernanda ; SILVA, Carla . 25 years of Requirements Engineering in Brazil: a systematic mapping. In: 16th Requirements Engineering Workshop ( WER 2013), 2013, Montevideo. Proceedings of the 16th Requirements Engineering Workshop - WER 2013, 2013. p. 1-17.
Varela, J. ; Castro, J ; SANTANDER, V. F. A. . Integrando o Framework I* com a Gerência de Risco. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 92-97.
SOUZA, Cleice ; SOUZA, Claudia ; ALENCAR, F. ; Castro, J ; Cavalcanti, P. ; Monique Soares ; GUEDES, GABRIELA ; FIGUEIREDO, Eduardo . Avaliação de Modelos i* com o Processo AIRDoc-i*. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 104-110.
SANTOS, E. B. ; Pimentel, J. ; Pereira, T. ; OLIVEIRA, KAROLYNE ; Castro, J . Business Process Configuration with NFRs and Context-Awereness. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 142-147.
GUEDES, GABRIELA ; SILVA, C. T. L. L. ; Castro, J . Goals and Scenarios to Software Product Lines: the GS2SPL Approach. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 148-153.
Alves, R. ; SILVA, C. T. L. L. ; Castro, J . A bi-directional integration between i* and BPMN models in the context of business process management: A position paper (aceito). In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 166-171.
OLIVEIRA, KAROLYNE ; Pereira, T. ; SANTOS, E. B. ; Castro, J . Representando Características Autonômicas nos Processos de Negócio. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 196-201.
Monique Soares ; Pimentel, J. H. C. ; SILVA, C. T. L. L. ; GUEDES, GABRIELA ; TALITHA, Cleice ; ALENCAR, F. M. R. ; Castro, J ; VILELA, J. . Automatic Models Transformation for the STREAM process. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 214-219.
Pimentel, J. H. C. ; Castro, J ; SANTOS, E. B. ; Monique Soares ; VILELA, J. ; GUEDES, GABRIELA . Requirements and Architectures for Adaptive Systems. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. CEUR Workshop Proceedings, 2013. v. 1005. p. 232-237.
Jaqueira, A. ; LUCENA, M. J. N. R. ; ALENCAR, F. M. R. ; Castro, J ; Aranha, E. . Using i * Models to Enrich User Stories. In: 6th International i* Workshop, 2013, Valência. CEUR Workshop Proceedings, 2013. v. 978. p. 55-60.
Pimentel, J. H. C. ; Angelopoulos, K. ; SOUZA, V. E. S. ; MYLOPOULOS, John ; Castro, J . From Requirements to Architectures for Better Adaptive Software Systems. In: 6th International i* Workshop, 2013, Valência. CEUR Workshop Proceedings, 2013. v. 978. p. 91-96.
OLIVEIRA, KAROLYNE ; Castro, J ; ESPANA, SERGIO ; PASTOR, O. . Multi-level Autonomic Business Process Management. In: BPMDS?13 Working Conference - Business Process Modeling, Development, and Support, 2013, Valencia. Enterprise, Business-Process and Information Systems Modeling: 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings. Heidelberg: Springer-Verlag- LNBIP Series, 2013. v. 147. p. 184-198.
Pereira, T. ; ALENCAR, Fernanda ; SILVA, J. R. F. ; Castro, J . Requisitos Não-Funcionais em Modelos de Processos de Negócio: Uma Revisão Sistemática. In: IX Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), 2013, João Pessoa. Anais do IX Simpósio Brasileiro de Sistemas de Informação, 2013. p. 37-48.
VILELA, J. ; RAMOS, Ricardo ; CASTRO, Jaelson . Mastem: A Mathematics Tutoring Multi-Agent System. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro. Proceedings of Requirements Engineering@Brazil 2013, 2013. p. 98-104.
SOARES, MONIQUE CONCEICAO ; SCHUENEMANN, CARLA TACIANA LIMA LOURENCO SILVA ; SOUZA, GABRIELA GUEDES DE ; CASTRO, JAELSON FREIRE BRELAZ DE ; SOUZA, CLEICE TALITHA NASCIMENTO ; PEREIRA, TARCISIO COUTO . Using Tranformation Rules to Align Requirements and Archictectural Models. In: 2013 27th Brazilian Symposium on Software Engineering (SBES), 2013, Brasilia. 2013 27th Brazilian Symposium on Software Engineering. p. 11-20.
OLIVEIRA, KAROLYNE ; CASTRO, Jaelson ; Santos, Emanuel ; FIDALGO, ROBSON ; ESPANA, SERGIO ; PASTOR, OSCAR . A Multi Level Approach to Autonomic Business Process. In: 26th Brazilian Symposium on Software Engineering (SBES 2012), 2012, Natal. 2012 26th Brazilian Symposium on Software Engineering. p. 91-10.
Pimentel, J. H. C. ; CASTRO, Jaelson ; Santos, Emanuel ; FINKELSTEIN, A. . Towards Requirements and Architecture Co-evolution. In: The 10th Workshop on System/Software Architecture (IWSSA'12), 2012, Gdansk. Advanced Information Systems Engineering Workshops, Lecture Notes in Business Information Processing (LNBIP),. Heidelberg: Springer-Verlarg, 2012. v. 112. p. 159-170.
Pimentel, João ; Santos, Emanuel ; CASTRO, Jaelson ; FINKELSTEIN, A. . On the Dynamic Configuration of Business Process Models. In: 17th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2012), 2012, Gdansk, Poland. Enterprise, Business-Process and Information Systems Modeling, Lecture Notes in Business Information Processing- LNBIP, 2012. v. 113. p. 331-346.
OLIVEIRA, KAROLYNE ; CASTRO, Jaelson ; ESPANA, SERGIO ; PASTOR, OSCAR . Towards Autonomic Business Process Models. In: 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012, San Francisco. Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012. p. 531-536.
Gabriela Gedes ; SILVA, Carla ; CASTRO, Jaelson ; Monique Soares ; DEMERVAL, Diego ; SOUZA, Cleice . GS2SPL: Goals and Scenarios to Software Product Lines. In: 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012, San Francisco. Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012. p. 651-656.
DERMEVAL, DIEGO ; PIMENTEL, JOAO ; SILVA, Carla ; CASTRO, Jaelson ; Santos, Emanuel ; GUEDES, GABRIELA ; LUCENA, M'RCIA ; FINKELSTEIN, ANTHONY . STREAM-ADD - Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process. In: 2012 IEEE 36th Annual Computer Software and Applications Conference COMPSAC 2012, 2012, Izmir. 2012 IEEE 36th Annual Computer Software and Applications Conference. p. 602-611.
FIDALGO, ROBSON ; SOUZA, E. M. ; ESPANA, SERGIO ; CASTRO, Jaelson Brelaz de ; CASTRO, Jaelson ; PASTOR, OSCAR . EERMM: A Metamodel for the Enhanced Entity-Relationship Model. In: Conceptual Modeling - 31st International Conference ER 2012, 2012, Florence. 31st International Conference ER 2012. Heideberg: Springer, Lecture Notes in Computer Science- LNCS Volume 7532, 2012. v. 7532. p. 515-524.
LUCENA, M. J. N. R. ; CASTRO, Jaelson ; SILVA, C. T. L. L. ; ALENCAR, F. M. R. ; SANTOS, E. B. . STREAM: A Strategy for Transition between Requirements Models and Architectural Models. In: 26th Anual ACM Symposium on Applied Computing 2011 (SAC), 2011, TaiChung , Taiwan. Proceedings of the 26th Annual ACM Symposium on Applied Computing 2011, 2011. v. 1. p. 699-704.
Pimentel, J. H. C. ; CASTRO, Jaelson ; Franch, X. . Specification of Failure-Handling Requirements as Policy Rules on Self-Adaptive Systems. In: 14TH WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2011), 2011, Rio de Janeiro, Brazil. Proceedings of the 14TH WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2011), 2011. p. 345-356.
SILVA, C. T. L. L. ; Borba, C. C. ; CASTRO, Jaelson . A Goal Oriented Approach to Identify and Configure Feature Models for Software Product Lines. In: 14TH WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2011), 2011, Rio de Janeiro, Brazil. Proceedings of the 14TH WORKSHOP ON REQUIREMENTS ENGINEERING (WER 2011), 2011. p. 395-406.
Pimentel, J. H. C. ; Franch, X. ; CASTRO, Jaelson . Measuring Architectural Adaptability in i* Models. In: XIV Ibero-American Conference on Software Engineering (CIbSE11) - Nominiee for best paper, 2011, Rio de Janeiro, Brazil. Proceedings of the XIV Ibero-American Conference on Software Engineering (CIbSE11), 2011. p. 115-128.
Pimentel, J. ; CASTRO, Jaelson ; MOURA, H. P. ; SANTOS, E. B. ; Franch, X. . Towards Anticipating Requirements Changes through Studies of the Future. In: Fifth IEEE International Conference on Research Challenges in Information Science (RCIS 2011), 2011, Guadeloupe, France. Proceedings of Fifth IEEE International Conference on Research Challenges in Information Science (RCIS 2011), 2011. p. 1-11.
CASTRO, Jaelson ; Pimentel, J. H. C. ; LUCENA, M. J. N. R. ; SANTOS, E. B. ; Matos, D. D. M. C. . F-STREAM: A Flexible Process for Deriving Architectures from Requirements Models. In: 9th INTERNATIONAL WORKSHOP ON SYSTEM/SOFTWARE ARCHITECTURES (IWSSA'11), 2011, London. Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, 2011. v. 83. p. 342-353.
Gabriela Gedes ; Castro, J ; SILVA, Carla . Towards an i*-based Architecture Derivation Approach.. In: Proceedings of the 5th International i* Workshop 2011, 2011, Trento, Italy. CEUR Workshop Proceedings, 2011. p. 66-71.
Àtila Malta ; Monique Soares ; SANTOS, E. B. ; Josias Paes ; ALENCAR, F. ; Castro, J . Goals and Scenarios for Requirements Engineering of Software Product Lines. In: Proceedings of the 5th International i* Workshop 2011( ISTAR11), 2011, Trento, Italy,. CEUR Workshop Proceedings, 2011, 2011. v. 766. p. 108-113.
SANTOS, E. B. ; Pimentel, J. ; Matos, D. D. M. C. ; PASTOR, O. ; CASTRO, Jaelson . iStarTool: Modeling Requirements using the i* Framework.. In: Proceedings of the 5th International i* Workshop 2011 (iStar 2011),, 2011, Trento, Italy. CEUR Workshop Proceedings, 2011., 2011. v. 766. p. 163-165.
SANTOS, E. B. ; Pimentel, J. H. C. ; Matos, D. D. M. C. ; CASTRO, Jaelson ; PASTOR, O. . Using NFR and Context to Deal with Adaptability in Business Process Models. In: 2nd International Workshop on requirements@run.time (RTT 2011),, 2011, Trento, Italy. Proceedings of the 2nd International Workshop on requirements@run.time (RTT 2011),, 2011.
PAES, JOSIAS ; CASTRO, Jaelson ; SILVA, Carla ; Santos, Emanuel ; LIMA, CARLOS . An Approach to Generate Tools for i* Languages. In: 2011 25th Brazilian Symposium on Software Engineering (SBES), 2011, Sao Paulo. 2011 25th Brazilian Symposium on Software Engineering. p. 243-252.
Christina Chavez ; Uira Kulesza ; SOARES, Sérgio ; BORBA, Paulo ; CARLOS, L. ; CASTRO, Jaelson . The AOSD Research Community in Brazil and its Crosscutting Impact.. In: XXV Simpósio Brasileiro de Engenharia de Software, trilha especial, 2011, Recife. Proceedings of the Simpósio Brasileiro de Engenharia de Software, trilha especial, 2011. p. 1-10.
SANTOS, E. B. ; CASTRO, Jaelson ; Sánchez, J. ; PASTOR, O. . A Goal-Oriented Approach for Variability in BPMN. In: 13th Workshop Workshop em Engenharia de Requisitos, 2010, Cuenca. Anais do WER10 - Workshop em Engenharia de Requisitos, 2010. p. 17-28.
SILVA, C. T. L. L. ; Borba, C. C. ; CASTRO, Jaelson . G2SPL: Um Processo de Engenharia de Requisitos Orientada a Objetivos para Linhas de Produtos de Software. In: 13th Workshop on Requirements Engineering (WER 2010), 2010, Cuenca. Anais do WER10 - Workshop em Engenharia de Requisitos, 2010. p. 5-16.
XAVIER, L. ; ALENCAR, F. M. R. ; CASTRO, Jaelson ; Pimentel, J. H. C. . Integração de Requisitos Não-Funcionais a Processos de Negócio: Integrando BPMN e NFR. In: 13th Workshop em Engenharia de Requisitos (WER 2010), 2010, Cuenca, Ecuador. Anais do WER10 - Workshop em Engenharia de Requisitos, 2010. p. 29-40.
ALENCAR, F. M. R. ; CASTRO, Jaelson ; LUCENA, M. J. N. R. ; SANTOS, E. B. ; SILVA, C. T. L. L. ; ARAUJO, J. ; MOREIRA, A. M. D. . Towards Modular i* Models. In: 25th ACM Symposium on Applied Computing (SAC 2010), 2010, Sierre, Suiça. Proceedings of the 2010 ACM Symposium on Applied Computing, 2010. v. 1. p. 292-297.
SANTOS, E. B. ; Pimentel, J. H. C. ; CASTRO, Jaelson ; Sánchez, J. ; PASTOR, O. . Configuring the Variability of Business Process Models Using Non-Functional Requirements. In: EMMSAD 2010 - Fiftteenth International Conference on Exploring Modeling Methods in Systems Analysis and Design, 2010, Hammamet. Lecture Notes in Business Information Processing. LNIB: Springer Verlag, 2010. v. 50. p. 274-286.
ALENCAR, F. M. R. ; LUCENA, M. J. N. R. ; SILVA, C. T. L. L. ; SANTOS, E. B. ; CASTRO, Jaelson . Improving the Modularity of i* Models. In: 4th International i* Workshop (iStar 2010), 2010, Hammamet. CEUR Workshop Proceedings, 2010. v. 586. p. 3-8.
ALENCAR, F. M. R. ; Marín, B. ; Giachetti, G. ; SANTOS, E. B. ; PASTOR, O. ; CASTRO, Jaelson ; Franch, X. . From i* to OO-Method: Problems and Solutions. In: 4th International i* Workshop, 2010, Hammamet. CEUR Workshop Proceedings, 2010. v. 586. p. 9-14.
Pimentel, J. H. C. ; SANTOS, E. B. ; Santos, B. ; Borba, C. C. ; Lima, C. ; CASTRO, Jaelson ; ALENCAR, F. M. R. ; SILVA, Carla ; RAMOS, R. A. ; LUCENA, M. J. N. R. . Using i* and Tropos in a Software Engineering Contest: Lessons Learnt and Some Key Challenges. In: 4th International i* Workshop (Istar 2010), 2010, Hammamet. Proceedings of the 4th International i* Workshop, 2010. v. 586.
Pimentel, J. H. C. ; SANTOS, E. B. ; CASTRO, Jaelson . Conditions for ignoring failures based on a requirements model. In: 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), 2010, RedwoodCity. Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), 2010. p. 48-53.
RAMOS, R. A. ; Castro, J ; ALENCAR, F. M. ; PENTEADO, Rosangela . A Use Case Package Refactoring: Dealing with the Large, Scattering or Tangling Use Case Model Problems. In: SugarLoafPLoP 2010- VIII Latin American Conference on Pattern Languages of Programming, 2010, salvador. Proceedings of SugarLoafPLoP 2010- VIII Latin American Conference on Pattern Languages of Programming, 2010. p. 1-10.
RAMOS, Ricardo ; CASTRO, Jaelson ; ARAÚJO, JOÃO ; ALENCAR, FERNANDA ; PENTEADO, Rosangela . Divide and conquer refactoring. In: the 8th Latin American Conference, 2010, Salvador. Proceedings of the 8th Latin American Conference on Pattern Languages of Programs - SugarLoafPLoP '10, 2010. p. 1.
LUCENA, M. J. N. R. ; SILVA, C. T. L. L. ; SANTOS, E. B. ; ALENCAR, F. M. R. ; CASTRO, Jaelson . Applying Transformation Rules to Improve i* Models. In: 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009, Boston. Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009. p. 43-48.
Rojas, K. A. L. ; SANTANDER, V. F. A. ; ALENCAR, F. M. R. ; CASTRO, Jaelson ; Sánchez, J. . Derivación de casos de uso con aspectos a partir de modelos organizacionales i*.. In: XII Conferencia Iberoamericana de Ingienaria de Requisitos y Ambiente de Software (IDEAS´09), 2009, Medellin. Memoria XII Conferencia Iberoamericana de Ingienaria de Requisitos y Ambiente de Software (IDEAS´09), 2009. p. 253-258.
SILVA, C. T. L. L. ; LUCENA, M. J. N. R. ; CASTRO, Jaelson ; ARAUJO, J. ; MOREIRA, A. M. D. ; ALENCAR, F. M. R. . Support for aspectual modeling to Multiagent system architecture. In: ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009 (EA´09), 2009, Vancouver. Procedings of ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009 (EA´09), 2009. p. 38-43.
LUCENA, M. J. N. R. ; SILVA, C. T. L. L. ; SANTOS, E. B. ; ALENCAR, F. M. R. ; CASTRO, Jaelson . Modularizando Modelos i*: uma Abordagem baseada em Transformação de Modelos. In: 12th Workshop em Engenharia de Requisitos (WER´09), 2009, Valparaiso, Chile. Anais do WER09 - Workshop em Engenharia de Requisitos, 2009. p. 33-44.
RAMOS, R. A. ; CASTRO, Jaelson ; ARAUJO, J. ; MOREIRA, A. M. D. ; ALENCAR, F. M. R. ; PENTEADO, Rosangela . Quality Improvement for Use Case Model. In: XXIII Simpósio Brasileiro de Engenharia de Software (SBES´09), 2009, Fortaleza. Anais do XXIII Simpósio Brasileiro de Engenharia de Software (SBES´09), 2009. p. 187-195.
ALENCAR, F. M. R. ; Marín, B. ; Giachetti, G. ; PASTOR, O. ; CASTRO, Jaelson ; Pimentel, J. . From i* Requirements Models to Conceptual Models of a Model Driven Development Process. In: 2nd Working Conference on The Practice of Enterprise Modeling (PoEM 2009), 2009, Stockholm, Sweden. The Practice of Enterprise Modeling Second IFIP WG 8.1 Working Conference, PoEM 2009, 2009. v. 39. p. 99-114.
LUCENA, M. J. N. R. ; CASTRO, Jaelson ; SILVA, C. T. L. L. ; ALENCAR, F. M. R. ; SANTOS, E. B. ; Pimentel, J. . A Model Transformation Approach to Derive Architectural Models from Goal-Oriented Requirements Models. In: 8th INTERNATIONAL WORKSHOP ON SYSTEM/SOFTWARE ARCHITECTURES (IWSSA'09), 2009, Vilamoura, Portugal. On the Move to Meaningful Internet Systems: OTM 2009 Workshops. Heidelberg: Springer Verlag, 2009. v. 5872. p. 370-380.
RAMOS, R. A. ; CASTRO, Jaelson ; ARAUJO JUNIOR, J. B. S. ; MOREIRA, A. M. D. ; ALENCAR, F. M. ; PENTEADO, Rosangela . Early Aspects Refactoring (best paper). In: 11th Iberoamerican Workshop on Requírements Engineering and Software Environments (IDEAS´08), 2008, Recife. Proceedings of 11th Iberoamerican Workshop on Requírements Engineering and Software Environments. Recife: FASA, 2008. p. 239-252.
SILVA, Carla Taciana Lima Lourenço ; ARAUJO, João ; CASTRO, Jaelson ; MOREIRA, Ana ; LUCENA, M. J. N. R. ; SARMENTO, L. C. M. . A Modeling Language for Advanced Separation of Concerns in Multi-Agent Systems. In: 11th Ibero-American Workshop on Requirements Engineering and Software Environments - IDEAS08, 2008, Recife. Proceedings of 11th Iberoamerican Workshop on Requirements Engineering and Software Environments. Recife: FASA, 2008. p. 267-280.
CRUZ NETO, Genésio ; GOMES, Alex Sandro ; CASTRO, Jaelson . Balanceando entre a sensibilidade à riqueza do campo e a praticidade do design de software. In: 11th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS´08), 2008, Recife. Proceedings of 11thI beroamerican workshop on Requirements Engineering and Software Environments. Recife: FASA, 2008. p. 85-98.
SILVA, C. T. L. L. ; ALENCAR, F. M. R. ; ARAUJO, João ; MOREIRA, Ana ; CASTRO, Jaelson . Tailoring an Aspectual Goal-Oriented Approach to Model Features. In: 20th International Conference on Software Engineering and Knowledge Engineering (SEKE08), 2008, Redwood City. Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008. p. 472-477.
ALENCAR, F. M. R. ; SILVA, C. T. L. L. ; LUCENA, M. J. N. R. ; CASTRO, Jaelson ; SANTOS, E. B. ; RAMOS, R. A. . Improving the Understandability of I* Models. In: 10th International Conference on Enterprise Information Systems ( ICEIS´08), 2008, Barcelona. ICEIS 2008 - Proc. of the Tenth Inten. Conf. on Enterprise Information Systems,, 2008. v. ISAS-1. p. 129-136.
LUCENA, M. J. N. R. ; SANTOS, E. B. ; SILVA, Carla Taciana Lima Lourenço ; ALENCAR, Fernanda ; SILVA, Maria ; CASTRO, Jaelson . Towards a unified metamodel for i*. In: RCIS´08- Second IEEE International Conference on Research Challenges in Information Science, 2008, MARRAKECH. Proceedings of Second IEEE International Conference on Research Challenges in Information Science, 2008. RCIS 2008, 2008. p. 237-246.
Condori-Fernández, Nelly ; PASTOR, O. ; Daneva, M. ; Abran, A. ; CASTRO, Jaelson . Quantifying Functional Reuse from Object Oriented Requirements Specifications. In: 11th International Workshop on Requirements Engineering ( WER 2008), 2008, Barcelona. Proceedings of the 11th International Workshop on Requirements Engineering - WER 2008. Barcelona: Universitat Politecnica de Catalunya, 2008. p. 59-69.
CABRAL, M. S. ; ALENCAR, F. ; CASTRO, Jaelson ; PASTOR, O. ; Sánchez, J. . Aplicação de Técnicas de Leitura durante a Análise de Requisitos. In: 11th International Workshop on Requirements Engineering - WER 2008, 2008, Barcelona. Proceedings of the 11th International Workshop on Requirements Engineering - WER 2008. Barcelona: Universitat Politècnica de Catalunya, 2008. p. 193-204.
RAMOS, R. A. ; CASTRO, Jaelson ; ARAUJO, J. ; MOREIRA, A. M. D. ; ALENCAR, F. M. R. ; SANTOS, E. B. ; PENTEADO, Rosangela . AIRDoc - An Approach to Improve Requirements Documents. In: XXII Simpósio Brasileiro de Engenharia de Software (SBES´08), 2008, Campinas. Anais do XXII Simpósio Brasileiro de Engenharia de Software (SBES´08), 2008. p. 97-112.
SILVA, Maria ; MACIEL, Paulo ; PINTO, Rosa ; ALENCAR, Fernanda ; TEDESCO, Patricia ; CASTRO, Jaelson . Extracting the Best Features of Two Tropos Approaches for the Efficient Design of MAS. In: IDEAS´07 - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007, Isla de Margarita, Venezuela. Proc of the IDEAS´07 - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007. p. 3-16.
SILVA, Carla Taciana Lima Lourenço ; ARAUJO, João ; MOREIRA, Ana ; CASTRO, Jaelson . Towards a Standardized Description and a Systematic Use of Social Patterns. In: IDEAS´07 - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007, Isla de Margarita, Venezuela. MEMORIAS - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007. p. 195-208.
SANTANDER, Victor ; VINCENTE, André ; KOERICH, Fabio ; CASTRO, Jaelson . Modelagem de Requisitos Organizacionais, Não-Funcionais e Funcionais em Software Legado com Ênfase na Técnica i*. In: IDEAS´07 - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007, Isla de Margarita, Venezuela. Memórias - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007. p. 47-60.
SANTANDER, Victor ; Silva, Dorisvaldo ; VINCENTE, André ; CASTRO, Jaelson . Utilizando a Tecnica I* para Modelar a Concepção de Vigotski Visando Auxiliar o Processo de Desenvolvimento de Software Educacional para Pessoas com Deficiência Visual. In: IDEAS´07 - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007, Isla de Margarita, Venezuela.. Memorias - X Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2007. p. 269-282.
RAMOS, Ricardo ; ALENCAR, Fernanda ; ARAUJO, João ; MOREIRA, Ana ; CASTRO, Jaelson ; PENTEADO, Rosangela . i* with Aspects: Evaluating Understandability. In: WER´07 - X Workshop on Requirements Engineering,, 2007, Toronto, Canada. Proc. of WER´07 -X Workshop on Requirements Engineering, 2007. p. 171-178.
RAMOS, Ricardo ; ARAUJO, João ; MOREIRA, Ana ; CASTRO, Jaelson ; ALENCAR, Fernanda ; PENTEADO, Rosangela . Um Padrão para Requisitos Duplicados. In: SugarLoafPLoP´07 - 6th Latin American Conference on Pattern Languages of Programming, 2007, Porto Galinhas, Brazil.. Proc. of SugarLoafPLoP´07 - 6th Latin American Conference on Pattern Languages of Programming, 2007. p. 68-79.
SILVA, Carla Taciana Lima Lourenço ; ARAUJO, João ; MOREIRA, Ana ; CASTRO, Jaelson . Designing Social Patterns using Advanced Separation of Concerns. In: CAISE'07 - 19th Conference on Advanced Information Systems Engineering, 2007, Trondheim, Norway. Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings º. Heidelberg: Springer Verlag - LNCS 4495, 2007. v. 4495. p. 309-323.
ALENCAR, Fernanda ; CASTRO, Jaelson ; MOREIRA, Ana ; ARAUJO, João ; MONTEIRO, Cleviton ; RAMOS, Ricardo ; MYLOPOULOS, John . Simplifying i* Models. In: AOIS07- 17th International Workshop on Agent-Oriented Information Systems,, 2007, Trondheim, Norway. Proceedings of the Workshops and Doctoral Consortium , 19th International Conference on Advanced. TRONDHEIM: Tapir Academic Press, Norway, 2007. v. 2. p. 635-649.
RAMOS, Ricardo ; Piveta, Eduardo ; CASTRO, Jaelson ; ARAUJO, João ; MOREIRA, Ana ; Guerreiro, Pedro . Improving the Quality of Requirements with Refactoring. In: SBQS 2007 - VI Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas. Anais do VI Simpósio Brasileiro de Qualidade de Software, 2007. p. 141-155.
PINTO, Rosa ; CASTRO, Jaelson ; TEDESCO, Patricia ; SILVA, Maria ; ALENCAR, Fernanda . A Traceability Reference Model for Agent Oriented Development. In: SEAS´07- Third Workshop on Software Engineering for Agent-oriented Systems, 2007, Joao Pessoa. Proceedings of the Third Workshop on Software Engineering for Agent-oriented Systems. João Pessoa: Editora Universitária da Paraíba/UFPB, 2007. p. 27-38.
MONTEIRO, Cleviton ; RAMOS, Ricardo ; CASTRO, Jaelson ; ARAUJO, João ; MOREIRA, Ana ; ALENCAR, Fernanda . The iAspectPlugin to Automatize the Identification of Crosscutting Concerns on i* Models. In: I Latin American Workshop on Aspect-Oriented Software Development - LA-WASP´2007, 2007, João Pessoa. Proceedings of the I Latin American Workshop on Aspect-Oriented Software Development - LA-WASP´2007. João Pessoa: Editora Universtiária da Paraíba/UFPB, 2007. p. 105-116.
ALENCAR, F. M. R. ; MENEZES, J. R. R. ; SILVA, J. J. R. ; CASTRO, Jaelson . MODELAGEM DE REQUISITOS DE UM SISTEMA DE INFORMAÇÃO PARA SUPORTE À GESTÃO INTEGRADA NA CONSTRUÇÃO. In: Contrução 2007 : 3º Congresso Nacional, 2007, Coimbra. Actas do Congresso Construção 2007 - 3.º Congresso Nacional, 2007. p. 1-12.
SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson ; TEDESCO, Patrícia ; ARAUJO JUNIOR, J. B. S. ; MOREIRA, A. M. D. ; MYLOPOULOS, John . Improving the architectural design of multi-agent systems: the tropos case. In: 2006 international Workshop on Software Engineering for Large-Scale multi-agent systems - SELMAS06, 2006, Shanghai. International Conference on Software Engineering , Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems. New York, USA: ACM Press, 2006. p. 107-113.
ALENCAR, F. M. R. ; SILVA, Carla Taciana Lima Lourenço ; MOREIRA, A. M. D. ; ARAUJO JUNIOR, J. B. S. ; CASTRO, Jaelson . Identifying Candidate Aspects with I-star Approach. In: Early Aspects 2006: Traceability of Aspects in the Early Life Cycle Workshop, 2006, Bonn. Workshop Proceedings of Early Aspects 2006: Traceability of Aspects in the Early Life Cycle, 2006. p. 4-10.
SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson ; ALENCAR, F. M. R. ; RAMOS, R. A. . Extending UML to Support Both Agency and Organizational Architectural Features. In: IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software - IDEAS´06, 2006, La Plata. Proc. of IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software -. La Plata, 2006. p. 53-66.
RAMOS, Ricardo ; CARVALHO, André ; MONTEIRO, Cleviton ; SILVA, Carla ; CASTRO, Jaelson ; ALENCAR, Fernanda ; AFONSO, Ricardo . Avaliação da Qualidade de Documentos de Requisitos Orientado a Aspectos. In: IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2006, La Plata. Proc. of IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software. La Plata, 2006. p. 389-403.
Lencastre, Maria ; ALENCAR, Fernanda ; CASTRO, Jaelson . Relating i* with Problem Frames Approach. In: IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software,, 2006, La Plata. Proc. of IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software. La Plata. p. 141-154.
Lencastre, Maria ; ARAUJO, João ; MOREIRA, A. M. D. ; CASTRO, Jaelson . Analyzing crosscutting in the problem frames approach. In: IWAAPF´06 -International Workshop on Advances and Applications of problem frame, 2006, Shanghai. International Conference on Software Engineering- ICSE´06. Proceedings of 2nd International Workshop on Advances and Applications of Problem Frames. New York: ACM Press 1-59593-406-5. p. 59-64.
Alves, Carina ; CASTRO, Jaelson . The Evolution of Emerging Technologies in Market-Driven Software Product Development. In: TT´06 International workshop on Software technology transfer in software engineering, 2006, Shanghai. International Conference on Software Engineering ICSE´06 , Proceedings of the 2006 International Workshop on Software Technology Transfer in Software Engineering. New York: ACM Press. p. 09-14.
ALENCAR, Fernanda ; MOREIRA, A. M. D. ; ARAUJO, João ; CASTRO, Jaelson ; SILVA, Carla ; MYLOPOULOS, John . Towards an Approach to Integrate i* with Aspects. In: Eight International Bi-Conference Workshop on Agent Oriented Information System (AOIS´06), 2006, Louxembourg. Proceedings of Workshops and Doctorial Consortiun, the 18th Conference On Advanced Information Systems Engineering, Louxembourg ¿ CAiSE´06. Namur, Belgica: Namur University Press, 2006. p. 17-28.
Alves, Carina ; Pereira, Cássia ; CASTRO, Jaelson . A Study in Market-Driven Requirements Engineering. In: IX Workshop on Requirements Engineering - WER´06, 2006, Rio de Janeiro. Cadernos do IME - Série Informática Edição Especial : IX Workshop on Requirements Engineering - WER´06. Rio de Janeiro: Universidade do Estado do Rio de Janeiro, 2006. v. 20. p. 61-66.
SILVA, Carla ; ARAUJO, João ; MOREIRA, A. M. D. ; CASTRO, Jaelson ; TEDESCO, Patrícia ; ALENCAR, Fernanda ; RAMOS, Ricardo . Modeling Multi-Agent Systems using UML. In: XX Brazilian Symposium on Software Engineering - SBES'06, 2006, Florianópolis. Anais do XX Brazilian Symposium on Software Engineering - SBES'06. Florianopolis, 2006. p. 81-96.
SILVA, Carla ; ARAUJO, João ; MOREIRA, A. M. D. ; CASTRO, Jaelson ; ALENCAR, Fernanda ; RAMOS, Ricardo . ORGANIZATIONAL ARCHITECTURAL STYLES SPECIFICATION. In: XI Jornadas de Ingeniería del Software y Bases de Datos - JISBD´06, 2006, Sitges. Proc. of XI Jornadas de Ingeniería del Software y Bases de Datos - JISBD´06, 2006. p. 1-11.
BASTOS, Lúcia ; CASTRO, Jaelson ; MYLOPOULOS, John . Deriving Multi-Agent Organisational Architectures from Requirements. In: Second Workshop on Software Engineering for Agent-oriented Systems - SEAS´06, 2006, Florianópolis. Proceedings of the Second Workshop on Software Engineering for Agent-oriented Systems - SEAS´06. Florianopolis: Universidade Federal de Santa Catarina, 2006. p. 13-24.
SILVA, Carla ; ARAUJO, João ; MOREIRA, A. M. D. ; CASTRO, Jaelson ; PENAFORTE, Daniel ; CARVALHO, André . Towards an Aspect Oriented Modeling in Multi-agent Systems. In: III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos WASP´2006, 2006, Florianópolis. III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos WASP´2006, 2006. p. 70-80.
ALENCAR, Fernanda ; MOREIRA, A. M. D. ; ARAUJO, João ; CASTRO, Jaelson ; RAMOS, Ricardo ; SILVA, Carla . Proposta de Simplificação dos Modelos do i* com Aspectos. In: III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos WASP´2006, 2006, Florianopolis. Anais do III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos WASP´2006, 2006. p. 30-39.
RAMOS, Ricardo ; ARAUJO, João ; CASTRO, Jaelson ; MOREIRA, A. M. D. ; ALENCAR, Fernanda ; SILVA, Carla . Uma Abordagem de Instanciação de Métricas para Medir Documentos de Requisitos Orientados a Aspectos. In: III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos WASP´2006, 2006, Florianópolis. Anais do III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos WASP´2006, 2006. p. 40-49.
RAMOS, Ricardo ; ARAUJO, João ; MOREIRA, A. M. D. ; CASTRO, Jaelson ; ALENCAR, Fernanda ; SILVA, Carla . UM MODELO DE QUALIDADE PARA AVALIAR DOCUMENTOS DE REQUISITOS ORIENTADOS A ASPECTOS. In: DSOA´06 - Workshop de Desarrollo de Software Orientado a Aspectos,, 2006, Sitges. ATAS DSOA´06 - Workshop de Desarrollo deSoftware Orientado a Aspectos, 2006. p. 1-7.
SOUSA, G. M. C. DE ; CASTRO, Jaelson . Using NFR to improve separation of concerns in requirements. In: 8th Ibero-American Workshop on Requirements Engineering and Software Environments - IDEAS'05, 2005, Valparaiso. Actas IDEAS'05 8o. Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, 2005. p. 83-91.
PINTO, R. C. C. ; SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson . A Process for Requirement Traceability in Agent Oriented Development. In: VIII Workshop on Requirements Engineering - WER'05, 2005, Porto. Proceedings of the VIII Workshop on Requirements Engineering, 2005. p. 221-232.
RAMOS, R. A. ; CASTRO, Jaelson . Avaliação de uma Metodologia de Medição da Qualidade em um Documento de Requisitos Orientado a Aspectos. In: VIII Workshop on Requirements Engineering - WER'05, 2005, Porto. Proceedings of theVIII Workshop on Requirements Engineering - WER'05, 2005. p. 161-172.
BASTOS, Lucia Rosangela David ; CASTRO, Jaelson . Organizational Model to Derive Multi-Agent Architecture from Requirements. In: CAiSE'05 - The 17th Conference on Advanced Information Systems, 2005, Porto. Proceedings of the CAiSE'05 FORUM. Porto: Faculdade de Engenharia de Universidade do Porto - FEUP, 2005. v. 0. p. 169-176.
SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson ; TEDESCO, Patrícia ; SILVA, I. G. L. . Describing Agent-Oriented Design Patterns in Tropos. In: XIX Simpósio Brasileiro de Engenharia de Software - SBES'05, 2005, Uberlândia. Anais do XIX Simpósio Brasileiro de Engenharia de Software - SBES'05, 2005. v. 0. p. 10-25.
PINTO, R. C. C. ; SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson . Support for Requirement Traceability: The Tropos Case. In: XIX Simpósio Brasileiro de Engenharia de Software - SBES'05, 2005, Uberlândia. Anais do XIX Simpósio Brasileiro de Engenharia de Software - SBES'05, 2005. v. 0. p. 40-55.
SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson ; TEDESCO, Patrícia . Using Environment Properties to Select Agent Architectures. In: SEAS2005 ? First Workshop on Software Engineering for Agent-oriented Systems, 2005, Uberlandia. Proceedings of the SEAS2005 ? First Workshop on Software Engineering for Agent-oriented Systems, 2005. v. 1. p. 67-74.
BRISCHEKE, M. ; SANTANDER, V. F. A. ; CASTRO, Jaelson . GOOSE: UMA FERRAMENTA PARA INTEGRAR MODELAGEM ORGANIZACIONAL E MODELAGEM FUNCIONAL. In: V Workshop Chileno de Ingeniería de Softwaren- WIS 2005, 2005, Valvidea. Proceedings of orkshop Chileno de Ingeniería de Softwaren- WIS 2005, 2005.
ALENCAR, F. M. R. ; PEDROZA, F. P. ; CASTRO, Jaelson ; SILVA, Carla Taciana Lima Lourenço ; RAMOS, R. A. . XGOOD: A Tool to Automatize the Mapping Rules between I* Framework and UML. In: IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software, 2005, La Plata. Proc. of IDEAS´06 - IX Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software. La Plata: ISBN 950-34-0360-X. p. 125-138.
SILVA, Carla Taciana Lima Lourenço ; TEDESCO, Patrícia ; CASTRO, Jaelson ; CANDIDO, Rosa . Comparing Agent-Oriented Methodologies Using NFR Aproach. In: Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2004), 2004, Edinburgh. SP ICSE/W16L: Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2004). Stevenage, UK: IEE, 2004. v. 0. p. 1-9.
BASTOS, Lucia Rosangela David ; CASTRO, Jaelson . Systematic Integration Between Requeriments And Architecture. In: SELMA'S 2004 -3Thd International Workshop on Software Engineeging For Large-Scale Mult-Agent Systems, 2004, Edinburgh. Systematic Integration between Requirements and Architecture.. Edinburgh: SELMA'S, 2004. v. 1. p. 10-17.
SOUSA, Geórgia Martins C ; SOARES, Sérgio ; BORBA, Paulo ; CASTRO, Jaelson . Separation of Crosscutting Concerns from Requirements to Design:Adapting an Use Case Driven Approach. In: Early Aspects 2004: Aspect-Oriented Requirements Engineering and Architecture, 2004, Lancaster. Separation of Crosscutting Concerns from Requirements to Design: Adapting. Lancaster-UK: Early Aspect, 2004. v. 1. p. 1-10.
CASTRO, Jaelson ; CARVALHO, Francisco dos Santos . Integrando Gestão do Conhecimento e Modelagem Organizacional. In: IDEAS-7º Workshop Iberoamericano de Ingeniería de requisitos Y ambientes Software, 2004, Arequipa-Peru. Integrando Gestão do Conhecimento e Modelagem Organizacional. Arequipa: IDEAS, 2004. v. 1. p. 308-320.
SOUZA, G. M. C. ; CASTRO, Jaelson . Improving the Separation of Non-Functional Concerns in Requirements. In: 12th IEEE International Requirements Engineering Conference (RE'04), 2004, Kyoto. Proceedings of the 12th IEEE International Requirements Engineering Conference (RE'04), 2004. v. 00. p. 350-351.
CRUZ NETO, Genésio ; GOMES, Alex Sandro ; CASTRO, Jaelson . Mapeando Diagramas da Teoria da Atividade em Modelos Organizacionais Baseados em i*. In: VII Workshop on Requirements Engineering - WER04, 2004, Tandil. Proceedings of VII Workshop on Requirements Engineering - WER04, 2004. v. 0. p. 39-50.
PEDROZA, F. P. ; ALENCAR, F. M. R. ; CASTRO, Jaelson ; SILVA, F. R. C. ; SANTANDER, V. F. A. . Ferramentas para Suporte do Mapeamento da Modelagem i* para a UML: eXtended GOOD ? XGOOD e GOOSE.. In: VII Workshop on Requirements Engineering - WER04, 2004, Tandil. Proceedings of the VII Workshop on Requirements Engineering - WER 04, 2004. v. 0. p. 164-175.
BASTOS, Lucia Rosangela David ; CASTRO, Jaelson . Enhancing Requirements to derive Multi-Agent Architectures.. In: VII Workshop on Requirements Engineering, 2004, Tandil. Proceedings of the VII Workshop on Requirements Engineering - WER04, 2004. v. 0. p. 127-139.
CASTOR, A. P. . ; PINTO, R. C. C. ; SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson . Towards Requirement Traceability in TROPOS. In: VII Workshop on Requirements Engineering - WER04, 2004, Tandil. Proceedings of the VII Workshop on Requirements Engineering - WER04, 2004. v. 0. p. 189-200.
CASTRO, Jaelson ; SOUSA, G. M. C. DE . Supporting separation of concerns in requirements artifacts. In: Primeiro Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos - WASP04, 2004, Brasilia. Anais do Primeiro Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004. v. 0. p. 1-9.
CASTRO, Jaelson ; SILVA, C. T. L. L. ; MYLOPOULOS, John . Modeling Organizational Architectural Styles In UML. In: The 15th Conference On Advanced Information Systems Engineering (Caise03), 2003, Klagenfurt/Velden. Proceedings of the CAISE´03 - The 15th Conference On Advanced Information Systems Engineering. Klagenfurt: Springer Verlag, Lecture Notes in Computer Science- LNCS Vol 2681, 2003. v. 2681. p. 111-126.
BASTOS, L. R. D. ; CASTRO, Jaelson ; MYLOPOULOS, John . Integrating Organizational Requirements and Socio-Intentional Architectural Styles. In: Second International Workshop From SofTware Requirements to Architectures (STRAW03), 2003, Portland. Proceedings of the Second International Workshop From SofTware Requirements to Architectures (STRAW03). Portland: STRAW, 2003. v. 1. p. 114-121.
SILVA, C. T. L. L. ; CASTRO, Jaelson ; MYLOPOULOS, John . Detailing Architectural Design in the Tropos Methodology. In: Second International Workshop From SofTware Requirements to Architectures (STRAW´03), 2003, Portland,Oregon,USA. Proceedings Second International Workshop From SofTware Requirements to Architectures (STRAW´03). Portland: STRAW, 2003. v. 1. p. 85-93.
PAIM, F. R. ; CASTRO, Jaelson . DWARF: An Approach for Requirements Definition and Management of Data Warehouse Systems. In: 11th IEEE International Requirements Engineering Conference (WRE'03), 2003, Monterey Bay, California. Proceedings of 11th IEEE International Requirements Engineering Conference (RE'03). http://conferences.computer.or: IEEE CS, 2003. v. 1. p. 75-84.
CASTRO, Jaelson ; PINTO, R. C. C. ; CASTOR, A. ; MYLOPOULOS, John . TROPOS-T: Extending the Tropos Methodology to Include Requirements Traceability. In: SELMAS´03 - 2nd International Workshop on Software Engineering for Large-Sacele Multi-Agent Systems, 2003, Portland, Oregon,USA. Proceedings of the SELMAS´03 2nd International Workshop on Software Engineering for Large-Sacele Multi-Agent Systems. http://www.teccomm.les.inf.puc: IEEE, 2003. v. 1. p. 107-115.
ESTRADA, H. ; CASTRO, Jaelson ; PASTOR, O. ; MARTINEZ, A. . Goal-based Organizational Modeling Oriented Towards Late Requirements Generation. In: XVII Simpósio Brasileiro de Engenharia de Software (SBES´03), 2003, Manuaus-AM. Anais do XVI I Simpósio Brasileiro de Engenharia de Software. Manaus: SBC, 2003. v. 1. p. 1-16.
SILVA, C. T. L. L. ; CASTRO, Jaelson ; MYLOPOULOS, John . Detailing Architectural Design in Requirements Driven Software Development: The Tropos Case. In: XVII Simposio Brasileiro de Engenharia de Software (SBES 2003), 2003, Manuaus. Anais do XVII Simposio Brasileiro de Engenharia de Software (SBES 2003). Manaus: Editora da Universidade Federal do Amazonas, 2003. v. 1. p. 85-93.
SOUZA, G. M. C. ; SILVA, I. G. L. ; CASTRO, Jaelson . Adapting the NFR Framework to Aspect-Oriented Requirements Engineering. In: XVII Simposio Brasileiro de Engenharia de Software - SBES´03, 2003, Manaus. Anais do XVII Simposio Brasileiro de Engenharia de Software (SBES´03). Manaus: Editora da Universidade Federal de Manaus, 2003. v. 1. p. 177-192.
MARTINEZ, A. ; CASTRO, Jaelson ; PASTOR, O. ; ESTRADA, H. . Closing the Gap between Organizational Modeling and Information System Modeling. In: 6th International Workshop on Requirements Engineering - WER´03, 2003, Piracicaba-SP. Proceeedings of the 6th International Workshop on Requirements Engineering - WER´03. Piracicaba: WER'03, 2003. v. 1. p. 93-344.
ALENCAR, F. M. R. ; PEDROZA, F. ; CASTRO, Jaelson ; AMORIM, R. C. O. . New Mechanism for the Integration of Organizational Requirements and Object Oriented Modeling. In: 6th International Workshop on Requirements Engineering - WER´03, 2003, Piracicaba - SP. Proceedings of the 6th International Workshop on Requirements Engineering - WER´03. Piracicaba: WER, 2003. v. 1. p. 109-123.
BASTOS, L. R. D. ; CASTRO, Jaelson . Integration between Organizational Requirements and Architecture. In: 6th International Workshop on Requirements Engineering - WER´03, 2003, Piracicaba - SP. Porceedings of the 6th International Workshop on Requirements Engineering - WER´03. Piracicaba: WER, 2003. v. 1. p. 124-139.
SILVA, C. T. L. L. ; PINTO, R. C. C. ; CASTRO, Jaelson ; TEDESCO, P. . Requirements for Multi-Agent Systems. In: 6th International Workshop on Requirements Engineering - WER´03, 2003, Piracicaba - SP. Proceeedings of the 6th International Workshop on Requirements Engineering - WER´03. Piracicaba: WER, 2003. v. 1. p. 198-212.
SOUZA, G. M. C. ; CASTRO, Jaelson . Towards a Goal-Oriented Requirements Methodology Based in the Separation of Concerns Principle. In: 6th International Workshop on Requirements Engineering - WER´03, 2003, Piracicaba. Proceedings of the 6th International Workshop on Requirements Engineering - WER´03. Piracicaba: WER, 2003. v. 1. p. 223-239.
BASTOS, L. R. D. ; CASTRO, Jaelson . A Event Based Layered Architecture for Bank Systems. In: V Workshop Iberoamericana de Ingenieria de Requisitos y Ambientes de Software - IDEAS´2002, 2002, La Havana. Memorias V Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes Software. Havana: Universidade de la Havana, 2002. v. 1. p. 138-148.
PINTO, R. C. C. ; CASTRO, Jaelson ; TORANZO, M. A. . Requirements Traceability in Agent Oriented Development. In: International Workshop on SOFTWARE ENGINEERING FOR LARGE-SCALE MULTI-AGENT SYSTEMS - SELMAS´2002, 2002, Orlando. Proceedings of the 1st International Workshop on Software Engineering for Large Scale Multi-Agent Systems - SEMAS´2002. Orlando: Springer, 2002. v. 1. p. 21-25.
SANTANDER, V. F. A. ; CASTRO, Jaelson . Deriving Use Cases from Organizational Modeling. In: IEEE JOINT CONFERENCE ON REQUIREMENTS ENGINEERING - RE02, 2002, Essen, Germany. Proceegings of the IEEE JOINT CONFERENCE ON REQUIREMENTS ENGINEERING - RE02. Los Alamitos, California, USA: IEEE, 2002. v. 1. p. 32-39.
SILVA, C. T. L. L. ; BASTOS, L. R. D. ; BARROS, R. S. M. ; CASTRO, Jaelson . XML Application for Non-Functional Requirements Management in Systems Project. In: Ibero American Conference on Web Engineering 2002, 2002, Santa Fé. Proceedings of the Ibero American Conference on Web Engineering 2002. Santa Fé, 2002. v. 1. p. 1-6.
SANTANDER, V. F. A. ; CASTRO, Jaelson . Integrating Use Cases and Organizational Modeling. In: XVI Brazilian Symposium on Software Engineering, 2002, Gramado. Anais do XVI Brazilian Symposium on Software Engineeringm - SBES02. Gramado: SBC, 2002. v. 1. p. 222-237.
BASTOS, L. R. D. ; CASTRO, Jaelson . Aplicação da Arquitetura com Modelo de Controle Baseado em Eventos no Banco do Brasil S.A.. In: XVI Brazilian Symposium on Software Engineering SBES2002, 2002, Gramado. Anais do XVI Brazilian Symposium on Software Engineering SBES2002. Gramado: SBC, 2002. v. 1. p. 207-221.
PAIM, F. R. ; CARVALHO, A. E. S. ; CASTRO, Jaelson . Towards a Methodology for Requirements Analysis of Data Warehouse Systems (best paper). In: XVI Brazilian Symposium on Software Engineering SBES2002, 2002, Gramado. Anais do XVI Brazilian Symposium on Software Engineering SBES2002. Gramado: SBC, 2002. v. 146. p. 1-16.
REIS, T. ; CASTRO, Jaelson ; OLSINA, L. . Medição da qualidade de aplicações Web na fase de requisitos. In: XVI Brazilian Symposium on Software Engineering SBES2002, 2002, Gramado. Anais do XVI Brazilian Symposium on Software Engineering SBES2002. Gramado: SBC, 2002. v. 1. p. 162-174.
SILVA, C. T. L. L. ; CASTRO, Jaelson . Modeling Organizational Architectural Styles in UML: The Tropos Case. In: V Workshop on Requirements Engineering, 2002, Valencia. Proceedings of the V Workshop on Requirements Engineering. Valencia: Universidad Politecnica de Valencia, 2002. v. 1. p. 162-176.
ALENCAR, F. M. R. ; CYSNEIRO FILHO, G. A. A. ; CASTRO, Jaelson . Support for Structuring Mechanisms in the integration of Organizational Requirements and Object Oriented Modeling. In: V Workshop on Requirements Engineering, 2002, Valencia. Proceedings of the V Workshop on Requirements Engineering. Valencia: Universidad Politecnica de Valencia, 2002. v. 1. p. 147-161.
TORANZO, M. A. ; CASTRO, Jaelson ; MELLO, E. . Uma Proposta para Melhorar o Rastreamento de Requisitos. In: V Workshop on Requirements Engineering, 2002, Valencia. Proceedings of the V Workshop on Requirements Engineering. Valencia: Universidad Politecnica de Valencia, 2002. v. 1. p. 194-209.
TAVARES, H. C. A. B. ; CARVALHO, A. E. S. ; CASTRO, Jaelson . MEDIÇÃO DE PONTOS POR FUNÇÃO A PARTIR DA ESPECIFICAÇÃO DE REQUISITOS. In: V Workshop on Requirements Engineering, 2002, Valencia. Proceedings of the V Workshop on Requirements Engineering. Valencia: Universidad Politecnica de Valencia, 2002. v. 1. p. 278-298.
CASTRO, Jaelson ; PAIM, F. R. . Enhancing Data Warehouse Quality with the NFR Framework. In: V Workshop on Requirements Engineering, 2002, Valencia. Proceedings of the V Workshop on Requirements Engineering. Valencia: Universidad Politecnica de Valencia, 2002. v. 1. p. 40-57.
CASTRO, Jaelson ; KOLP, Manuel ; MYLOPOULOS, John . A Requirements-Driven Development Methodology. In: CAISE´01 The 13Th Conference on Advanced Information Systems Engineering, 2001, Interlaken, Suiça. Proceedings of the 13th Conference on Advanced Information Systems Engineering. Heildelberg , Alemanha: Springer - LNCS 2068, 2001. v. 2068. p. 108-123.
ALVES, C. F. ; Justo, G. R. R. ; CASTRO, Jaelson ; Nelson S. Rosa ; CUNHA, P. R. F. . Using Non-Functional Requirements to Select Components: A Formal Approach. In: IDEAS´01 c, 2001, San José, Costa rica. Proceedings of A Requirements-Driven Development Methodology, 2001. v. 1. p. 1-10.
ALVES, C. F. ; CASTRO, Jaelson . Um Método Baseado em Requisitos para Seleção de COTS. In: 4th Iberoamerican Workshop on Requirements Engineering and Software Environments, 2001, San José. Proceedings of the 4th Iberoamerican Workshop on Requirements Engineering and Software Environments (in Press), 2001. v. 1. p. 1-15.
CASTRO, Jaelson ; ALENCAR, F. M. R. ; CYSNEIRO FILHO, G. A. A. ; MYLOPOULOS, John . Integrating Organizational Requirements and Object Oriented Modeling. In: 5th IEEE International Symposium on Requirements Engineering, 2001, Toronto. Proceeding of 5th IEEE International Symposium on Requirements Engineering, 2001. v. 1. p. 146-153.
CASTRO, Jaelson ; J. Kramer . From Software Requirements to Architectures. In: 23rd International Conference on Software Engineering, 2001, Toronto, Canada. Proceedings of the 23rd International Conference on Software Engineering, 2001. v. 1. p. 764-765.
MYLOPOULOS, John ; CASTRO, Jaelson ; KOLP, Manuel . A Social Organization Perspective on Software. In: First International Workshop From Software Requirement to Architectures, 2001, Canada. Proceedings First International Workshop From Software Requirements to Architectures. Toronto: IEEE-CS, 2001. v. 1. p. 05-12.
MYLOPOULOS, John ; KOLP, Manuel ; CASTRO, Jaelson . UML for Agent Oriented Software Development: The Tropos Proposal. In: The 4th International Conference on the Unified Modeling Language < >, 2001, Toronto. Proceedings of the 4th International Conference on the Unified Modeling Language < >. London: Springer Verlag -, 2001. v. 1. p. 414-433.
ALVES, C. F. ; CASTRO, Jaelson . CRE: A Systematic Method for COTS Components Selection. In: XV Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro: SBC, 2001. v. 1. p. 193-207.
IRIBARNE, L. ; VALLECILLO, A. ; ALVES, C. F. ; CASTRO, Jaelson . A Non-Functional Approach for COTS Components Trading. In: WER´2001 - IV Workshop on Requirements Engineering, 2001, Buenos Aires. Proceedings of the IV Worshop on Requirements Engineering. Buenos Aires: Grupo Editor Tercer Milenio, 2001. v. 1. p. 124-138.
ALVES, C. F. ; PINTO FILHO, J. B. ; CASTRO, Jaelson . Analysing the Tradeoffs Among Requirements, Architectures and COTS. In: WER2001 - IV Workshop on Requirements Engineering, 2001, Bueno Aires. Anais do IV Workshop de Engenharia de Requisitos. Buenos Aires: Grupo Editor Tercer Milenio S.A., 2001. v. 1. p. 20-31.
SANTANDER, V. F. A. ; CASTRO, Jaelson . Developing Use Cases from Organizational Modeling. In: WER´2001 IV Workshop on Requirements Engineering, 2001, Buenos Aires. Proceedings of the IV Workshop on Requirements Engineering. Buenos Aires, 2001. v. 1. p. 246-266.
CARVALHO, A. E. S. ; TAVARES, H. C. A. B. ; CASTRO, Jaelson . Uma Estratégia para Implantação de uma Gerência de Requisitos visando a Melhoria dos Processos de Software. In: WER´2001 - IV Workshop on Requirements Engineering, 2001, Buenos Aires. Proceedings of the IV IWorkshop on Requirements Engineering. Buenos Aires: Grupo Editor Tercer Milenio S.A., 2001. v. 1. p. 32-54.
Nelson S. Rosa ; CASTRO, Jaelson ; VASCONCELOS, A. M. L. ; CUNHA, P. R. F. . Relating Function Point Analysis to Software Architecture. In: Terceiro Workshop Iberoamericano de Engenharia de Requisitos e Sistemas de Software - IDEAS'00, 2000, Cancun. Memorias IDEAS 2000 Workshop Iberoamericano de Engenharia de Requisitos e Sistemas de Software. Cuernavaca: Centro Nacional de Investigacion y Desarrollo Tecnologico, 2000. p. 302-312.
SANTANDER, V. F. A. ; CABRAL, M. S. ; CASTRO, Jaelson ; BUENO, M. A. S. . Estudo de Princípios de Qualidade em Aplicações Web. In: Terceiro Workshop Iberoamericano de Engenharia de Requisitos e Sistemas de Software, 2000, Cancun. Memorias IDEAS 2000 Workshop Iberoamericano de Engenharia de Requisitos e Sistemas de Software. Cuernavaca: Centro Nacional de Investigacion y Desarrollo Tecnologico, 2000. v. 1. p. 240-252.
CASTRO, Jaelson ; KOLP, Manuel ; MYLOPOULOS, John . Developing Agent-Oriented Information Systems for the Enterprise. In: Third International Conference on Enterprise Information Systems, 2000, Stafford. Proceedings of the Third International Conference on Enterprise Information Systems. Stafford: Staffordshire University, 2000. p. 1-16.
ALENCAR, F. M. R. ; CASTRO, Jaelson ; CYSNEIRO FILHO, G. A. A. . From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML. In: III Workshop em Engenharia de Requisitos, 2000, Rio de Janeiro. Anais do III Workshop em Engenharia de Requisitos. Rio de Janeiro: Puc-Rio, 2000. v. 1. p. 92-108.
ALVES, C. F. ; ALENCAR, F. M. R. ; CASTRO, Jaelson . Requirements Engineering for COTS Selection. In: III Workshop em Engenharia de Requisitos, 2000, Rio de Janeiro. Anais da III Workshop em Engenharia de Requisitos. Rio de Janeiro: PUC-Rio, 2000. v. 1. p. 194-208.
SANTANDER, V. F. A. ; CASTRO, Jaelson . Desenvolvendo Use Cases a Partir de Modelagem Organizacional. In: III Workshop em Engenharia de Requisitos, 2000, Rio de Janeiro. Anais do III Workshop em Engenharia de Requisitos. Rio de Janeiro: PUC-RIo, 2000. v. 1. p. 158-180.
SANTOS, M. R. F. P. ; AZEVEDO, M. L. P. M. C. D. ; CASTRO, Jaelson ; FONSECA, D. . O uso do Framework NFR no Projeto de Banco de Dados Distribuído. In: III Workshop em Engenharia de Requisitos, 2000, Rio de Janeiro. Anais do III Workshop em Engenharia de Requisitos. Rio de Janeiro: PUC-Rio, 2000. p. 209-229.
CASTRO, Jaelson ; ALENCAR, F. M. R. ; CYSNEIRO FILHO, G. A. A. . Closing the gap between Organizational Requirements and Object Oriented Modeling (best paper). In: XIV Simposio Brasileiro de Engenharia de Software, 2000, Joao Pessoa. Anais do XIV Simposio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computacao, 2000. p. 323-338.
TORANZO, M. A. ; CASTRO, Jaelson . A Comprehensive Traceability Model to Support the Design of Interactive Systems. In: WISDOM´99 - International Workshop on Interactive system Development and Object Models, 1999, Lisboa, 1999. p. 1-20.
ALENCAR, F. M. R. ; SOUZA, F. M. ; CASTRO, Jaelson . Modelagem Organizacional: Análise Comparativa das Técnicas I* e Bubenko. In: IDEAS'99 - II IberoAmerican Workshop on Requirements Engineering and Software Environment., 1999, San José, Costa Rica. In Proceedings of IDEAS'99 - II IberoAmerican Workshop on Requirements Engineering and Software Environment., 1999. p. 326-337.
CUNHA, J. F. ; PAES, D. M. ; CASTRO, Jaelson . Experiências com a Especificação de um Sistema de Planejamento Operacional de Transporte: O Caso do GIST98. In: IDEAS 99 - II IberoAmerican Workshop on Requirements Engineering and Software Environment, 1999, San José. Proceeding of IDEAS 99 - II IberoAmerican Workshop on Requirements Engineering and Software Environment, 1999. v. 1. p. 265-278.
CASTRO, Jaelson ; TORANZO, M. A. . Multiview++ Environment: Requirements Traceability from the perspective of different stakeholders. In: WER'99 - II IberoAmerican Workshop on Requirements Engineering, 1999, Buenos Aires. Proceedings of WER'99 - II IberoAmerican Workshop on Requirements., 1999. v. 1. p. 198-216.
ALENCAR, F. M. R. ; SOUZA, F. M. ; CASTRO, Jaelson . O Impacto dos COTS no Processo de Engenharia de Requisitos. In: WR'99 - II IberoAmerican Workshop on Requirements, 1999, Buenos Aires. Proceedings WR'99 - II IberoAmerican Workshop on Requirements, 1999. v. 1. p. 175-186.
CASTRO, Jaelson ; ALENCAR, F. M. R. . Introduzindo Engenharia de Requisitos no Currículo de Engenharia Elétrica/Eletrônica. In: WER'99 - II IberoAmerican Workshop on Requirements, 1999, Buenos Aires. Proceedings of WER'99 - II IberoAmerican Workshop on Requirements, 1999. v. 1. p. 229-232.
NUNES, N. ; TORANZO, M. A. ; CUNHA, J. F. ; CASTRO, Jaelson ; KOVACEVIC, S. ; ROBERTS, D ; TARBY, J.C ; COLLINS-COPE, M. ; VAN HARMELEN, . Interactive System Design and Object Models. In: International Workshop on Interactive System Development and Object Models, 1999, Lisboa. ECOOP'99 - Workshop Reader. London: Springer verlag - LNCS 1743, 1999. v. 1743. p. 267-287.
ALENCAR, F. M. R. ; CASTRO, Jaelson . Integrating Early and Late-Phase Requirements: A factory case study. In: Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. XIII Simpósio Brasileiro de Engenharia de Software, 1999. v. 1. p. 47-61.
CASTRO, Jaelson . Introdução a Unified Modeling Language. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Mini-curso do XIII Simpósio Brasileiro de Engenharia de Software, 1999. v. 1. p. 1-66.
ALENCAR, F. M. R. ; CASTRO, Jaelson . Guidelines From Organizational Requirements To Formal Specifications. In: WER98- I Workshop de Engenharia de Requisitos, 1998, Maringa. Anais do WER98- I Workshop de Engenharia de Requisitos. Rio de Janeiro: PUC-Rio, 1998. v. 1. p. 09-17.
CASTRO, Jaelson . Uma Proposta Para Rastreamento de Requisitos e Representação de Informação. In: Workshop de Engenharia de Requisitos, 1998. Uma proposta para rastreamento de requisitos e representação de informação. p. 129-137.
SOUZA, F. M. ; CASTRO, Jaelson . Requisitos Com Modelagem Organizacional: Um Estudo de Caso do Comércio. In: WER98 - I Workshop de Engenharia de Requisitos, 1998. Requisitos com Modelagem Organizacional: Um Estudo de Caso do Comércio. p. 18-26.
JAELSON, F. B. ; CASTRO, Jaelson . Introdução A Medição de Software Através de Pontos de Função. In: XII Simpósio Brasileiro de Engenharia de Software, 1998. Tutorial do XII Simpósio Brasileiro de Engenharia de Software. p. 1-50.
CASTRO, Jaelson ; TORQNZO, M. A. ; BUENO, M. A. S. . Tool Integration in the Multiview Environment: An experience Report. In: 4th International Conference on Information Systems Analysis and Synthesis - ISAS 98, 1998, Orlando, Florida. Proceedings of the 4th International Conference on Information Systems Analysis and Synthesis - ISAS 98. This event was part of the World Conference on Systemics, Cybernetics and Informatics, 1998. p. 275-282.
CASTRO, Jaelson ; ALENCAR, F. M. R. . Formalização de Requisitos Organizacionais. In: I IberoAmerican Workshop on Requirements Engineering and Software Environment - IDEAS 98, 1998, Torres. Proceedings of I IberoAmerican Workshop on Requirements Engineering and Software Environment - IDEAS 98, 1998. v. 1. p. 89-99.
BASTOS, L. R. D. ; CASTRO, Jaelson . Uma Arquitetura em Camadas para Sistemas Bancários com Modelo de Controle Baseado em Eventos. In: Symposium on Software Technology - Process Improvement Putting Software Engineering to Work - SoST 98., 1998, Buenos Aires. Proceedings of Symposium on Software Technology - Process Improvement Putting Software Engineering to Work - SoST 98., 1998. p. 191-196.
NUNES, N. ; CUNHA, J. F. ; CASTRO, Jaelson . Prototipificação Evolutiva Centrada em Utilizadores: Um Estudo de Caso para Melhorar o Processo de Desenvolvimento de Software em PMEs. In: XXIV Latin-American Informatics Conference - PANEL 98., 1998. Proceedings of XXIV Latin-American Informatics Conference - PANEL 98., 1998. v. 1. p. 473-486.
TORANZO, M. A. ; CASTRO, Jaelson . Uma Proposta de Um Modelo para Rastrear Requisitos. In: XXIV Latin-American Informatics Conference - PANEL 98, 1998. Proceedings XXIV Latin-American Informatics Conference - PANEL 98, 1998. v. 1. p. 85-97.
ALENCAR, F. M. ; CASTRO, Jaelson . Uso de Modelos Intencionais Em Sistemas de Comunicação. In: XV Simpósio Brasileiro de Telecomunicações, 1997, Recife. Uso de Modelos Intencionais em Sistemas de Comunicação, 1997. p. 573-576.
CASTRO, Jaelson ; GAUTREAU, C. J. ; TORANZO, M. A. ; BUENO, M. A. S. . Multiview: Requirements Modeling And Formalisation. In: XI Símposio Brasileiro de Engenharia de Softtware (SBES'97), 1997, Fortaleza. Caderno de Ferramentas, 1997. p. 445-456.
ALENCAR, F. M. ; CASTRO, Jaelson . Modelando Intenções e Melhorando A Captura de Requisitos de Qualidade. In: Conferência Latino-America em Informática, 1997. Modelando Intenções e Melhorando a Captura de Requisitos de Qualidade. p. 515-524.
CASTRO, Jaelson ; TORANZO, M. . Towards Software Quality: The Multiview Case. In: Third International Workshop on Requirements Engineering: Foundation for SOftware Quality - REFSQ'97, 1997. Towards Software Quality: The Multiview Case. v. 1. p. 107-118.
CASTRO, Jaelson ; TORANZO, M. ; GAUTREAU, C. ; BUENO, M. . The Multiview Environment At The Age Of II. In: XXIV Seminário Integrado de Software e Hardware (SEMISH'97), 1997, Brasília. XVII Congresso da SBC, 1997. p. 313-324.
ALENCAR, F. M. ; CASTRO, Jaelson . Utilizando Lógica Modal de Ações para Formalização de Requisitos Organizacionais. In: XXIII Latin-American Informatics Conference - PANEL 97, 1997, Val Paraiso. Proceedings of XXIII Latin-American Informatics Conference - PANEL 97, 1997. p. 515-524.
CASTRO, Jaelson ; TORANZO, M. ; GAUTREAU, C. . Multiview : An Environment For Requirements Elicitacion And Formalisation. In: ISAS'96 - 2nd International Conference on Information System Analysis and Synthesis (WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, 1996, Orlando. In Proceedings of 2nd International Conference on Information Systems Analysis and Synthesis - ISAS 96, 1996. p. 161-168.
CASTRO, Jaelson ; GAUTREAU, C. ; TORANZO, M. . Towards An Environment To Support Requirements Formalisation. In: X Símposio Barsileiro de Engenharia de Software, 1996, São Carlos. Towards an Environment to Support Requirements Formalisation, 1996. p. 189-206.
CASTRO, Jaelson ; GAUTREAU, C. ; TORANZO, M. . Tool Support For Requirements Formalisation. In: ViewPoints 96: International Workshop on Multiple Perpective Software development, 1996, San Francisco. Proceedings of the ACM SIGSOFT Viewpoints 96: International Worskhop on Multiple Perspective Software Development - ACM VP 96., 1996. p. 202-206.
CASTRO, Jaelson ; GAUTREAU, C. ; TORANZO, M. A. . Multiview: An Integrated Environment to support Requirements Elicitation and Formalisation. In: of XXIII Integrated Seminar on Software and Hardware - SEMISH 96, 1996, Recife. XVI Congress of The Brazilian Computer Society, 1996. v. 1. p. 445-456.
ALENCAR, F. M. ; CASTRO, Jaelson . Formalização de Requisitos - Melhoria Na Qualidade dos Softwares. In: II Workshop de Qualidade de Software, 1995, Recife. II Workshop de Qualidade de Software, 1995. p. 56-60.
SOUZA, M. ; CASTRO, Jaelson ; CUNHA, P. R. F. . Suporte Gráfico À Programação e Monitoramento de Sistemas. In: XII Seminário Integrado de Software e Hardware - SEMISH99 e XXI Conferência Latino-Americana de Informática - PANEL95, 1995, Canela - RS. Suporte Gráfico à programação e Monitoramento de Sistemas, 1995. p. 237-248.
ALBUQUERQUE, L. ; MACIEL, P. ; MEDEIROS, T. ; CASTRO, Jaelson . Uso de Redes de Petri Temporizadas Para O Diagnóstico de Falhas Em Sistemas Digitais. In: VI Símposio de Computadores Tolerantes a Falhas, 1995, Canela. Uso de Redes de Petri Temporizadas para o Diagnóstico de Falhas em Sistemas Digitais, 1995. p. 181-200.
CASTRO, Jaelson . The Process Of Requirements Formalisation: The Formlab Project. In: Information Systems Analysis and Synthesis - ISAS'95, 1995, Baden-Baden. In Proceedings of Focus Symposium on Information Systems Analysis and Synthesis - ISAS 95.. Baden-Baden, 1995. p. 01-05.
MACIEL, P. R. M. ; CASTRO, Jaelson . Uso de Redes de Petri e Tcl Para O Diagnóstico de Falha Em Sistemas de Controle Industrial. In: XXI Seminário Integrado de Software e Hardware - SEMISH'94, 1994. Uso de redes de Petri e TCL para o diagnóstico de falha em sistemas de controle industrial. v. 1. p. 613-627.
AMARAL, J. P. ; CASTRO, Jaelson . Autonomous Objects: A Framework For Intelligent Software Engineering Environment. In: XX Confrência Latino-Americana de Informática - PANEL'94, 1994, México. Autonomous Objects: a framework for Intelligent Software Engineering Environment, 1994. v. 1. p. 771-782.
AMARAL, J. P. ; CASTRO, Jaelson . Using Autonomous Objects As Structure For Intelligent Software Engineering Environment Specification. In: XI Reunion Nacional de Intelingência Artificial - RNIA 94, 1994. Using Autonomous Objects as Structure for Intelligent Soiftware Engineering Environment Specification. v. 1. p. 1-2.
CASTRO, Jaelson ; FINKELSTEIN, A. . A Method for Requirements Specification and Formalisation. In: XIX Latin-American Informatics Conference - PANEL93, 1993, Buenos Aires. Proceedings of XIX Latin-American Informatics Conference - PANEL93, 1993. v. 1. p. 453-451.
AMARAL, J. P. ; CASTRO, Jaelson . Uma Abordagem Orientada a Objetos para a Construção de Ambientes Inteligents. In: XX Integrated Seminar on Software and Hardware - SEMISH 93, 1993, Florianópolis. XIII Congress of The Brazilian Computer Society - SBC93, 1993. v. 1. p. 460-472.
AMARAL, J. P. ; CASTRO, Jaelson . ASSIST/DS: Um Ambiente Inteligente para o desenvolvimento de software. In: X Brazilian Symposium on Artificial Inteligence - SBIA´93, 1993, Porto Alegre. X Brazilian Symposium on Artificial Inteligence, 1993. v. 1. p. 419-432.
CASTRO, Jaelson ; CABRAL, R. ; JANSSEN, S. ; PORTO, P. . Utilização da Metodologia OMT na Construção de Ferramentas CASE. In: VII Brazilian Symposium on Software Engineering - SBES 93, 1993, Rio de Janeiro. VII Simpósio Brasileiro de Engenhaira de Software, 1993. v. 1. p. 268-282.
CASTRO, Jaelson . Specification from Multiple Viewpoints - The Temporal-Causal Way. In: XVIII Latin-American Informatics Conference - PANEL92, 1992, Las Palmas. Proceedings of XVIII Latin-American Informatics Conference - PANEL92, 1992. v. 1. p. 193-203.
CASTRO, Jaelson . Temporal-Causal System Specification. In: 1990 IEEE International Conference on Computer Systems and software Engineering, 1990, Tel-Aviv. Proceedings of IEEE International Conference on Computer System and Software Engineering - COMPEURO´90., 1990. v. 1. p. 210-217.
CASTRO, Jaelson . A Pluralistic Approach To Distributed System Specification. In: Second IEEE Symposium ON PARALLEL AND DISTRIBUTED PROCESSING, 1990, Dallas. IEEE Symposium on Parallel and Distributed Systems., 1990. v. 1. p. 1-6.
CASTRO, Jaelson . A Temporal Framework For Requirement Specification. In: X International Conference of the Chilean Computing Society., 1990, Santiago. Proceedings of X International Conference of the Chilean Computing Society., 1990. v. 1. p. 207-218.
CASTRO, Jaelson . Constructing Distributed System Specification: A Temporal-Causal Approach. In: X CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTACAO, 1990. v. 1. p. 0-0.
CASTRO, Jaelson . Uma Metodologia Para Especificacao de Protocolos. In: V SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1987. v. 1. p. 0-0.
CASTRO, Jaelson . Dimac: Um Protocolo de Acesso Ao Meio Por Passagem de Token. In: IV SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 1986. v. 1. p. 0-0.
SANTOS, Abimael ; RIBEIRO, Quelita ; Ribeiro, Moniky ; Castro, Jaelson ; Lencastre, Maria . NFR4SUSTAIN: Catalog of Requirements for Software Sustainability. In: 40th ACM/SIGAPP Symposium on Applied Computing, 2025, Catania. SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025. p. 1507-1508.
PEREIRA, Tarcisio ; ALENCAR, Fernanda ; Castro, Jaelson . Requirements Engineering for Embedded Systems: The REPES Process. In: Workshop em Engenharia de Requisitos 2018, 2018, Rio de Janeiro. Anais do WER18 - Workshop em Engenharia de Requisitos, 2018. p. 1-6.
Gonçalves, E. ; HEINECK, T. ; Oliveira, L. ; ARAUJO, J. ; Castro, Jaelson . The PRISE Tool to Support iStar Extensions. In: Workshop em Engenharia de Requisitos 2018, 2018, Recife. Anais do WER19 - Workshop em Engenharia de Requisitos, 2018. p. 1-6.
Pimentel, João ; Santos, Emanuel ; DEMERVAL, Diego ; CASTRO, Jaelson ; FINKELSTEIN, Anthony . Towards Architectural Evolution through Model Transformations. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco, USA. Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012. p. 448-451.
Monique Soares ; Pimentel, João ; CASTRO, Jaelson ; SILVA, Carla ; TALITHA, Cleice ; Gabriela Gedes ; DEMERVAL, Diego . Automatic Generation of Architectural Models From Goals Models. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco. Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012.
SOUZA, Cleice ; ALENCAR, Fernanda ; Gabriela Gedes ; Monique Soares ; SOUZA, Claudia ; RAMOS, Ricardo ; CASTRO, Jaelson . AIRDoc-i*: um processo para avaliação de modelos i*. In: XV Workshop em Engenharia de Requisitos (WER 2012), 2012, Buenos Aires, Argentina. Anais do 15o. Workshop em Engenharia de Requisitos, 2012. p. 1-4.
RAMOS, Ricardo ; CASTRO, Jaelson ; ALENCAR, F. M. R. ; ARAUJO, João . Towards the Improvement of Use Case Models:The AIRDoc Process. In: The 26th Annual ACM Symposium on Applied Computing 2011, 2011, TaiChung. Proceedings of the 2011 ACM Symposium on Applied Computing, 2011. v. 1. p. 708-709.
Paes, J. ; Lima, C. ; SANTOS, E. B. ; SILVA, C. T. L. L. ; CASTRO, Jaelson . AGILE: Automatic Generation of i* Languages. In: XIV Ibero-American Conference on Software Engineering (CIbSE11), 2011, Rio de Janeiro, Brazil. Proceedings of the XIV Ibero-American Conference on Software Engineering (CIbSE11), 2011. p. 239-244.
Giachetti, G. ; ALENCAR, F. M. R. ; Marín, B. ; PASTOR, O. ; CASTRO, Jaelson . Beyond Requirements: An Approach to Integrate i* and Model-Driven Development. In: XIII Congreso Iberoamericano en, 2010, Cuenca. Proceedings of the XIII Ibero-American Conference on Software Engineering. Cuenca: Universidad del Azuay, 2010. p. 51-56.
ALENCAR, Fernanda ; MOREIRA, A. M. D. ; ARAUJO, João ; CASTRO, Jaelson ; RAMOS, Ricardo ; SILVA, Carla Taciana Lima Lourenço . Dealing with the i*Models with Aspects.. In: RCIS´07 - The First International Conference on Research Challenges in Information Science, 2007, OUARZAZATE, Marrocos. Proceedings of the First International Conference on Research Challenges in Information Science, - RCIS 2007, 2007. p. 367-372.
SILVA, Carla Taciana Lima Lourenço ; CASTRO, Jaelson ; ARAUJO JUNIOR, J. B. S. . Separating Design Patterns Specific Concerns in Agent Oriented Software Development: The Tropos Case. In: Spring School Event at the International Conference on Aspect Oriented Software Development (AOSD 2006), 2006, Bonn. Proceedings of Spring School Event at the International Conference on Aspect Oriented Software Development (AOSD 2006), 2006. p. 1-3.
SILVA, Carla ; CASTRO, Jaelson ; ARAUJO, João ; MOREIRA, A. M. D. ; ALENCAR, Fernanda ; RAMOS, Ricardo . Separation and Modularization of Design Patterns-Specific Concerns in Architectural Detailed Design. In: 18th Conference On Advanced Information Systems Engineering, Louxembourg ¿ CAiSE´06, 2006, Louxembourg. Forum Proceedings, the 18th Conference On Advanced Information Systems Engineering, Louxembourg ¿ CAiSE´06. Namur: Namur University Press. p. 72-75.
ALENCAR, Fernanda ; MOREIRA, A. M. D. ; ARAUJO, João ; CASTRO, Jaelson ; SILVA, Carla ; MYLOPOULOS, John . Using Aspects to Simplify i* Models. In: 14th IEEE International Requirements Engineering Conference (RE'06)., 2006, Minneapolis. Proc. of 14th International IEEE Requirements Engineering Conference.. Washington: IEEE Computer Society, 2006. p. 335-336.
BASTOS, Lucia Rosangela David ; CASTRO, Jaelson . Deriving Architectures from Requirements. In: 14th International IEEE Requirements Engineering Conference, 2006, Minneapolis. Proceedings of the 14th IEEE International Requirements Engineering Conference (RE'06). Washington, DC, USA: IEEE Computer Society, 2006. p. 332-333.
CRUZ NETO, Genésio ; GOMES, Alex Sandro ; CASTRO, Jaelson ; SAMPAIO, S. . Integrating Activity Theory and Organizational Modeling for Context of Use Analysis. In: The second Latin American Conference on Human-Computer Interaction - CLIHC 2005, 2005, Cuernavaca -Mexico. ACM International Conference Proceeedings Series; Vol 124 Proceedings of 2005 Latin American Conference on Human-Computer Interaction - CLIHC 2005. New York Press: ACM Press, 2005. v. 124. p. 301-306.
AZEVEDO, M. L. P. M. C. D. ; CASTRO, Jaelson ; SANTOS, F. ; ARAUJO, J. . Problem Frames Application on Finite Element Method Simulators. In: 6th Workshop IBEROAMERICANO de Ingeniería de Requisitos y Ambientes Software - IDEAS 2003, 2003, Asunción. Memorias 6th Workshop IBEROAMERICANO de Ingeniería de Requisitos y Ambientes Software - IDEAS 2003. Asuncion: IDEAS, 2003. v. 1. p. 274-279.
LUCENA, Carlos ; GARCIA, Alessandro ; CASTRO, Jaelson ; OMICINI, A. ; ZAMBONELLI, F. . Software Engineering of large-scale multi-agent sysgtems - SELMAS'2002. In: 24th International Conference on Software Engineering/ Software Engineering for Large-Scale Multi-Agent Systems - SELMAS´2002, 2002, Orlando. Proceedings of the 24th International Conference on Software Engineering - ICSE2002. New York: ACM Press, 2002. v. 1. p. 653-654.
GONÇALVES, ENYO ; Castro, Jaelson ; ARAUJO, João . Apresentando o PRISE:um processo para conduzir as extensões do iStar. In: Workshop em Engenharia de Requisitos 2018, 2018, Rio de Janeiro. Anais do WER18 - Workshop em Engenharia de Requisitos, 2018.
BUARQUE, Almir ; CASTRO, Jaelson ; ALENCAR, FERNANDA . The role of NFRs when transforming i* requirements models into OO-method models. In: the 28th Annual ACM Symposium, 2013, Coimbra. Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13. New York: ACM Press. p. 1305-1306.
YU, E. ; AMYOT, D. ; MUSSBACHER, G. ; FRANCH, XAVIER ; CASTRO, Jaelson . Practical Applications of i* in Industry: The State of the Art. In: 21st IEEE International Requirements Engineering Conference, 2013, Rio de Janeiro. Porceedings of 21st IEEE International Requirements Engineering Conference, 2013. p. 366-367.
CASTRO, Jaelson . Social Modeling for Requirements Engineering: Trends and Challenges (KEYNOTE). In: Keynote at the Fifth IEEE International Conference on Research Challenges in Information Science (RCIS 2011), 2011, Guadeloupe, France. Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science (RCIS 2011),, 2011. p. 1.
CASTRO, Jaelson . To be, or not to be (socially oriented ): that's the question (KEYNOTE). In: 14th Workshop on Requirements Engineering (WER 2011), 2011, Rio de Janeiro. Anais do WER11 - Workshop em Engenharia de Requisitos, 2011. p. 2.
LUCENA, Carlos ; SARDINHA, J. A. ; GARCIA, Alessandro ; CASTRO, Jaelson ; ROMANOVSKY, Alexander ; ALENCAR, Paulo ; COWAN, D. . Software Engineering for Large-Scale Multi-Agents Systems - SELMAS´2003. In: 25th International Conference on Software Engineering - ICSE 2003, 2003, Portland, USA. Proceedings of the 25th International Conference on Software Engineering - ICSE 2003. Los Alamitos: IEEE Computer Society Press, 2003. v. 1. p. 771-772.
MYLOPOULOS, John ; CASTRO, Jaelson ; KOLP, Manuel . Tropos: Toward Agent-Oriented Information Systems Engineering.. In: The Second International Bi-Conference Workshop on Agent-Oriented Information Systems AOIS2000, 2000, Stockolm, 2000.
J. Castro ; CRUZ, M. L. P. M. ; PASTOR, O. . Can we trust Socially Assistive Robots? What are their Requirements?. 2023. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson ; ALENCAR, F. M. R. ; RAMOS, R. A. . Goal and Agent-oriented Modeling with i*, Tutorial at XXIV Brazilian Software Engineering Symposium - SBES 2010. 2010. (Apresentação de Trabalho/Outra).
SILVA, C. T. L. L. ; Castro, J ; ARAUJO, J. ; MOREIRA, A. M. D. ; ALENCAR, F. M. R. ; Franch, X. . Goal Orientend Requirements Engineering: an aspect oriented perspective, Tutorial at the XII Ibero-American Conference on Software Engineering - CIbSE 2009. 2009. (Apresentação de Trabalho/Outra).
YU, E. ; CASTRO, Jaelson ; PERINI, A. . Strategic Actors Modeling with i*, Tutorial at 16th IEEE International Requirements Engineering Conference (RE´08). 2008. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson ; SILVA, C. T. L. L. ; ARAUJO, João ; MOREIRA, A. M. D. ; ALENCAR, F. M. R. ; RAMOS, R. A. . Aspectos na Engenharia de Requisitos: Uma Perspectiva Orientada a Objetivos, Tutorial at XXII Brazilian Software Engineering Symposium (SBES 2008). 2008. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson ; ALENCAR, F. M. R. ; SILVA, C. T. L. L. . Engenharia de Software Orientada a Agentes, Mini-course presented at Jornadas de Atualização em Informática (JAI 2006). 2006. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson . A Trip to the World of Requirements Engineering, Tutorial presented at VIII Ibero-American Conference on Software Engineering - CIbSE 2005. 2005. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson . Introduction to Requirements Engineering, Tutorial presented at VI Ibero-American Conference on Software Engineering - CIBSE 2003. 2003. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson . Introdução á Engenharia de Requisitos, Mini-course presented at Jornada de Atualização em Informática - JAI 1995. 1995. (Apresentação de Trabalho/Outra).
CASTRO, Jaelson . Análise e Projeto Orientado a Objetos, Mini-course presented at Jornada de Atualização em Informática - JAI 1994. 1994. (Apresentação de Trabalho/Outra).
Aguilar, J. ; Castro, J ; ESPANA, SERGIO ; La Cruz, A. ; Villapol, M. ; Zabala, P. . Preface to the Best Papers from CLEI 2013 Special Issue, 2014. (Prefácio, Pósfacio/Prefácio)>.
Rolland, C. ; Castro, J ; PASTOR, O. . Preface to Sixth International Conference on Research Challenges in Information Science, RCIS 2012, 2013. (Prefácio, Pósfacio/Prefácio)>.
Rolland, C. ; HORKOFF, J. ; YU, E. ; SALINESE, C. ; CASTRO, Jaelson . Preface to the Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012). Heildeberg, 2012. (Prefácio, Pósfacio/Prefácio)>.
Rolland, C. ; YU, E. ; Salinesi, C. ; CASTRO, Jaelson . Preface to RIGiM 2009. Berlin Heildelberg, 2009. (Prefácio, Pósfacio/Prefácio)>.

Outras produções

CASTRO, Jaelson . piStar Tool. 2018.

Castro, Jaelson ; Gonçalves, E. ; HEINECK, T. . iStar Extension Repository. 2017; Tema: Repositório de extensões existentes da linguagem de modelagem iStar. (Site).

CHOREN, Ricardo ; GARCIA, Alessandro ; LUCENA, Carlos ; ROMANOVSKY, Alexander ; CASTRO, Jaelson . Editor do livro Software Engineering for Multi-Agent Systems III. 2004. (Editoração/Livro).

CASTRO, Jaelson ; FINKESTEIN, A. . Elicitation and Formalisation With Structure.. 1991 (Technical Report) .

CASTRO, Jaelson ; FINKELSTEIN, A. . VSCS: An Object Oriented Method For Requirements Elicitation aad Formalisation.. 1991 (Technical Report) .

Projetos de pesquisa

2023 - 2023

Linguagem para Especificação de Sistemas Críticos de Segurança, Descrição: Neste projeto desenvolveremos pesquisas relacionadas ao uso de técnicas de engenharia de software voltadas ao desenvolvimento e certificação de sistemas críticos de segurança (Safety-Critical Systems SCS). Em particular proporemos uma linguagem para modelagem e especificação de requisitos de segurança de sistemas críticos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Óscar Pastor - Integrante., Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa.
2023 - Atual

Melhorando a Segurança dos Robôs, Descrição: O propósito deste projeto é criar um Catálogo de Requisitos voltado para a Segurança dos Robôs que influencie a sua aceitação e utilização. Este Catálogo será útil tanto na fase inicial de desenvolvimento e projeto, como auxiliará na avaliação de robôs já desenvolvidos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Wandemberg Silva dos Santos - Integrante., Número de orientações: 1
2023 - Atual

Requisitos para a Segurança de Sistemas Críticos, Descrição: Neste projeto desenvolveremos pesquisas relacionadas ao uso de técnicas de Engenharia de Software e Engenharia de Requisitos voltadas ao desenvolvimento e de sistemas críticos (Safety-Critical Systems SCS). Entre os domínios de interesse estão os Sistemas Robóticos e os Veículos Autônomos. Bolsa Processo: 312276/2022-2. Chamada CNPq N. 09/2022 - Bolsas de Produtividade em Pesquisa - PQ Modalidade: PQ Categoria/Nível: 2 Vigência: 01/03/2023 - 28/02/2026. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (5) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Quelita Araújo Diniz da Silva Ribeiro - Integrante / Larissa Rodrigues da Costa - Integrante / Sarah Moniky Silva Ribeiro - Integrante / Mozart de Melo Alves Júnior - Integrante / Abimael Jonas Furtuoso dos Santos - Integrante.
2020 - 2023

Desenvolvimento de Sistemas Críticos de Segurança com Qualidade, Descrição: Neste projeto desenvolveremos pesquisas relacionadas ao uso de técnicas de engenharia de software voltadas ao desenvolvimento e certificação de sistemas críticos de segurança (Safety-Critical Systems - SCS). Investigaremos como definir e avaliar o processo de desenvolvimento de SCS, assim como modelar e avaliar requisitos de segurança. Também desenvolveremos métodos para viabilizar a certificação de SCS. Ambientes e ferramentas de apoio também serão propostos. Concentraremos nossos esforços em três linhas temáticas: - Melhoria do Processo de Engenharia de Requisitos de Sistemas Críticos; - Casos de Segurança para Sistemas Críticos; - Linguagem de Modelagem de Requisitos para Sistemas Críticos. Palavras-chave: Safety-Critical System, Engenharia de Requisitos, Engenharia de Segurança, Linguagem Modelagem, Ferramentas e Ambientes Bolsa Processo: 308154/2019-3 Demanda/Chamada: Chamada CNPq 06/2019 - Bolsas de Produtividade em Pesquisa Modalidade: PQ Categoria/Nível: 2 Vigência: 01/03/2020 - 28/02/2023. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (4) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Tarcísio Couto Pereira - Integrante / Sarah Moniky Silva Ribeiro - Integrante / Mozart de Melo Alves Júnior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2019 - 2023

Desenvolvimento de Sistemas Críticos de Segurança, Descrição: Neste projeto desenvolveremos pesquisas relacionadas ao uso de técnicas de engenharia de software voltadas ao desenvolvimento e certificação de sistemas críticos de segurança (Safety-Critical Systems SCS). Investigaremos como definir e avaliar o processo de desenvolvimento de SCS, assim como modelar e avaliar requisitos de segurança. Também desenvolveremos métodos para viabilizar a certificação de SCS. Ambientes e ferramentas de apoio também serão propostas. Concentraremos nossos esforços em três linhas temáticas:- Avaliação da Maturidade de Processo de Engenharia de Requisitos de Sistemas Críticos;- Casos de Segurança para Sistemas Críticos;- Linguagem de Modelagem de Requisitos para Sistemas Críticos. * Chamada MCTIC/CNPq N 28/2018 - Universal/Faixa B - De R$ 0,00 a R$ 60.000,00N do Processo: 434699/2018-7.Vigência: 18/02/2019 - 28/02/2023 (48 meses). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / John Mylopoulos - Integrante / Oscar Pastor - Integrante / ALENCAR, FERNANDA - Integrante / GORSCHEK, TONY - Integrante / Tarcísio Couto Pereira - Integrante / GONCALVES, ENYO - Integrante / Maria Lencastre Pinheiro de Menezes Cruz - Integrante / Sarah Moniky Silva Ribeiro - Integrante / Mozart de Melo Alves Júnior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2019 - 2023

Modelagem de requisitos de sistemas críticos de segurança, Descrição: Neste projeto desenvolveremos pesquisas relacionadas ao uso de técnicas de engenharia de software voltadas ao desenvolvimento Sistemas Críticos de Segurança (Safety-Critical Systems - SCS). Investigaremos como modelar e avaliar requisitos de segurança. Ambientes e ferramentas de apoio também serão propostas.Palavras-chave: Safety-Critical Systems, Engenharia de Requisitos, Engenharia de Segurança, Linguagem Modelagem, Ferramentas e AmbientesVigência: 01/03/2019 - 28/02/2023 (Com apoio da FACEPE)Apoio FACEPE - IBPG-0376-1.03/19. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Sarah Moniky Silva Ribeiro - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.Número de orientações: 1
2017 - 2020

Desenvolvimento de Sistemas Robóticos e Críticos, Descrição: Neste projeto continuaremos nossas pesquisas relacionadas ao Desenvolvimento de Sistemas Adaptativos de Qualidade. Investigaremos como a Engenharia de Software poderá ser útil para o desenvolvimento de sistemas robóticos. Também buscamos melhorar a qualidade dos requisitos de segurança do processo de engenharia de requisitos de sistemas críticos. Além disso desenvolveremos ferramentas e ambientes de apoio. Portanto, concentraremos nossos esforços em três objetivos principais: ? Modelagem de Sistemas Robótico; ? Desenvolvimento de Sistemas Críticos; ? Ambientes e Ferramentas de apoio a Sistemas Robóticos e Críticos. Bolsa Processo: 305634/20160 Demanda/Chamada: Chamada CNPq N º 12/2016 Bolsas de Produtividade em Pesquisa PQ Modalidade: PQ Categoria/Nível: 2 Vigência: 01/02/2017 - 28/02/2020. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Jéssyka Flavyanne Ferreira Vilela - Integrante / Enyo José Tavares Gonçalves - Integrante / Tarcísio Couto Pereira - Integrante / Reinaldo Antonio da Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 25
2015 - 2023

Robôs Sociais para Manipulação Móvel com Destreza, Descrição: O projeto é estruturado em quatro eixos, cada um deles composto por seus subprojetos. Oseixos são: Planejamento e controle inteligente de manipulador móvel com comunicação oral;desenvolvimento de softwares orientados a modelos de robôs sociais móveis; humanóides dotadoscom sistema de realidade mediada e movimentação de humanos assitida por veículo aéreo nãotripulado. PRONEX-FACEPE-Edital-10-2014 - Programa de Apoio a Núcleos de Excelência. Faixa A. Valor R$ 805.000,00.Vigência: 01/0112015- 28/02/202. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Jaelson Freire Brelaz de Castro - Integrante / Aluizio Fausto Ribeiro Araújo - Coordenador / Judith Kelner - Integrante / Antônio de Pádua Braga - Integrante / João Miguel da Costa Sousa - Integrante / Paulo da Costa Luís da Fonseca Pinto - Integrante / Carmelo Jose Albanez Bastos Filho - Integrante / Fernando Buarque de Lima Neto - Integrante / Frank Sill Torres - Integrante / Hansenclever de França Bassani - Integrante / Sérgio Campello Oliveira - Integrante / Alexandre Magno Andrade Maciel - Integrante / Byron Leite Dantas Bezerra - Integrante / Bruno José Torres Fernandes - Integrante / Diego José Rátiva Millán - Integrante / Andre Paim Lemos - Integrante., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2014 - 2017

Desenvolvimento de Sistemas Adaptativos de Qualidade, Descrição: Neste projeto estaremos desenvolvendo pesquisas relacionadas ao Desenvolvimento de Sistemas Adaptativos de Qualidade. Adotaremos uma abordagem dirigida a modelos (Model Driven Development) que seja adequada para Sistemas Adaptativos. A ênfase será nas fases de Modelagem de Processos de Negócio, Engenharia de Requisitos e Arquitetura de Software. Também desenvolveremos ferramentas e ambientes de apoio. Concentraremos nossos esforços em três linhas temáticas: ? Modelagem de Processos de Negócios Adaptativos e seus relacionamentos com os Requisitos de Sistema de Apoio ? Alinhamento das descrições dos Requisitos e Arquiteturas de Software. ? Desenvolvimento de Ambientes e Ferramentas de apoio a Processos de Negócio e Sistemas Adaptativos Palavras-chave: Requisitos, Processos de Negócio, Arquiteturas de Software, Sistemas Adaptativos. Financiador: CNPq Processo: 487129/2013-0 Chamada: Universal 14/2013 - Faixa B - até R$ 60.000,00,. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (5) / Mestrado profissional: (1) / Doutorado: (4) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / John Mylopoulos - Integrante / Gilberto Amado de Azevedo Cysneiros Filho - Integrante / Fernanda Maria Ribeiro Alencar - Integrante / João Henrique Correia Pimentel - Integrante / OLIVEIRA, KAROLYNE - Integrante / Anthony Finkelstein - Integrante / Jessyka Vilela - Integrante / SOARES, MONIQUE CONCEICAO - Integrante / SOUZA, GABRIELA GUEDES DE - Integrante / Paulo de Lima Cavalcanti - Integrante / Bruno Nascimento de Figueiredo - Integrante / Jéssyka Flavyanne Ferreira Vilela - Integrante / Lucivaldo Guimarao Lima - Integrante / Tarcisio Couto Pereira - Integrante / Enyo José Tavares Gonçalves - Integrante / GONÇALVES, ENYO - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 8
2013 - 2017

Desenvolvimento de Sistemas Adaptativos, Descrição: Neste projeto estaremos desenvolvendo pesquisas relacionadas ao Desenvolvimento de Sistemas Adaptativos de Qualidade. Adotaremos uma abordagem dirigida à modelos (Model Driven Development) que seja adequada para Sistemas Adaptativos. A ênfase será nas fases de Modelagem de Processos de Negócio, Engenharia de Requisitos e Arquitetura de Software. Também desenvolveremos ferramentas e ambientes de apoio. Concentraremos nossos esforços em três objetivos principais: ? Modelagem de Processos de Negócios Adaptativos e seus relacionamentos com os Requisitos de Sistemas de Apoio; ? Alinhamento das descrições dos Requisitos e Arquiteturas de Software; ? Desenvolvimento de Ambientes e Ferramentas de apoio a Processos de Negócio e Sistemas Adaptativos. Bolsa de Produtividade de Pesquisa do CNPq Processo: 312261/2013-6 Demanda/Chamada: Produtividade em Pesquisa - PQ - 2013. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (5) / Mestrado profissional: (1) / Doutorado: (4) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa., Número de produções C, T & A: 23
2012 - 2013

Co-evolução de Modelos de Requisitos e Modelos Arquiteturais, Descrição: Recentes avanços na Engenharia de Requisitos e na Arquitetura de Software incluem métodos e técnicas para lidar com a evolução, de forma isolada, dos requisitos de software ou dos modelos de arquitetura. No entanto, há uma falta de propostas para enfrentar a co-evolução ou evolução simultânea desses artefatos. Considerando a arquitetura como uma reificação do sistema em consideração, e a crescente adoção de tecnologias que facilitam mudanças arquitetônicas (tais como as tecnologias por trás de web-services e cloud computing), é de extrema importância entender e raciocinar sobre as relações entre os requisitos e modelos arquitetônicos. Isto exige sistemas que sejam capazes de reagir a mudanças nos requisitos, alterações no domínio (o ambiente em que o sistema está inserido), bem como responder às modificações no próprio sistema (arquitetura). Alterações arquitetônicas incluem mudanças estruturais - por exemplo, a substituição de um componente (devido a uma nova atualização) - e alteração nas propriedades - por exemplo, o desempenho de um componente pode ter deteriorado. Neste projeto o nosso principal objetivo foi fornecer técnicas para apoio da co-evolução de requisitos e modelos arquitetônicos. Investigamos as relações entre mudanças de requisitos e mudanças arquitetônicas. Em particular, proporcionamos meios para avaliar se uma determinada arquitetura satisfaz um conjunto de requisitos. Além disso, no contexto de sistemas autônomicos e auto-adaptativo, propomos técnicas e algoritmos que poderão ser usados para reconfiguração automática. Tomamos como ponto de partida a nossa experiência com a abordagem STREAM (Strategy for Transition between REquirements and Architectural Models), que propõem uma estratégia baseada em transformação de modelos para a geração inicial de arquiteturas em Acme a partir de modelos de requisitos expressos na linguagem i*. O objetivo deste projeto de pesquisa foi fornecer técnicas para apoio à co-evolução d. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Anthony Finkelstein - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 10
2012 - 2012

On the quest of Co-evolution of Requirements and Architectural Models, Descrição: Software evolution has become a key research area in software engineering, requiring the development of new techniques and frameworks. Lemhman constitutes a landmark on software evolution research in that it proposed a series of laws backed by empirical data for characterizing program evolution. In fact, the life cycle of a software product, maintenance is considered to be one of the most costly phases. Software artefacts and systems are subject to many kinds of changes, which range from technical changes due to rapidly evolving technology platforms, to modifications in the software systems themselves due to the natural evolution of the businesses and requirements supported by them. These modifications include changes at all levels, from requirements through architecture and design, to source code, documentation and test suites. They typically affect various kinds of models including goal models, domain (also known as environment) models, behavioural models, data models or source code models. Coping with and managing the changes that accompany the evolution of software assets is therefore an essential aspect of Software Engineering as a discipline. Particularly, requirements changes are one of the main causes of software defects. Indeed, there is considerable interest in the development of techniques for designing software systems that evolve in response to changes in their requirements and operational environment. Such systems may evolve in different modes. The first one is automatic: the system monitors its own output and the environment within which it operates and adapts its behaviour to ensure that it continues to fulfil its mandate. Besides, the system protects and repairs itself when necessary through reconfiguration of its goals, plans, and/or components, or through delegations to external actors (other systems and/or human/organizational agents).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador / Anthony Finkelstein - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 10
2011 - 2014

Tecnologias para o Desenvolvimento de Linhas de Produto de Software de Qualidade, Descrição: Neste projeto estaremos abordando o grande desafio do Desenvolvimento Tecnológico de Qualidade. Pesquisaremos tecnologias para o desenvolvimento de Linhas de Produto de Sistemas que estejam sempre disponíveis e não apresentem falhas. Sistemas que funcionem da forma prevista e que sejam escaláveis e seguros. Concentraremos nossos esforços para definir linguagens de modelagem e suas ferramentas de apoio, bem como na elaboração de processos de desenvolvimento. Em particular aplicaremos a tecnologia para o desenvolvimento de linhas de Sistemas Autonômicos. Concentraremos nossos esforços na seguintes linhas temáticas: - Extensão de uma Linguagem de Modelagem de Requisitos Orientada a Objetivos para Linha de Produto de Sistemas, - Relacionando Modelagem de Processos de Negócio a Linha de Produto de Software, ? Desenvolvimento de Ferramenta de apoio a Modelagem de Requisitos Orientada a Objetivos para Linhas de Produto de Sistemas, ? Estabelecendo um Processo de Desenvolvimento para Linhas de Produto de Sistemas, ? Estabelecendo Políticas de Tratamento de Falhas para o Desenvolvimento de linhas Produto de Sistemas Autonômicos. Proc. 305567/2010-1, Bolsas no País / Produtividade em Pesquisa - PQ ? 2010, CNPq. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2012

TROPOS II: Uma Estratégia para Desenvolvimento de Software Orientado a Agentes, Descrição: A versão atual do projeto Tropos contempla as seguintes fases do desenvolvimento de software: Requisitos Iniciais, Requisitos Detalhados, Projeto Arquitetural, Projeto Detalhado e Implementação. Nesta nova fase do projeto, esforços estão sendo concentrados em quatro áreas críticas: (i) Complexidade dos artefatos; (ii) Avaliação da qualidade dos artefatos; (iii) Definição de Padrões de Projeto; (iv) Apoio ao rastreamento de requisitos. As novas abordagens desenvolvidas devem ser experimentadas para garantir sua validade e viabilidade, no caso do projeto Tropos a validação experimental permeia todas essas áreas. A experimentação pode ser justificada por: permitir a compreensão da natureza dos processos da informação; ajudar a construir uma base de conhecimento confiável; reduzir incerteza sobre quais teorias, ferramentas, e metodologias são adequadas; e melhorar o processo eliminando abordagens inúteis e suposições errôneas. Diversas atividades estão envolvidas na experimentação entre elas podemos destacar: elaboração de material; coleta de dados; armazenamento e análise de dados; validação de hipóteses; apresentação de resultados; entre outras. Algumas dessas atividades não devem ser realizadas pelo pesquisador que está validando sua própria abordagem para evitar interação negativa com os dados, o que poderia comprometer a validade dos experimentos. Assim a presença de técnicos dedicados a atividades de experimentação pode reduzir esse viés. Os técnicos trabalhariam diretamente nessas atividades sendo responsáveis por apoio aos pesquisadores que estão validando suas abordagens. Proc. 505253/2010-0 ,Edital MCT/CNPq 10/2010 - Apoio Técnico / Edital MCT/CNPq 10/2010 - AT- NS (Nível Superior). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2010 - 2012

Desenvolvimento de sistemas multi-agentes a partir de modelos de objetivos: uma ferramenta para o Tropos, Descrição: O aumento da complexidade do desenvolvimento de software forçou o surgimento de novos paradigmas como a orientação a agentes. Esse paradigma em especial tem se mostrado promissor como aplicação para o desenvolvimento de sistemas de software complexos. A metodologia de desenvolvimento orientado agentes Tropos tem se mostrado promissora no projeto e desenvolvimento de software por ser centrada em requisitos e capturar a complexidade das organizações. Tropos é baseada em modelos que permitem representar e analisar requisitos de sistema e outros artefatos. O objetivo desse projeto é prover mecanismos automáticos de raciocínio sobre os modelos usados por Tropos. Esses mecanismos podem auxiliar a tomada de decisão durante o desenvolvimento de software, principalmente, nas fases iniciais onde muitas das decisões de projeto são tomadas. Para isso, algoritmos de raciocínio sobre modelos serão implementados na ferramenta desenvolvida pelo nosso grupo de pesquisa, que permite a modelagem de diagramas do Tropos. Espera-se avaliar e implementar os algoritmos já existentes, e desenvolver novos algoritmos para suportar heurísticas que não possuem suporte ferramental. Como resultado esse projeto pode contribuir para várias abordagens baseadas em Tropos que exigem raciocínio sobre modelos e que não possuem suporte de ferramentas. Proc. 508031/2010-9, Bolsas no País / Iniciação Científica - Edital MCT/CNPq n.º 12/2010 - IC. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa., Número de produções C, T & A: 1
2010 - 2011

Tecnologias para Linhas de Produto de Software, Descrição: Neste projeto estaremos desenvolvendo pesquisas relacionadas com Linhas de Produto de Software. Concentraremos nossos esforços para definir linguagens de modelagem e suas ferramentas de apoio, bem como na elaboração de processos de desenvolvimento. Também investigaremos o desenvolvimento de linhas de produtos autonômicos. Em particular, concentraremos nossos esforços em cinco linhas temáticas: - Extensão de uma Linguagem de Modelagem de Requisitos Orientada a Objetivos para Linha de Produto de Software, - Extensão de uma Linguagem de Modelagem de Processos de Negócio para Linha de Produto de Software, - Desenvolvimento de Ferramenta de apoio a Modelagem de Requisitos Orientada a Objetivos para Linhas de Produto de Software, - Estabelecendo um Processo de Desenvolvimento para Linhas de Produto de Software, - Desenvolvimento de Linhas de Produtos Autonômicos. Proc. 477924/2010-7 Edital MCT/CNPq N º 14/2010 - Universal / Edital MCT/CNPq 14/2010 - Universal - Faixa B - De R$ 20.000,01 a R$ 50.000,00. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2009 - 2011

Uma abordagem baseada em Requisitos Aspectuais Orientado a Metas para Linhas de Produtos de Software, Descrição: Esta proposta de dissertação de mestrado visa utilizar os fundamentos do paradigma orientado a aspectos e as abordagens de Linhas de Produto de Software, focando nos trabalhos baseados em descrições de requisitos orientado a objetivos modelados em i* , desde as atividades iniciais do ciclo de desenvolvimento, com o intuito de melhorar a qualidade (reusabilidade, manutenibilidade e compreensibilidade) de artefatos de requisitos de software e reduzir custos de desenvolvimento. Proc. 550924/2009-4 ,Bolsas no País / Edital MCT/CNPq nº 70/2008 - Mestrado/Doutorado. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2008 - 2012

Integração de Técnicas de Modelagem Organizacional para Geração Automática de Software: O Caso do OO-Method, Descrição: Projeto de Cooperação Internacional entre UFPE e Universidad Politecnica de Valencia (Espanha). Financiado pela CAPES Proc. Nº 167/08.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2008 - 2012

Uma Abordagem para Avaliar e Aprimorar Modelos de Requisitos Orientados a Objetivos, Descrição: Neste projeto esta sendo proposta uma abordagem que simplifica a aplicação e interpretação de métricas em modelos de requisitos e posterior a isso, indica como melhorar esses documentos. A abordagem, contém guias baseadas no GQM (Métricas Questões e Objetivos, em inglês Goal Question Metrics) que ajudarão o engenheiro de software e sua equipe de qualidade a escolher um conjunto de métricas para medir um modelo de requisitos orientado a objetivos (em inglês Goal Oriented). As métricas ajudarão a detectar "potenciais problemas", um catálogo de mapeamento de problemas e possíveis soluções auxiliarão a resolução dos problemas encontrados. Proc. 565349/2008-2 Mestrado/Doutorado - Edital MCT/CNPq nº 27/2007 / Edital MCT/CNPq nº 27/2007 - Doutorado. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa., Número de produções C, T & A: 1
2008 - 2011

TROPOS II : Uma Estratégia para Desenvolvimento de Software Orientado a Agentes, Descrição: O projeto TROPOS desde a sua concepção no ano de 2000 propõe uma abordagem centrada em requisitos para o desenvolvimento de software orientado a agentes. A versão atual de TROPOS contempla as seguintes fases do desenvolvimento: Requisitos Iniciais, Requisitos Detalhados, Projeto de Arquitetura, Projeto Detalhado e Implementação. Proc. 308587/2007-3 Bolsas no País / Produtividade em Pesquisa - PQ - 2007. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2007 - 2009

Uma Estratégia para Desenvolvimento de Software Orientado a Agentes, Descrição: O projeto TROPOS desde a sua concepção no ano de 2000 propõe uma abordagem centrada em requisitos para o desenvolvimento de software orientado a agentes. A versão atual de TROPOS contempla as seguintes fases do desenvolvimento: Requisitos Iniciais, Requisitos Detalhados, Projeto de Arquitetura, Projeto Detalhado e Implementação. Nesta nova fase do projeto, concentraremos nossos esforços em áreas críticas que merecem nossa atenção: ? Complexidade dos artefatos. Um dos problemas comuns ao se desenvolver grande sistemas é a complexidade crescente dos artefatos de software. Por exemplo, já durante a fase de requisitos se observa que muitos deles estão "espalhados" ou que se encontram repetidos em várias partes do documento de requisitos. Portanto, para tratar lidar com a crescente complexidade dos artefatos, um dos nossos objetivos é investigar como o paradigma de desenvolvimento orientado à aspectos poderá ser de utilidade para simplificar os diversos modelos de TROPOS. Este novo paradigma trata as preocupações transversais através de técnicas sistemáticas que os identificam, separam, representam e os compõem. As preocupações transversais são encapsuladas em módulos separados, "aspectos", de modo a promover a localização. Assim, esperamos aumentar a modularização, com a conseqüente diminuição dos custos de desenvolvimento, manutenção e evolução. ? Avaliação da qualidade dos artefatos. Uma das nossas preocupações é com a qualidade dos sistemas de software. Portanto, é necessário avaliar a qualidade dos sistemas orientados a agentes, haja visto que eles dependem de vários fatores, desde tempo de entrega, quantidade de erros, bem como tamanho dos artefatos, nível de complexidade, facilidade de manutenção, entre outros. Proc. 478132/2007-7 Edital MCT/CNPq 15/2007 - Universal / Edital MCT/CNPq 15/2007 - Universal - Faixa B - De R$ 20.001,00 a R$ 50.000,00. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2006 - 2008

Rede Latino-Americana para Desenvolvimento de Software Orientado a Aspectos Processo, Descrição: Financiado pelo CNPq, Proc. 490478/2006-9. Projeto PROSUL ? CNPq, Edital 014/2006.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2006 - 2008

TROPOS II - Melhorando o Desenvolvimento Orientado a Agentes, Descrição: TROPOS-IT/BR - Melhorando o Desenvolvimento Orientado a Agentes Resumo O projeto TROPOS desde a sua concepção no ano de 2000 propõe uma abordagem centrada em requisitos para o desenvolvimento de software orientado a agentes. A versão atual de TROPOS contempla as seguintes fases do desenvolvimento: Requisitos Iniciais, Requisitos Detalhados, Projeto de Arquitetura, Projeto Detalhado e Implementação. Neste nova fase do projeto, diversas extensões serão propostas. Em particular concentraremos os esforços em três áreas que merecem nossa atenção: 1. Rastreamento de requisitos em TROPOS. Há bastante tempo o rastreamento de requisitos tem sido reconhecido como uma atividade muito importante do processo de desenvolvimento. Por exemplo, ele é crítica para a análise do impacto das solicitações de mudança, bem como para o gerenciamento eficiente de um projeto de software. As metodologias de desenvolvimento que apóiam o rastreamento de requisitos permitem o desenvolvimento e a manutenção de software de qualidade a um custo menor. Nossa pesquisa visa apoiar o rastreamento de requisitos durante o ciclo de vida de um software orientado a agentes. Em particular, pretendemos definir um processo de rastreamento de requisitos que seja adequado ao TROPOS. 2. Integração da orientação a aspectos com TROPOS. Um dos problemas comuns ao se desenvolver grande sistemas é a complexidade crescente dos artefatos de software. Por exemplo, já durante a fase de requisitos se observa que muitos deles estão "espalhados", ou que se encontram repetidos em várias partes do documento de requisitos. Portanto, para tratar deste problema, um dos objetivos deste projeto é definir uma abordagem híbrida que integre o TROPOS com a engenharia de requisitos orientada a aspectos. Proc. 479251/2006-1, Apoio a Projetos de Pesquisa / Edital MCT/CNPq 02/2006 - Universal. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2005 - 2008

Integração de Técnicas de Requisitos com Aspectos, Descrição: Projeto de Cooperação Internacional entre a UFPE e Universidade Nova de Lisboa (Portugal). Financiado pela CAPES/GRICES, N. 129/05. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2005 - 2007

TROPOS - Estratégia para o Desenvolvimento de Software Orientado a Agentes, Descrição: A orientação a agentes está emergindo com um novo paradigma para construção de software. Um sistema orientado a agente é aquele no qual a abstração chave usada é a de um agente. Agentes são importantes/úteis porque provêm maneiras de pensar sobre o fluxo de controle em um sistema altamente distribuído, oferecem um mecanismo que permite um comportamento emergente ao invés de uma arquitetura estática, codificam melhores práticas de como organizar entidades colaborativas concorrentes. De fato, esta nova tecnologia tem sido cada vez mais utilizada em aplicações industriais, tais como telecomunicações, comércio eletrônico, interfaces homem-máquina e engenharia concorrente, que solicitam sistemas de software com arquiteturas abertas e evolutivas, executando de forma robusta e explorando os recursos disponíveis em seu ambiente. Com o aumento da complexidade das aplicações baseadas em agente, torna-se importante o uso de notações, ferramentas e metodologias específicas para o desenvolvimento de software orientado a agentes, além das tradicionais: análise estruturada e orientação a objetos. Portanto, surge uma nova área de pesquisa, a chamada a Engenharia de Software Orientada a Agentes. Sistemas orientados a agente têm o potencial de suportar maior diversidade, oferecer mais flexibilidade e melhor robustez, assim como funcionalidades mais poderosas comparadas às tecnologias de software tradicionais. Entretanto, estes benefícios não podem ser realizados a menos que novas metodologias/estratégias de desenvolvimento (tais como TROPOS, GAIA e AUML), sejam criadas para ajudar a entender estruturas sociais complexas no domínio do problema da aplicação e traduzi-las em soluções tecnológicas. Assim, é fundamental que o Brasil seja capaz de desenvolver competência neste novo paradigma de desenvolvimento de software, a orientação a agentes. Proc. 478199/2004-0, Apoio a Projetos de Pesquisa / Edital CNPq 19/2004 - Universal. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2005 - 2006

TROPOS ? Estratégia para o Desenvolvimento de Software Orientado a Agentes, Descrição: Proc. 478199/2004-0. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2004 - 2006

Software Engineering for the Development of Agent Systems, Descrição: Projeto em vingência. Ele foi contemplado pelo Edital Universal do CNPQ (2003/01). Este projeto, chamado de SODAS (SOftware Engineering for the Development of Agent Systems), será baseado no framework TROPOS (derivado do grego "tropé", que significa "facilmente modificável" ou "facilmente adaptável") que propõe uma abordagem centrada em requisitos para o desenvolvimento orientado a agentes. Estaremos estendendo a proposta TROPOS para incluir conceitos avançados da engenharia de software. TROPOS [Castro02a] provê um nível mais alto de modelagem, dado que permite raciocínio sobre oportunidades e vulnerabilidades. O propósito de introduzir uma abstração de agente para a modelagem de requisitos é dar suporte a elicitação, exploração e a análise dos sistemas-no-mundo, das possíveis alternativas em como os agentes se relacionam uns com os outros e os prós e os contras destas alternativas. Uma abordagem orientada a agente para modelar o mundo iria capturar a complexidade de aspectos sociais não considerada pelas metodologias de desenvolvimento de software tradicionais e levariam naturalmente ao projeto e implementação orientados a agentes. Proc. 503522/2004-0 Edital CNPq 05/2004 / Iniciação Científica a Projetos de Pesquisa Científica e Tecnológica. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2004 - 2006

SODAS - Software Engineering for the Development of Agent Systems., Descrição: Financiado pelo CNPq, Proc. 503522/2004-0. Edital CNPq 05/2004 / Iniciação Científica a Projetos de Pesquisa Científica e Tecnológica.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2003 - 2005

A Estratégia TROPOS para Desenvolvimento de Software Orientado a Agentes, Descrição: Proc. 304982/02-4(NV).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
2003 - 2005

SODAS - Software Engineering for the Development of Agent Systems., Descrição: Financiado pelo CNPq, Edital Universal 2003. Processo 478241/2003-8. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
1999 - 2003

WEST - Projeto Web-Oriented Software Technology, Descrição: Cooperação Internacional.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.
1995 - 1997

Cooperação Internacional entre a Universidade Federal de Pernambuco Brasil e Universidade do Porto Portugal, Descrição: Apoiado pelo CNPq e FCT (Portugal). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jaelson Freire Brelaz de Castro - Coordenador., Financiador(es): CNPq - Bolsa.

Prêmios

2022

Best Paper Award, 25th Workshop on Requirements Engineering (WER 2022), Universidade Federal do Rio Grande do Norte (UFRN).

2021

Best Paper Award, 24th Workshop on Requirements Engineering (WER 2021), Centro Universitário de Brasília (CEUB).

2020

Best Paper Award, 23rd Workshop on Requirements Engineering (WER 2020), UNIFESP - Universidade Federal de São Paulo e ITA - Instituto Tecnológico da Aeronáutica.

2020

Orientador da tese premiada em 2º lugar no Concurso de Teses e Dissertações em Engenharia de Software (CTD-ES 2020), Simpósio Brasileiro de Engenharia de Software (SBES 2020).

2019

Best Paper Award, 22nd Workshop on Requirements Engineering (WER 2019), Universidade Pernambuco (UPE).

2019

Best Paper Award, I Brazilian Workshop on lArge-scale cRitical systEms (BWare) 2019., SBC.

2019

Orientador da tese premiada em 1º lugar no Concurso de Teses e Dissertações em Qualidade de Software (CTDQS 2019), Simpósio Brasileiro de Qualidade de Software (SBQS 2019).

2018

Best Paper Award, 21st Workshop on Requirements Engineering (WER 2018), PUC-Rio Pontifícia Universidade Católica do Rio de Janeiro.

2015

Prêmio de Contribuição Relevante para a Engenharia de Software no Brasil, SBC/CEES - Sociedade Brasileira de Computação / Comissão Especial de Engenharia de Software.

2013

Nominee for the Best Paper Award : IX Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), SBC.

2011

Nominee for the Best Paper Award: XIV Ibero-American Conference on Software Engineering (CIbSE11), PUC-Rio Pontifícia Universidade Católica do Rio de Janeiro.

2008

Best Paper Award da XI IberoAmerican Workshop on Requirements Engineering & Software Environments, 74 submissions,, IDEAS.

2003

Nominee for the Best Paper Award : XVII Simpósio Brasileiro de Engenharia de Software (SBES 2003), 130 submissions, SBC.

2002

Best paper Award : XVI Simpósio Brasileiro de Engenharia de Software (SBES 2002), 104 submissoes, SBC.

2000

Best Paper Award: XIV Simposio Brasileiro de Engenharia de Software (SBES 2000), SBC.

1993

Best Text Book of Short Course Award: XXVI Congresso Nacional Infomática e Telecomunicações (SUCESU 1993), SUCESU - Nacional.

1993

Best Academic Paper Award: II Congresso Norte-Nordeste de Informática e Telecomunicações (INFONORDESTE 1993), SUCESU-PE.

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (81) 21268430, Ramal: 4303, Fax: (81) 21268438, URL da Homepage:

Experiência profissional

2012 - 2013

University College London

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Academic

Atividades

02/2012 - 01/2013
Pesquisa e desenvolvimento, Depart of Computer Science.Linhas de pesquisa

2005 - 2006

Centro per la Ricerca Scientifica e Tecnologica

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Professor, Carga horária: 40

2019 - Atual

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

2015 - 2019

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2015

Universidade Federal de Pernambuco

Vínculo: , Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

1992 - 2008

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

1991 - 1992

Universidade Federal de Pernambuco

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Adjunto Vsitante, Carga horária: 40

Atividades

10/1992
Pesquisa e desenvolvimento, Centro de Informática.Linhas de pesquisa
10/1992
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Análise e especificação de Requisitos, Engenharia de Software, Especificação de requisitos e validação de sistemas, Métodos de Projeto de Sistemas
10/1992
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Engenharia de Requisitos Avançada, Engenharia de Requisitos, Estrutura de dados, Paradigmas de Linguagem de Programação, Tópicos Avançados em Engenharia de Software 1 (Qualidade de Software), Tópicos Avançados em Engenharia de software 2 (Engenharia de Requisitos e Ferramentas Case)
03/2010 - 07/2010
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Especificação Requisitos e Validação Sistemas
03/2010 - 07/2010
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1135- Engenharia de Requisitos Avançados
03/2010 - 07/2010
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1111 - Engenharia de Software Orieentada aAgentes
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Especificação Requisitos e Validação Sistemas
07/2009 - 12/2009
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1067 - Trabalho Individual em Engenharia de Software
03/2009 - 08/2009
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, MPI908 - Análise de Requisitos de Sistemas
03/2009 - 07/2009
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Especificação Requisitos e Validação Sistemas
03/2009 - 07/2009
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
03/2009 - 07/2009
Ensino, Especialização em Tecnologia da Informação, Nível: EspecializaçãoDisciplinas ministradas, ET911 - Engenharia de Software
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Especificação Requisitos e Validação Sistemas
08/2008 - 12/2008
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1067 - Trabalho Individual em Engenharia de Software
08/2008 - 12/2008
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, MPI908 - Análise de Requisitos de Sistemas
03/2008 - 07/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716- Especificação Requisitos e Validação Sistemas
03/2008 - 07/2008
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Especificação Requisitos e Validação Sistemas
08/2007 - 12/2007
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1067 - Trabalho Individual em Engenharia de Software
08/2007 - 12/2007
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, MPI906 - Engenharia de Software
08/2007 - 12/2007
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, MPI908 - Análise de Requisitos de Sistemas
08/2007 - 12/2007
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
03/2007 - 07/2007
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716-Especificação Requisitos e Validação Sistemas
03/2007 - 07/2007
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
08/2005 - 12/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Especição Requisitos e validação Sistemas
08/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
09/2003 - 09/2005
Direção e administração, Centro de Informática.Cargo ou função, Coordenador de Programa.
03/2005 - 07/2005
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN079 - Tópicos Avançados em Engenharia de Software 2 ( Engenharia de Requisitos Avançada)
08/2004 - 12/2004
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, IF716 - Epecificação Requisitos e Validação Sistimas
08/2004 - 12/2004
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
08/2004 - 12/2004
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1067-Trabalho Individual em Engenharia de Sofware
03/2004 - 07/2004
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1020 - Engenharia de Requisitos
03/2004 - 07/2004
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, IN1067- Trabalho Individual em Engenharia de Sofware
12/1991 - 09/1992
Pesquisa e desenvolvimento, Centro de Ciências Exatas e da Natureza, Departamento de Informática.Linhas de pesquisa
12/1991 - 09/1992
Ensino, Ciências da Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, Sistemas Distribuídos, Estrutura de Dados
11/1991 - 09/1992
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Engeharia de Software, Lógica Aplicada a Computação

2000 - 2000

University of Toronto

Vínculo: Professor Visitante, Enquadramento Funcional: Visitng Associate Professor

Atividades

01/2000 - 12/2000
Pesquisa e desenvolvimento, Department of Computer Science.Linhas de pesquisa

2008 - 2008

Università Degli Studi di Trento, UniTrento

Vínculo: Professor vistante, Enquadramento Funcional: Visiting Associate Professor (BIT Initiative), Carga horária: 40

Outras informações:
?BIT visiting professor on Agent-Oriented Software Engineering? nell?ambito dell?accordo trilaterale BIT (Libera Università di Bolzano /Freie Universität Bozen ? Leopold-Franzens-Universität Innsbruck ? Università degli Studi di Trento)

2023 - 2023

Universidade Politécnica de Valencia

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante Sênior, Carga horária: 40, Regime: Dedicação exclusiva.

2010 - 2011

Universidade Politécnica de Valencia

Vínculo: Professor vistante, Enquadramento Funcional: Estância de investigador de prestígio, Carga horária: 40

2005 - 2006

Universidade Politécnica de Valencia

Vínculo: Professor Visitante, Enquadramento Funcional: Estância de investigador de prestígio, Carga horária: 40

Atividades

10/2005 - 01/2006
Pesquisa e desenvolvimento, Department de Sistemes Informatics i Computacio (DSIC).Linhas de pesquisa

1991 - 1991

University of London

Vínculo: Outro, Enquadramento Funcional: Research Assistant, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Research Assistent do Department of Computing, do Imperial College of Science, technology and Medicine, Londres. Projeto FOREST (Formal Requirment Specification Techniques). Responsáveis Técnicos Prof. Tom Maimbaum and Prof. Anthony Finkelstein

Atividades

10/1990 - 11/1991
Pesquisa e desenvolvimento, Imperial College Of Science Technology And Medicine, Department Of Computing.Linhas de pesquisa