Arthur de Sousa Marques

Mestre em Engenharia de Software e Rastreabilidade de Requisitos pelo Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Universidade Federal de Campina Grande (UFCG). Bacharel em Ciência da Computação pela Universidade Federal de Campina Grande (UFCG). Integrou o Grupo de Métodos Formais (GMF) como aluno de iniciação científica desenvolvendo projetos nas áreas de Engenharia de Software, Programação Orientada à Aspectos e Refatoramentos. Ex-funcionário da Accenture Brasil LTDA, onde ocupou o cargo de analista pleno, tendo passado por projetos de desenvolvimento e manutenção dos sistemas utilizados pela TIM Brasil e SKY HD TV além de ter integrado a equipe de arquitetura da fábrica de Campina Grande. Tenho interesse pelas áreas de engenharia de software, arquitetura e evolução de sistemas bem como engenharia de requisitos

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

Acadêmico

Formação acadêmica

Mestrado em Ciência da Computação

2013 - 2014

Universidade Federal de Campina Grande
Título: Uma Abordagem para Representação e Rastreio de Artefatos,Ano de Obtenção: 2014
Franklin de Souza Ramalho.Coorientador: Wilkerson de Lucena Andrade. Palavras-chave: Rastreabilidade; Testes de Aceitação.Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

2007 - 2013

Universidade Federal de Campina Grande
Título: Lucro na Rede: Análise e desenvolvimento de uma ferramenta para publicidade em redes sociais
Orientador: Hyggo Almeida

Formação complementar

2015 - 2015

M101J: MongoDB for Java Developers. (Carga horária: 30h). , MongoDB University, MONGODB, Estados Unidos.

Idiomas

Inglês

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

Português

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

Áreas de atuação

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

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.

Organização de eventos

Gheyi ; MARQUES, A. S. . Olimpíada Paraibana de Informática. 2010. (Outro).

Gheyi ; MARQUES, A. S. . Olimpíada Paraibana de Informática. 2009. (Outro).

Participação em eventos

30th ACM/SIGAPP Symposium On Applied Computing.TRL - A Traceability Representation Language. 2015. (Simpósio).

30th ACM/SIGAPP Symposium On Applied Computing.Towards a Requirements Traceability Process Centered on the Traceability Model. 2015. (Simpósio).

10th Workshop on Advances in Model Based Testing (A-MOST 2014).Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. 2014. (Oficina).

IEEE International Conference on Software Testing, Verification and Validation (ICST) 2014. 2014. (Congresso).

VI Congresso de Iniciação Científica. Uma Linguagem para Especificação de Regras de Design para Programas Orientados a Aspectos. 2009. (Congresso).

XXIII Simpósio Brasileiro de Engenharia Software. 2009. (Simpósio).

Produções bibliográficas

MARQUES, A. S. ; Gheyi . Uma Linguagem para Especificação de Regras de Design para Programas Orientados a Aspectos. Revista Eletrônica de Iniciação Científica, SBC, 10 set. 2009.
MARQUES, ARTHUR ; RAMALHO, FRANKLIN ; ANDRADE, WILKERSON L. . Towards a requirements traceability process centered on the traceability model. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. New York: ACM Press. v. 1. p. 1364.
MARQUES, ARTHUR ; RAMALHO, F. S. ; ANDRADE, W. L. . SORTT - A Service Oriented Requirements Traceability Tool. In: Congresso Brasileiro de Software: Teoria e Prática, 2015, Belo Horizonte. Proceedings of 6th Brazilian Conference on Software: Theory and Practice, 2015. v. 6. p. 121-128.
MARQUES, ARTHUR ; RAMALHO, FRANKLIN ; ANDRADE, WILKERSON L. . TRL. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. New York: ACM Press. v. 1. p. 1358.
MARQUES, A. S. ; RAMALHO, F. S. ; ANDRADE, W. L. . Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2014, OH. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops. p. 264.
Neto ; MARQUES, A. S. ; Gheyi ; Borba ; Castor . A Design Rule Language for Aspect-Oriented Programming.. In: XIII Brazilian Symposium on Programming Languages, 2009, Gramado. XIII Brazilian Symposium on Programming Languages, 2009.
MARQUES, A. S. ; Gheyi . Uma Linguagem para Especificação de Regras de Design para Programas Orientados a Aspectos. In: Concurso de Trabalhos de Iniciação Científica, 2009, Bento Gonçalves. XXVIII Concurso de Trabalhos de Iniciação Científica, 2009.
MARQUES, A. S. ; Gheyi . Uma Linguagem para Especificação de Regras de Design para Programas Orientados a Aspectos. In: VI Congresso de Inciação Científica da UFCG, 2009, Campina Grande. http://pesquisa.ufcg.edu.br/anais/2009/, 2009.
MARQUES, A. S. ; Gheyi . Uma Linguagem para Especificação de Regras de Design para Programas Orientados a Aspectos. 2009. (Apresentação de Trabalho/Congresso).

Projetos de pesquisa

2009 - 2010

Uma abordagem para detecção de erros de compilação em refatoramentos para AspectJ, Descrição: Desenvolvimento de técnicas para detecção de erros de compilação em programas orientados a Aspectos. Criação de uma ferramenta para a checagem automática dos refatoramentos. Avaliação feita através da aplicação desta técnica em diversos programas orientados a aspectos presentes na literatura implementados em AspectJ.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Arthur de Sousa Marques - Integrante / Rohit - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2008 - 2009

Especificação e Verificação de Regras de Deisgn em programas Java e AspectJ, Descrição: Desenvolvimento de uma linguagem para especificação de regras de design para melhorar a modularidadeno desenvolvimento de programas Java e Aspectj. Criação de uma ferramenta para a checagem automática das regras propostas. Avaliação feita através da especificação de regras de design em diversos design patterns implementados em AspectJ.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Arthur de Sousa Marques - Integrante / Rohit - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2014

A-MOST 2014 Best Paper Award, ICST.

2009

Concurso de Iniciação Científica (CTIC), Sociedade Brasileira de Computação (SBC).

Histórico profissional

Experiência profissional

2013 - 2014

Universidade Federal de Campina Grande

Vínculo: Bolsista, Enquadramento Funcional: Aluno de Mestrado, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
- Aluno de Mestrado no Grupo de Práticas de Software (SPLab) - Pesquisa técnicas de Rastreabilidade de Software no contexto de correção de defeitos - Pesquisa vinculada ao projeto de pesquisa, desenvolvimento e inovação tecnológica intitulado e-Pol, realizado em parceria entre a Polícia Federal do Brasil e a Universidade Federal de Campina Grande. O projeto e-Pol visa integrar digitalmente as investigações conduzidas pela Polícia Federal do Brasil

2009 - 2010

Universidade Federal de Campina Grande

Vínculo: Bolsista, Enquadramento Funcional: Projeto de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
- Aluno bolsista de PIBIC. - Pesquisa e análise de técnicas de técnicas de refatoramento em programas orientados a Aspectos.

2008 - 2009

Universidade Federal de Campina Grande

Vínculo: Bolsista, Enquadramento Funcional: Projeto de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
- Aluno bolsista de PIBIC. - Pesquisa e proposta de regras de design para melhor integrar programas Java e orientados a Aspectos. -- Prêmio de um dos dez melhores trabalhos de iniciação científica no Concurso de Trabalhos de Iniciação Científica (CTIC) da Sociedade Brasileira de Computação (SBC)

2012 - 2013

Accenture

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

Outras informações:
- Desenvolvimento de um novo servidor utilizando C# e ASP.NET a fim de aprimorar o sistema de vendas da SKY HD TV. O design do servidor considerava a comunicação com serviços externos através de uma arquitetura orientada à serviços - Desenvolvimento da interface de comunicação com o sistema de pagamento através de cartão de créditos

2011 - 2012

Accenture

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

Outras informações:
- Redução do backlog de defeitos da fábrica de software de Campina Grande. Juntamente com a equipe de manutenção, mais de 181 tickets de defeitos foram fechados ao longo de 10 meses. Tais tickets estavam relacionados tanto à defeitos no sistema quanto melhorias. O tickets foram entregues em forças tarefa ou sprints de um mês, cada. - Cargo extremamente proativo. Tive de ser auto-suficiente e trabalhar em diversos sistemas mantidos pela equipe de manutenção, que eram implementados em diferentes tecnologias, tais como Java, SQL, C, C++, dentre outras.

2010 - 2011

Accenture

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor Júnior, Carga horária: 40

Outras informações:
- Desenvolvimento de novas funcionalidades para o sistema de web que suporta a venda de contas corporativas da TIM Brasil. - Redução do backlog do sistema. Identificar, propor soluções e implementar, em seguida, a fim de abordar backlog do sistema e melhorar a confiabilidade do sistema

2015 - Atual

Laboratório de Práticas de Software

Vínculo: Bolsista, Enquadramento Funcional: Analista Pleno, Carga horária: 40

Outras informações:
- Design e implementação de novas funcionalidades do sistema e-Pol. - Colaborador ativo no design da API RESTful do sistema - Supervisão de uma pequena equipe de desenvolvedores considerando o design e implementação do servidor do sistema - Design e supervisão da arquitetura de testes do sistema, cobertura de teses e scripts de teste

2016 - Atual

União de Ensino Superior de Campina Grande

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

Outras informações:
Professor das disciplinas de sistemas de informação contábeis e sistemas de informação gerenciais.