Maurício Rego Mota da Rocha
Doutor em Ciências de Computação e Matemática Computacional pela Universidade de São Paulo - USP/São Carlos, Mestre em Engenharia Elétrica pela Universidade Presbiteriana Mackenzie (2008), na área de Engenharia de Computação, Especialista em Análise de Sistemas pela Universidade Estadual do Piauí (2003) e Bacharel em Ciência da Computação pela Universidade Estadual do Piauí (2002). Já foi professor da Faculdade Drummond, da Associação de Ensino Superior do Piauí (AESPI), da Faculdade de Tecnologia do Piauí (FATEPI) e do Centro de Ensino Unificado de Teresina (CEUT). Já trabalhou como Analista de Sistemas da Industrial & Financial Systems (IFS) - SP, DBA Engenharia de Sistemas - SP, Vivo S/A - SP e Grupo Carvalho - PI. Atualmente é professor Adjunto I do Centro de Tecnologia e Urbanismo (CTU) e Diretor de Tecnologia da Informação e Comunicação (DTIC) da Universidade Estadual do Piauí (UESPI), campus Teresina. Possui experiência em áreas da Computação, com ênfase em Engenharia Dirigida por Modelos, Análise Orientada a Objetos, Banco de Dados e Teste de Software.
Informações coletadas do Lattes em 15/11/2024
Acadêmico
Formação acadêmica
Doutorado em Ciências de Computação e Matemática Computacional
2015 - 2020
Universidade de São Paulo
Título: Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
, Ano de obtenção: 2020. Adenilso da Silva Simão. Coorientador: Thiago Carvalho de Sousa.
Mestrado em Engenharia Elétrica e Computação
2005 - 2008
Universidade Presbiteriana Mackenzie
Título: Uso de Medidas de Desempenho e de Grau de Interesse para Análise de Regras Descobertas nos Classificadores
Orientador: Nizam Omar
, Ano de Obtenção: 2008.
Especialização em Especialização em Análise de Sistemas
2002 - 2003
Universidade Estadual do Piauí
Título: Gestão do Conhecimento
Orientador: Maria Luiza Lima do Vale
Graduação em Tecnólogo em Processamento de Dados
1995 - 1997
Associação de Ensino Superior do Piauí
Título: Sistema de Controle de Procuradores
Orientador: Magno Alves dos Santos
Formação complementar
2017 - 2017
Treinamento do Censo da Educação Superior. (Carga horária: 8h). , Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira, INEP/MEC, Brasil.
2012 - 2012
I Seminário sobre Docência do Ensino Superior. (Carga horária: 20h). , Universidade Estadual do Piauí, UESPI, Brasil.
2012 - 2012
Java para WEB com JSF2. (Carga horária: 20h). , CEV - Grupo Educacional, CEV, Brasil.
2009 - 2009
Formação de Multiplicadores. (Carga horária: 24h). , Escola Superior de Propaganda e Marketing, ESPM, Brasil.
2007 - 2007
Java Programmer Módulo I. (Carga horária: 40h). , Impacta, IMPACTA, Brasil.
2002 - 2002
MTS Delphi. (Carga horária: 20h). , Poliedro, POLIEDRO, Brasil.
2002 - 2002
Delphi 6.0 para Internet. (Carga horária: 40h). , Poliedro, POLIEDRO, Brasil.
2001 - 2001
SQL Server 6.5. (Carga horária: 20h). , Secretaria de Estado da Fazenda do Piauí, SEFAZ-PI, Brasil.
2001 - 2001
ASP ? Programação para internet. (Carga horária: 20h). , Universidade Federal do Piauí, UFPI, Brasil.
2001 - 2001
AOO - Análise Orientada a Objeto. (Carga horária: 40h). , Poliedro, POLIEDRO, Brasil.
1999 - 1999
Programação em Delphi 4.0 Avançado. (Carga horária: 40h). , Pro-Informática, PRO, Brasil.
1998 - 1998
Programação em Delphi 3.0 Básico. (Carga horária: 40h). , Pro-Informática, PRO, Brasil.
Idiomas
Inglês
Compreende Pouco, Fala Pouco, Lê Bem, Escreve Pouco.
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 / 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: Banco de Dados.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teste de Software.
Organização de eventos
RABELO, R. A. L. ; BALUZ, R. A. R. S. ; ROCHA, Mauricio R. M. . Escola Regional de Informática do Piauí - ERIPI. 2015. (Congresso).
ROCHA, Mauricio R. M. ; SOUSA, J. V. M. ; RABELO, R. A. L. ; BALUZ, R. A. R. S. ; RICARTE NETO, F. A. ; ANDRADE, K. F. . II Simpósio de Tecnologia em Piripiri - SIMTEC. 2015. (Congresso).
BALUZ, R. A. R. S. ; ROCHA, Mauricio R. M. ; SOUSA, J. V. M. . I Simpósio de Tecnologia em Piripiri - SIMTEC. 2014. (Congresso).
Participação em eventos
I Encontro Paulista dos Pós-Graduandos em Computação.A Method for Reduction of Tests Generated by Formal Models Extracted From UML Diagrams. 2017. (Encontro).
Escola Regional de Informática do Piauí - ERIPI. Fórum de Coordenadores de Graduação. 2015. (Congresso).
II Oficina de Férias.Oficina de Mineração de Dados. 2012. (Oficina).
Jornada Científica 2011/1 da FATEPI.Descoberta de Conhecimento em Banco de Dados. 2011. (Outra).
V Encontro Científico da FAETE.Oficina de Análise e Projeto de Sistemas com UML. 2011. (Encontro).
XVII Congresso Brasileiro de Automática. Utilização de Medidas de Avaliação do Classificador e das Regras Descobertas no Processo de KDD. 2008. (Congresso).
INFOPIAUI. 1997. (Congresso).
Participação em bancas
ROCHA, Mauricio R. M.. Portal Tutorial Digital (Guideline) para Planejamento Aquisição e Gestão de Contratos de Soluções de Tecnologia da Informação, Comunicação e Transferência de Tecnologia na Administração Pública do Estado do Piauí. 2023. Exame de qualificação (Mestrando em PROGRAMA DE PÓS-GRADUAÇÃO EM PROPRIEDADE INTELECTUAL E TRANSFERÊNCIA DE TEC) - Universidade Federal do Piauí.
ROCHA, Mauricio R. M.. Perfil Profissional Online: Recrutando com Qualidade. 2011. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Centro de Ensino Unificado de Teresina.
ROCHA, Mauricio R. M.. Testes Baseados em Rastreabilidade. 2011. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Centro de Ensino Unificado de Teresina.
ROCHA, Mauricio R. M.. Solução Computacional para Controle e Emissão de Certidão Negativa de Processo Administrativo Disciplinar. 2023.
SOUSA, T. C.;ROCHA, Mauricio R. M.; ALVES, F. C. D.. Mapeamento Sistemático sobre Tecnologias Assistivas no Ensino de Programação para Pessoas Surdas. 2021. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí.
ROCHA, Mauricio R. M.. Uma Abordagem Baseada em Arquitetura Dirigida por Modelos para Suportar Geração de Código Automatizada. 2021.
ROCHA, Mauricio R. M.. Um Estudos dos Impactos da Aplicação de MDA no Processo de Desenvolvimento de Software. 2018. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí.
Neto, Pedro Santos;ROCHA, Mauricio R. M.; CRUZ, J.. Uma Abordagem para Seleção de Tarefas na Fase de Planejamento de Sprints. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Piauí.
Neto, Pedro Santos;ROCHA, Mauricio R. M.; CRUZ, J.. Análise de Ferramentas de Apoio ao Desenvolvimento de Linhas de Produto de Software. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Piauí.
ROCHA, Mauricio R. M.; Silva, Armando S.; SILVA, Hilson. B.. O Uso das Tecnologias de Informação e Comunicação na Unidade Escolar Cipriano Vieira de Sá - Pajeú do Piauí. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Silva, Armando S.; SILVA, Hilson. B.. Processo de Desenvolvimento de Software de Controle de Mensalidade. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Silva, Armando S.; SILVA, Hilson. B.. Acessibilidade em Páginas Web Direcionada aos Deficientes Visuais. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
SILVA, Hilson. B.;ROCHA, Mauricio R. M.; Silva, Armando S.. Sistema de Gestão de Loja de Moto Peças. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
SILVA, Hilson. B.;ROCHA, Mauricio R. M.; Silva, Armando S.. Aplicando Engenharia de Requisitos em Projeto de Desenvolvimento de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
SILVA, Hilson. B.;ROCHA, Mauricio R. M.; Silva, Armando S.. Teste de Software: A Importância da Aplicação de Teste na Produção de Software Usando os Padrões da Engenharia de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
SILVA, Hilson. B.;ROCHA, Mauricio R. M.; Silva, Armando S.. Desenvolvimento de um Sistema para Vídeo Locadora: Agregando Tecnologia ao Negócio. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
Silva, Armando S.;ROCHA, Mauricio R. M.; SILVA, Hilson. B.. Sistema de Controle de Ocorrências de Isenção nos Correios. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
Silva, Armando S.;ROCHA, Mauricio R. M.; SILVA, Hilson. B.. Telecentro: Ambiente que Proporciona a Inclusão Digital na Educação Pública - Município de Canto do Buriti/PI. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
Silva, Armando S.;ROCHA, Mauricio R. M.; SILVA, Hilson. B.. Inclusão Digital Através do Telecentro Comunitário de Flores do Piauí. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
Silva, Armando S.;ROCHA, Mauricio R. M.; SILVA, Hilson. B.. Garantia de Qualidade de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
Silva, Armando S.;ROCHA, Mauricio R. M.; SILVA, Hilson. B.. Telecentro Comunitário: Inclusão Digital na Educação - Itaueira - Piauí. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Silva, Armando S.; REIS JUNIOR, J. V.. Estudo de Redes Sem Fio e sua Implantação nas Unidades de Saúde do Município de Água Branca - PI. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Silva, Armando S.; REIS JUNIOR, J. V.. Estudo da Aplicabilidade da Informática no Ensino de Matemática nas Escolas dos Municípios de São Gonçalo do piauí e São Pedro do Piauí. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
REIS JUNIOR, J. V.;ROCHA, Mauricio R. M.; Silva, Armando S.. O Estudo dos Princípios Teóricos das Fibras Ópticas e suas Vantagens em Relação a Outros Meios de Transmissão Guiados. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Silva, Armando S.; REIS JUNIOR, J. V.. Desenvolvimento de um Site para o Polo da UAPI de Água Branca. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Silva, Armando S.; PACHECO, C. M. M.. Gerenciamento Eletrônico de Documentos - GED: Visibilidade do Uso da TI a Serviço da Gestão Escolar. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
ROCHA, Mauricio R. M.; Viana, Lívia F. N. da S.; SILVA, Hilson. B.. A Utilização do Gerenciador de Conteúdo Joomla para Administrar o Portal Uapi do Polo de Canto do Buriti. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui.
Turma do 2 período;ROCHA, Mauricio R. M.. Sistema de Controle de Locadora. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdade Drummond.
Turma do 4 período;ROCHA, Mauricio R. M.. E-commerce - Loja Virtual. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdade Drummond.
ROCHA, Mauricio R. M.; SOUSA, J. V. M.; BALUZ, R. A. R. S.. Processo Seletivo ao Cargo de Professor Provisório - Edital PREG N 003/2014. 2014. Universidade Estadual do Piauí.
Orientou
Teste de Usabilidade em Softwares Reais; 2012; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Centro de Ensino Unificado de Teresina; Orientador: Mauricio Rêgo Mota da Rocha;
Introdução a MDA - Model Driven Architecture; 2012; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Centro de Ensino Unificado de Teresina; Orientador: Mauricio Rêgo Mota da Rocha;
Testes Baseados em Rastreabilidade; 2011; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Centro de Ensino Unificado de Teresina; Orientador: Mauricio Rêgo Mota da Rocha;
Perfil Profissional Online: Recrutando com Qualidade; 2011; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Centro de Ensino Unificado de Teresina; Orientador: Mauricio Rêgo Mota da Rocha;
Solução Computacional para Controle e Emissão de Certidão Negativa de Processo Administrativo Disciplinar; 2023; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Uma Abordagem Baseada em Arquitetura Dirigida por Modelos para Suportar Geração de Código Automatizada; 2021; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Um Estudos dos Impactos da Aplicação de MDA no Processo de Desenvolvimento de Software; 2018; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
O Uso das Tecnologias de Informação e Comunicação na Unidade Escolar Cipriano Vieira de Sá - Pajeú do Piauí; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Processo de Desenvolvimento de Software de Controle de Mensalidade; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Acessibilidade em Páginas Web Direcionada aos Deficientes Visuais; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Desenvolvimento de um Site para o Polo da UAPI de Água Branca; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Teste de Usabilidade; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Gerenciamento Eletrônico de Documentos ? GED: Viabilidade de Uso da TI a Serviço da Gestão Escolar; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Estudo de Redes sem Fio e sua Implantação nas Unidades de Saúde no Municipio de Água Branca - PI; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Estudo da Aplicabilidade da Informática no Ensino de Matemática nas Escolas dos Municípios de São Gonçalo do Piauí e São Pedro do Piauí; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
A Utilização do Gerenciador de Conteúdo Joomla para Administrar o Portal Uapi do Polo de Canto do Buriti; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Universidade Aberta do Piaui; Orientador: Mauricio Rêgo Mota da Rocha;
Estudo de Ferramentas que Apoiam o Desenvolvimento de Linhas de Produto de Software; 2014; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí, Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Estudo de Técnicas de Inteligência Computacional Aplicadas a Engenharia de Software; 2014; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí, Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Monitoria da Disciplina Lógica de Programação; 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade Estadual do Piauí, Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Monitoria da Disciplina Lógica de Programação; 2014; Orientação de outra natureza; (Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí, Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Monitoria da Disciplina de Lógica Matemática e Computacional; 2013; Orientação de outra natureza; (Bacharelado em Ciência da Computãção) - Universidade Estadual do Piauí, Universidade Estadual do Piauí; Orientador: Mauricio Rêgo Mota da Rocha;
Produções bibliográficas
-
ROCHA, MAURICIO ; SIMÃO, ADENILSO ; SOUSA, THIAGO . Model-based test case generation from UML sequence diagrams using extended finite state machines. SOFTWARE QUALITY JOURNAL , v. 29, p. 595-627, 2021.
-
ROCHA, MAURICIO ; SIMÃO, ADENILSO ; SOUSA, THIAGO ; BATISTA, MARCELO . Test Case Generation by EFSM Extracted from UML Sequence Diagrams. In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Lisboa, 2019. p. 135-140.
-
CRUZ, J. ; Neto, Pedro Santos ; BRITTO, R. S. ; RABELO, R. A. L. ; LIRA, W. A. L. ; SOARES, T. A. C. ; ROCHA, Mauricio R. M. . Toward a Hybrid Approach to Generate Software Product Line Portfolios. In: IEEE Congress on Evolutionary Computation, 2013, Cancum. Proceedings of the IEEE Congress on Evolutionary Computation, 2013.
-
ROCHA, Mauricio R. M. ; Nizam Omar ; Clodoaldo A. M. Lima . Utilização de Medidas de Avaliação do Classificador e das Regras Descobertas no Processo de KDD. In: XVII Congresso Brasileiro de Automática, 2008, Juiz de Fora - MG. Anais do XVII Congresso Brasileiro de Automática, 2008.
-
ROCHA, Mauricio R. M. ; SIMAO, A. S. ; SOUSA, T. C. . Redução de Testes Gerados a partir de Modelos Formais Extraídos de Diagramas UML. 2017. (Apresentação de Trabalho/Outra).
-
ROCHA, Mauricio R. M. ; Nizam Omar ; Clodoaldo A. M. Lima . Utilização de Medidas de Avaliação do Classificador e das Regras Descobertas no Processo de KDD. 2008. (Apresentação de Trabalho/Congresso).
Outras produções
ROCHA, Mauricio R. M. . Sistema Pinguim. 2003.
ROCHA, Mauricio R. M. . Almox. 2001.
ROCHA, Mauricio R. M. . Utilização de Medidas de Avaliação do Classificador e das Regras Descobertas no Processo de KDD. 2008.
ROCHA, Mauricio R. M. . Oficina de Mineração de Dados. 2012. (Curso de curta duração ministrado/Extensão).
ROCHA, Mauricio R. M. . Descoberta de Conhecimento em Banco de Dados. 2011. (Curso de curta duração ministrado/Extensão).
ROCHA, Mauricio R. M. . Oficina de Análise e Projeto de Sistemas com UML. 2011. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2024 - Atual
Uso de Técnicas de Business Intelligence para Desenvolvimento de Dashboards de Indicadores Educacionais, Descrição: Projeto de pesquisa visa analisar os principais indicadores educacionais e utilizá-los para identificar as causas da evasão e dificuldade de aprendizado dos alunos no âmbito da Universidade Estadual do Piauí (UESPI). Este estudo usa técnicas de Business Intelligence para a extração tratamento, análise e apresentação dos dados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Mauricio Rêgo Mota da Rocha - Coordenador.
-
2017 - 2023
Testes de Software Gerados a partir de Modelos Formais Extraídos de Diagramas UML, Descrição: O desenvolvimento de software é normalmente caracterizado pela construção de modelos que representam diversas perspectivas do sistema. A UML (Unified Modeling Language) é uma linguagem padrão para modelagem de sistemas. Mesmo com essa padronização, o uso da UML leva a uma série de problemas, tais como problemas de transformação, inconsistência e várias interpretações possíveis. O uso de modelos formais é uma das opções que pode ser adotada para resolver esses problemas, já que tem uma notação precisa para traduzir com exatidão o comportamento de um sistema. Porém, não é uma prática comum na indústria a utilização de modelos formais, já que os desenvolvedores tem dificuldades de lidar com os conceitos envolvidos. Portanto, um dos objetivos deste trabalho é a transformação de modelos UML em modelos formais, que é uma importante questão dentro do escopo da MDA (Model Driven Architecture). Para geração de testes a partir de modelos formais um processo bastante utilizado é o TBM (Teste Baseado em Modelos). O TBM permite que testes de software sejam gerados automaticamente a partir de modelos e de outros artefatos do software, reduzindo o custo de desenvolvimento. Dessa forma, este trabalho apresenta uma proposta de geração de testes de software automaticamente a partir de modelos formais extraídos de diagramas UML.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Doutorado: (1) . , Integrantes: Mauricio Rêgo Mota da Rocha - Coordenador.
-
2012 - 2017
Inteligência Computacional Aplicada a Engenharia de Software, Descrição: Este projeto propõe a realização de estudos relacionados à resolução de problemas complexos na área de Engenharia de Software, por meio da aplicação de técnicas de Inteligência Computacional, área também conhecida como Search-based Software Engineering (SBSE). Esses problemas complexos podem ser modelados como problemas de otimização e serem tratados de forma automática através de técnicas de Inteligência Computacional, tais como: Simulated Annealing, Redes Neurais Artificiais, Sistemas Fuzzy, Computação Evolutiva, Inteligência de Enxames e Sistemas Imunológicos Artificiais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Mauricio Rêgo Mota da Rocha - Coordenador., Número de produções C, T & A: 2
Histórico profissional
Endereço profissional
-
Universidade Estadual do Piauí, Centro de Tecnologia e Urbanismo - CTU. , Rua Espírito Santo, Acarape, 64003750 - Teresina, PI - Brasil, Telefone: (86) 32132424, URL da Homepage:
Experiência profissional
2023 - Atual
Universidade Estadual do PiauíVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto II, Carga horária: 40, Regime: Dedicação exclusiva.
2021 - 2023
Universidade Estadual do PiauíVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Regime: Dedicação exclusiva.
2012 - 2021
Universidade Estadual do PiauíVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente III, Regime: Dedicação exclusiva.
2012 - 2019
Universidade Estadual do PiauíVínculo: Bolsista, Enquadramento Funcional: PARFOR - Professor Formador
Outras informações:
PARFOR - Plano Nacional de Formação de Professores da Educação Básica
2012 - 2015
Universidade Estadual do PiauíVínculo: , Enquadramento Funcional: Coordenador do Curso de Ciência da Computação, Carga horária: 20
2011 - 2012
Universidade Estadual do PiauíVínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40
2002 - 2003
Universidade Estadual do PiauíVínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 4
Atividades
-
01/2018
Direção e administração, Palácio Pirajá, Administração Superior.,Cargo ou função, Diretor de Tecnologia da Informação e Comunicação (DTIC).
-
01/2024 - 05/2024
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, BANCO DE DADOS, LÓGICA MATEMÁTICA
-
09/2023 - 12/2023
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, ESTRUTURA DE DADOS I, TRABALHO DE CONCLUSÃO DE CURSO I
-
03/2023 - 08/2023
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, BANCO DE DADOS I, ENGENHARIA DE SOFTWARE I
-
10/2022 - 01/2023
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Engenharia de Software II, Trabalho de Conclusão de Curso I
-
06/2022 - 09/2022
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Trabalho de Conclusão de Curso I, Estrutura de Dados
-
01/2022 - 05/2022
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados II, Arquitetura e Organização de Computadores
-
08/2021 - 12/2021
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Estrutura de Dados
-
01/2021 - 05/2021
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Arquitetura e Organização de Computadores, Programação I
-
01/2021 - 05/2021
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Arquitetura e Organização de Computadores
-
09/2019 - 01/2020
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados II, Seminários e Pesquisa Científica II
-
03/2019 - 08/2019
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Seminário de Pesquisa II
-
01/2019 - 02/2019
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Multimídia
-
08/2018 - 01/2019
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados II
-
08/2018 - 01/2019
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Computação I
-
03/2018 - 07/2018
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados I
-
02/2018 - 02/2018
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados
-
09/2017 - 01/2018
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados II
-
01/2016 - 12/2017
Direção e administração, Palácio Pirajá, Administração Superior.,Cargo ou função, Diretor do Núcleo de Processamento de Dados (NPD).
-
08/2017 - 09/2017
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Prática Pedagôgica Interdisciplinar IV - PPI-IV
-
04/2017 - 08/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos Avançados em Banco de Dados, Estágio Supervisionado
-
04/2017 - 08/2017
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Computação II
-
02/2017 - 04/2017
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Prática Pedagógica Interdisciplinar III - PPI-III
-
09/2016 - 02/2017
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Estágio Supervisionado
-
08/2016 - 09/2016
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Prática Pedagógica Interdisciplinar - PPI - II
-
03/2016 - 09/2016
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Tópicos Avançados em Banco de Dados, Estágio Supervisionado
-
03/2016 - 07/2016
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Computação I
-
02/2016 - 04/2016
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Prática Pedagógica Interdisciplinar - PPI - VII
-
08/2015 - 12/2015
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados II
-
05/2012 - 11/2015
Direção e administração, Campus Prof. Antônio Giovanne Alves de Sousa.,Cargo ou função, Coordenador do Curso de Bacharelado em Ciência da Computação.
-
08/2015 - 09/2015
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Prática Pedagógica Interdisciplinar - PPI VI
-
03/2015 - 07/2015
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Lógica de Programação, Programação I
-
08/2014 - 02/2015
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Lógica de Programação, Programação II, Banco de Dado I
-
01/2015 - 01/2015
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados
-
07/2014 - 07/2014
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Metodologia do Ensino da Computação
-
03/2014 - 07/2014
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Engenharia de Software
-
01/2014 - 01/2014
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software
-
08/2013 - 12/2013
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Lógica Matemática e Computacional
-
07/2013 - 07/2013
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Programação II
-
01/2013 - 07/2013
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Lógica Matemática e Computacional
-
01/2013 - 01/2013
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados
-
08/2012 - 12/2012
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Metodologia da Pesquisa Científica
-
07/2012 - 07/2012
Ensino, PARFOR - Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software
-
04/2012 - 07/2012
Ensino, Licenciatura em Química, Nível: Graduação,Disciplinas ministradas, Noções de Informática
-
08/2011 - 06/2012
Ensino, Bacharelado em Ciência da Computãção, Nível: Graduação,Disciplinas ministradas, Engenharia de Software I, Optativa II e Estágio Supervisionado II, Estrutura de Dados, Conceitos e Técnicas de Programação e Estágio Supervisionado II
-
08/2002 - 07/2003
Ensino, Sequencial de Rede de Computadores, Nível: Graduação,Disciplinas ministradas, Banco de Dados II, Banco de Dados I
2011 - 2012
Universidade Aberta do PiauíVínculo: Bolsista, Enquadramento Funcional: Pesquisador/Orientador, Carga horária: 20
2010 - 2011
Universidade Aberta do PiauíVínculo: Bolsista, Enquadramento Funcional: Tutor à Distância, Carga horária: 20
Atividades
-
06/2011 - 06/2012
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Orientação de TCC I e II e Estágio I e II
-
01/2011 - 05/2011
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação I, Algoritmos e Programação II, Arquitetura de Computadores e Estrutura de Dados
-
10/2010 - 12/2010
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Sistemas de Informação
2010 - 2011
Grupo CarvalhoVínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44
2002 - 2003
Grupo CarvalhoVínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44
Atividades
-
07/2010 - 04/2012
Serviços técnicos especializados , Gerência de TI.,Serviço realizado, Análise de Sistemas.
-
02/2003 - 09/2003
Direção e administração, Gerência de TI.,Cargo ou função, Gerente de Informática.
-
02/2002 - 02/2003
Serviços técnicos especializados , Gerência de TI.,Serviço realizado, Desenvolvimento de Sistemas.
2012 - 2012
Centro de Ensino Unificado de TeresinaVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 8
Atividades
-
02/2012 - 05/2012
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação II e Engenharia de Software
2010 - 2012
Associação de Ensino Superior do PiauíVínculo: Celetista formal, Enquadramento Funcional: Professor Adjunto I, Carga horária: 6
Atividades
-
02/2012 - 06/2012
Ensino, Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados
-
08/2011 - 12/2011
Ensino, Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Engenharia de Software e Inteligência Artificial
-
02/2011 - 07/2011
Ensino, Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Arquitetura de Computadores
-
08/2010 - 12/2010
Ensino, Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Engenharia de Software
-
08/2010 - 12/2010
Ensino, Bacharelado em Ciências Contábeis, Nível: Graduação,Disciplinas ministradas, Tecnologias da Informação
2011 - 2012
Instituto de Tecnologia, Capacitação e Integração SocialVínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 30
Atividades
-
03/2011
Serviços técnicos especializados , Escola Fazendária - SEFAZ-PI.,Serviço realizado, Analista de Sistemas.
2011 - 2011
Faculdade de Tecnologia do PiauiVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 20
Atividades
-
02/2011 - 09/2011
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Lógica Aplicada a Computação, Organização e Arquitetura de Computadores, Fundamentos de Sistemas de Informação e Engenharia de Software
2009 - 2010
Faculdade DrummondVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 8
Atividades
-
01/2010 - 06/2010
Ensino, Tecnólogo em Redes de Computadores, Nível: Graduação,Disciplinas ministradas, Organização e Arquitetura de Computadores, Técnicas de Acesso a Banco de Dados
-
08/2009 - 12/2009
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Análise Orientada a Objetos, Projeto de Banco de Dados
-
08/2009 - 12/2009
Ensino, Bacharelado em Sistemas de Informações, Nível: Graduação,Disciplinas ministradas, Projeto de Banco de Dados
2006 - 2010
VIVO S/AVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
04/2006 - 06/2010
Serviços técnicos especializados , Diretoria de Desenvolvimento.,Serviço realizado, Análise e Desenvolvimento de Sistemas.
2005 - 2006
Dba Engenharia de SistemasVínculo: Celetista formal, Enquadramento Funcional: Consultor, Carga horária: 40
Atividades
-
03/2005 - 04/2006
Serviços técnicos especializados , São Paulo.,Serviço realizado, Consultor.
2003 - 2005
IFS ? Industrial & Financial SystemsVínculo: Colaborador, Enquadramento Funcional: Consultor Técnico, Carga horária: 40
Atividades
-
09/2003 - 03/2005
Serviços técnicos especializados , Alphaville.,Serviço realizado, Consultor Técnico.
1999 - 2002
Secretaria da Fazenda do Estado do Piauí (PI)Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
03/2001 - 02/2002
Serviços técnicos especializados , DINFO.,Serviço realizado, Analista de Sistemas.
-
03/1999 - 03/2001
Estágios , DINFO.,Estágio realizado, Programador Delphi 4.0 com banco de dados SQL Server.
1998 - 2000
TRIBUNAL REGIONAL DO TRABALHO DA 22ª REGIÃO (PI)Vínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 30
1998 - 1999
Grupo Meio NorteVínculo: Estagiário, Enquadramento Funcional: Programador, Carga horária: 30
Atividades
-
05/1998 - 01/1999
Estágios , Gerência de TI.,Estágio realizado, Programador Delphi 4.0 com banco de dados SQL Server.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Maurício Rego Mota da Rocha e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?