Michel dos Santos Soares

Possui graduação em Ciência da Computação pela Universidade Federal de São Carlos (2000), mestrado em Ciência da Computação pela Universidade Federal de Uberlândia (2004) e doutorado pela Delft University of Technology (2010), na Holanda. Atuou como Analista de Sistemas e Consultor de Qualidade de Software em empresas no Brasil e na Holanda. Foi professor Adjunto na Universidade Federal de Uberlândia de 2010 a 2013 e coordenador da Pós-Graduação em Ciência da Computação. É co-autor do livro Qualidade de Software, pela Editora Novatec, livro com mais de 8.000 cópias vendidas. Publicou mais de 130 artigos em congressos nacionais e internacionais, além de capítulos de livro e artigos em periódicos científicos. Recebeu 2 prêmios de melhor artigo em conferências internacionais. Atualmente é Professor Associado III da Universidade Federal de Sergipe, onde atuou como Coordenador do Programa de Pós-Graduação em Ciência da Computação, Coordenador do Bacharelado em Engenharia de Computação, e Pró-Reitor de Pós-Graduação e Pesquisa. Membro da Comissão Assessora de Área do Enade 2023 para Engenharia de Computação. Atua no Programa de Pós-Graduação em Ciência da Computação (PROCC) e no Programa de Pós-Graduação Profissional em Administração Pública (PROFIAP) Tem experiência na área de Ciência da Computação, atuando em pesquisa nos seguintes temas: Cidades Inteligentes, Arquitetura de Software, Requisitos de Software, Projeto de Software, Sistemas de Tempo Real, UML, SysML, MARTE, Redes de Petri, Normas ISO, Qualidade de Software, Orientação a Aspectos, Métricas de Software, Arquitetura Orientada a Serviços e Projeto de Software-Intensive Systems.

Informações coletadas do Lattes em 26/05/2023

Acadêmico

Formação acadêmica

Doutorado em Computer Science

2006 - 2010

Delft University of Technology
Título: Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems
Orientador: Alexander Verbraeck, Jos Vrancken
Palavras-chave: Software Engineering; Software-Intensive Systems; Software Architecture; Real Time Systems; Road Traffic Control.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Transporte Terrestre.

Mestrado em Ciência da Computação

2002 - 2004

Universidade Federal de Uberlândia
Título: Uma abordagem baseada num Jogador de redes de Petri p-temporal e no cálculo de sequentes da Lógica Linear para a verificação de cenários de Sistemas Tempo Real especificados através de diagramas dinâmicos da UML
, Ano de Obtenção: 2004.Stéphane Julia.Palavras-chave: UML; Redes de Petri; Lógica Linear; Sistemas Tempo Real; Escalonamento.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: 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.

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

1996 - 2000

Universidade Federal de São Carlos

Idiomas

Inglês

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

Espanhol

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

Francês

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

Holandês

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

Á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.

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.

Organização de eventos

Soares, M. S. . Semana da Computação na UNIPAC - Lafaiete. 2005. (Congresso).

Participação em eventos

Evento do grupo de pesquisa do prof. Dr. Achim Rettberg na Carl Von Ossietzky Universität Oldenburg.Evento do grupo de pesquisa do prof. Dr. Achim Rettberg na Carl Von Ossietzky Universität Oldenburg. 2019. (Seminário).

Evento do grupo de pesquisa do prof. Dr. Achim Rettberg na Hochschule Hamm-Lippstadt University of.Evento do grupo de pesquisa do prof. Dr. Achim Rettberg. 2019. (Simpósio).

ICEIS 2017. Relationship between Personality Traits and Software Quality: Big Five Model vs. Object-oriented Software Metrics. 2017. (Congresso).

16th International Conference on Enterprise Information Systems. A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns. 2014. (Congresso).

15th International Conference on Enterprise Information Systems (ICEIS). An Approach for Modeling Real-Time Requirements with SysML and MARTE Stereotypes. 2013. (Congresso).

12th International Conference on Computational Science and Applications. Modeling Road Traffic Signals Control using UML and the MARTE Profile. 2012. (Congresso).

35th IEEE Annual Computer Software and Applications Conference. A Framework for Multi-Layered Requirements Documentation and Analysis. 2011. (Congresso).

7th Annual Conference on Systems Engineering Research (CSER 2009). Including SysML in the 4+1 View Model of Architecture for Software-Intensive Systems. 2009. (Congresso).

IEEE International Conference on Networking, Sensing and Control (ICNSC 2009). Application of Publish-subscribe Middleware for Road Traffic Measures Visualization. 2009. (Congresso).

International Conference on Enterprise Information Systems (ICEIS 2009). Evaluation of UML in Practice ? Experiences in a Traffic Management Systems Company. 2009. (Congresso).

IASTED International Conference on Software Engineering. A Proposed Extension to the SysML Requirements diagram. 2008. (Congresso).

IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008). Responsive Traffic Signals Designed with Time Petri nets. 2008. (Congresso).

13th International Conference on Urban Transport and the Environment in the 21st Century. Scenario Analysis of a Network of Traffic Signals Designed with Petri nets. 2007. (Congresso).

21st European Conference on Object-Oriented Programming (ECOOP).An Integrated Method based on Multi-Models and Levels of Modeling for Design and Analysis of Complex Engineering Systems. 2007. (Simpósio).

IEEE International Conference on Networking, Sensing and Control (ICNSC2007). Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic. 2007. (Congresso).

SIKS Doctoral Consortium.A Method based on Multi-models and Levels of Modeling for Design and Analysis of Complex Systems: Application to Road Traffic Management Systems. 2007. (Outra).

11th IFAC Symposium on Control in Transportation Systems. 2006. (Congresso).

13th World Congress and Exhibition on Intelligent Transport Systems and Services. Architecture for Distributed Traffic Control. 2006. (Congresso).

I Semana de Computação da UNIPAC/Conselheiro Lafaiete.I Semana de Computação da UNIPAC/Conselheiro Lafaiete. 2005. (Outra).

11th IFAC Symposium on Information Control Problems in Manufacturing - INCOM'2004. 11th IFAC Symposium on Information Control Problems in Manufacturing - INCOM'2004. 2004. (Congresso).

I Workshop de Educação em Informática.I Workshop de Educação em Informática. 2004. (Simpósio).

Simulation in Industry - Simulation Services for the Future. 15TH European Simulation Symposium and Exhibition - ESS'2003. 2003. (Congresso).

Participação em bancas

Aluno: Tauany Lorene Santana Santos

Costa, Heitor Augustus Xavier; CARNEIRO, G. F.; SOARES, M. S.. Um Estudo com Aspectos Quantitativos e Qualitativos sobre a Linguagem de Modelagem SysML. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: DANILLO SIQUEIRA RAMOS

SOARES, M. S.; ROCHA, F. G.; BISPO, K. A.; RODRIGUEZ, G. H.. A Bottom Up Approach for Modeling Business Process using Time Petri Nets. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Valdicélio Mendes Santos

MACHADO, I. C.; ROCHA, F. G.; SOARES, M. S.. Design and Evaluation of an Architecture Conceptualization Framework System based on ISO/IEC/IEEE 42020. 2022. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: ALEF MENEZES DOS SANTOS

NASCIMENTO, R. P. C.; PAILLARD, G.; SOARES, M. S.. SMALL: Soluções Computacionais em Mobilidade Urbana para Auxiliar na Consolidação de Cidades Inteligentes. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Layse Santos Souza

SOARES, M. S.;Rosa, P.F.; CARNEIRO, G. F.. A SysML Profile for Smart City Applications. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Roberto Wagner Santos Maciel

DANTAS, D. O.; Flores, F. C.; SOARES, M. S.. VGLGUI: Uma interface gráfica de programação visual para a biblioteca VisionGL. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Rafael Antônio Lima Cardoso

CARNEIRO, G. F.; SAMPAIO, P. N. M.; SOARES, M. S.; MENEZES, J. E. X.. Avaliação de Dados Abertos Governamentais: Desafios e Perspectivas. 2021. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador.

Aluno: Felipe José Rocha Vieira

FRANCA, V. V.; DANTAS, D. O.; SOARES, M. S.. Um Framework para Análise Postmortem em Projetos de Desenvolvimento de Software em uma Instituição Pública. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: ANNE CAROLINE MELO SANTOS

RODRIGUES JUNIOR, M. C.; SOARES, M. S.; MARQUES NETO, M. C.. Construção e Avaliação de uma abordagem para apoiar o desenvolvimento e a manutenção de software baseada em recursos multimídia. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Vinícius Almeida Teles Barreto

NASCIMENTO, R. P. C.; SALES, J. D. A.; SOARES, M. S.. Dados Abertos na Administração Pública de Cidades Inteligentes Promovendo Transparência aos Cidadãos. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: THAUANE MOURA GARCIA

NASCIMENTO, R. P. C.; SOARES, M. S.; SOUTO, E. J. P.. Smart E-Ping: Framework de Interoperabilidade da Arquitetura E-Ping com a Plataforma Fiware para o Uso em Cidades Inteligentes. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Ademir Almeida da Costa Júnimo

SOARES, M. S.;NASCIMENTO, R. P. C.; ELER, M. M.. A Maturity Model based on ISO/IEC/IEEE 42010: 2011 to Identify Technical Debt in Software Architecture. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Manoela dos Reis Oliveira

SOARES, M. S.; M. S. FRANÇA, JOYCE; OLIVEIRA, A. A.;NASCIMENTO, R. P. C.. O Trabalho do Arquiteto de Software no Brasil: Padrões e Antipadrões. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Marianne Batista Diniz da Silva

SALES, J. D. A.; NUNES, I. D.;NASCIMENTO, R. P. C.; SOARES, M. S.. Boas Práticas para Suportar as Dimensões de Governança Ágil de TI na Administração Pública Federal. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: FLAYGNER MATOS REBOUÇAS

RODRIGUES JUNIOR, M. C.;NASCIMENTO, R. P. C.Silva, Flávio de Oliveira; SOARES, M. S.. PREOrg: Um Guia para Elicitação de Requisitos Orientado ao Desempenho Organizacional. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Luis Eduardo de Sousa Santos

MAIA, M. A.; RODRIGUES JUNIOR, M. C.; SOARES, M. S.. Um Processo para Elicitação e Documentação de Requisitos em Nível de Usuário por Meio de uma Pesquisa-Ação em uma Instituição Pública. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Fábio Gomes Rocha

NASCIMENTO, R. P. C.Soares, M. S.; OLIVEIRA, A. A.; REZENDE, D. A.. PETIC DECISION MAKING (PDM): Um Modelo Automatizado para Apoio à Tomada de Decisão Estratégica em TIC. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Quelta Araújo Diniz da Silva Ribeiro

Rosa, P.F.NASCIMENTO, R. P. C.Soares, M. S.. Uma Técnica Baseda em SysML para Modelar a Arquitetura de Sistemas Embarcados de Tempo Real. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Anderson Santos Barroso

SILVA, L. M. A. E.; DIAS NETO, A. C.;NASCIMENTO, R. P. C.Soares, M. S.. Orquestração das equipes de desenvolvimento por meio do estudo da personalidade do desenvolvedor e a aplicação de métricas de softwares orientados a objeto. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: JAMILLE SILVA MADUREIRA

CARNEIRO, G. F.;NASCIMENTO, R. P. C.; RODRIGUES JUNIOR, M. C.;Soares, M. S.. Avaliação de Equipes de Desenvolvimento de Software por Meio de Métricas Orientadas a Objeto. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Telmo Oliveira de Jesus

Soares, M. S.; SILVA, L. M. A. E.; Costa, Heitor Augustus Xavier. Uma Técnica Baseada em Eventos para Rastreabilidade entre Requisitos Modelados com SysML. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Robinson Crusoé Da Cruz

ELER, M. M.; ZAMPINOLLI, F. A.; CORDEIRO, D. A.; SOARES, M. S.. Análise Empírica sobre a Influência das Métricas CK na Testabilidade de Software Orientado a Objetos. 2017. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo.

Aluno: Sérgio Antonio Alves Barbosa

NASCIMENTO, R. P. C.; SOARES, M. S.; MACEDO, D. D. J.; ROSA, N. S.. i9ITS: uma Proposta de Arquitetura de Software para Armazenamento de Dados Abertos e Integração de Serviços para ITS em Cidades Inteligentes. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Glauber Andrade Botelho

CARVALHO, A. B.; SOARES, M. S.; SILVA, L. M. A. E.; PRUDENCIO, R. B. C.. Investigando Algoritmos Baseados em Estimadores de Distribuição e Técnicas da Otimização com muitos Objetivos na Refatoração Automática de Software. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Otávio Manoel Pereira Siqueira

OLIVEIRA, A. A.; SOARES, M. S.; RIJO, R. P. C. L.. AIKI Ecosystem Architecture: Uma Proposta de Arquitetura de Ecossistema de Software de Referência para a Área da Saúde. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Caio Augusto Rodrigues dos Santos

MATIAS JUNIOR, R.;Soares, M. S.; FROHLICH, A. A.; MACIEL, P. R. M.. Um Estudo Exploratório Sobre Padrões de Falhas de Software de Sistemas Operacionais. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: ADRIANA DE MELO FONTES

NASCIMENTO, R. P. C.; OLIVEIRA, A. A.; MENDES NETO, F. M.;Soares, M. S.. TAXOPETIC: Proposta de uma Taxonomia para a Classificação dos Artefatos Gerados pela Metodologia PETIC. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: José Jorge Barreto Torres

RODRIGUES JUNIOR, M. C.;Soares, M. S.; CARNEIRO, G. F.. Identificação e análise de clones de códigos heterogêneos em um ambiente corporativo de desenvolvimento de software.. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Josimar de Souza Lima

Soares, M. S.; OLIVEIRA, A. A.; COSTA NETO, A.; CARNEIRO, G. F.. Uma Arquitetura de Software para Implementação de um EHR utilizando SOA considerando a Interoperabilidade entre Sistemas Legados. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Jislane Silva Santos de Menezes

Soares, M. S.; RODRIGUES JUNIOR, M. C.; OLIVEIRA JR., EDSON. Processo de Avaliação de Software Aplicado à Seleção de Sistemas Gerenciadores de Conteúdo. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Fernanda Gomes Silva

Soares, M. S.; OLIVEIRA, A. A.; CARNEIRO, G. F.. Integração de Modelos de Processos de Negócio com Modelos de Requisitos de Software: Um Caso na Área de Saúde. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Izabella Cristine Oliveira Rezende

OLIVEIRA, A. A.;Soares, M. S.; ALENCAR, F. M. R.. R2MDD: Um Framework para Rastreabilidade e Monitoramento de Requisitos com Foco no Desenvolvimento Dirigido a Modelos. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Fábio Costa Silva

CARNEIRO, G. F.; SILVA, P. C.;Soares, M. S.. Sourceminer Trends: uma Infra-estrutura para Análise de Evolução de Software baseada em Múltiplas Visões Interativas. 2016.

Aluno: Sueli Dantas Barcelar

FRANCA, V. V.; FREITAS, F. C. H. P.;Soares, M. S.. A Influência dos Valores Organizacionais na Implementação de um Modelo de Melhoria de Processo de Software. 2015. Dissertação (Mestrado em ADMINISTRAÇÃO) - Universidade Federal de Sergipe.

Aluno: Lidiany Cerqueira Santos

COSTA NETO, A.; RIBEIRO, M. M.;Soares, M. S.. Um Estudo de Caso da Adoção da Programação Orientada a Aspectos para Melhoria do Processo de Manutenção e Evolução de Sistemas Integrados de Gestão. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Juli Kelle Góis Costa

RODRIGUES JUNIOR, M. C.; BECKER, K.;Soares, M. S.. Uma Abordagem para Automatizar a Manutenção do Código de Procedimentos de Carga para Ambientes de Business Intelligence. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Renato Correa Juliano

TRAVENCOLO, B. A. N.Soares, M. S.MAIA, M. A.; PONTI JUNIOR, M. P.. Visualização de Software Baseada em uma Metáfora do Universo Utilizando o Conjunto de Métricas CK. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Rodrigo Fernandes Gomes da Silva

Soares, M. S.MAIA, M. A.; FIGUEIREDO, E. M. L.;Silva, Flávio de Oliveira. Avaliação do Desempenho de Técnicas de Programação Orientada a Aspectos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Rafael Xavier

NASCIMENTO, R. P. C.; OLIVEIRA, A. A.;Soares, M. S.. MODELER: uma Abordagem baseada em Modelos Aplicada ao Processos de Elicitação de Requisitos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: DIEGO ALVES DA SILVA

Soares, M. S.OLIVEIRA JUNIOR, E. A.Silva, Flávio de Oliveira. Aplicação do Profile UML MARTE na Modelagem de Serviços de Protocolos de Comunicação de Tempo Real. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Marcel da Silva Melo

Soares, M. S.Silva, Flávio de OliveiraOLIVEIRA JUNIOR, E. A.. Transformação de Modelos SysML para UML Usando a Linguagem ATL. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Taffarel Brant Ribeiro

Catellan, R.G.; Bulcão Neto, R.F.;Soares, M. S.. Formalização e Validação de Aplicações de Captura e Acesso em Ambientes Educacionais Ubíquos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Joyce Meire da Silva Franca

Soares, M. S.MAIA, M. A.; VALENTE, M. T. O.. Avaliação de Refatoração de Software com Programação Orientada a Aspectos Usando Métricas.. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Kenia Santos de Oliveira

Soares, M. S.MAIA, M. A.; VALENTE, M. T. O.. Aspectos Iniciais Modelados com uma Extensão da SysML. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Felipe Nunes Gaia

MAIA, M. A.; Costa, Heitor Augustus Xavier;Soares, M. S.. Uma Avaliação Quantitativa de Módulos de Características Aspectuais para Evolução de Linhas de Produtos de Software. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Fabíola Gonçalves Coelho Ribeiro

Soares, M. S.; GIMENES, I. M. S.;Julia, S.. Modelagem de Requisitos de Software de Tempo-Real usando SysML e MARTE. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Helton Emanuel Reis Santana

CARNEIRO, G. F.; SILVA, P. C.;Soares, M. S.. Uma Estratégia de Migração de Sistemas Legados para a Arquitetura Orientada a Serviços.. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Salvador.

Aluno: Eduardo Augusto Silvestre

Soares, M. S.Julia, S.; Costa, Heitor Augustus Xavier. Modelagem de Software de Tempo Real utilizando o Profile MARTE da UML. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: William Chaves de Souza Carvalho

Rosa, P.F.; Lamounier Júnior, E.A.; Melnikoff, S.S.S.;Soares, M. S.. Análise dos efeitos do turnover na produtividade de processos de software tradicionais e híbridos. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Gabriel Coutinho Sousa Ferreira

MAIA, M. A.Soares, M. S.; Alves, V. R.. O Uso de Programação Orientada a Características para Evolução de Linhas de Produtos de Software. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Luciana Lourdes Silva

MAIA, M. A.Soares, M. S.; VALENTE, M. T. O.. Técnicas para Compreensão de Rastros de Execução de Programas Orientados a Objetos. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Allyson Costa e Silva

MAIA, M. A.Soares, M. S.; SILVA, I. R.; FIGUEIREDO, E. M. L.. A Influência dos Parâmetros de Análise por Semântica Latente Aplicada a Localização de Defeitos de Software. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Daniele Carvalho Oliveira

Souza, J.N.; Catellan, R.G.; Bulcão Neto, R.F.;Soares, M. S.. MNLAC: Uma Proposta de Modelagem de Fluxo de Navegação Baseada na Lõgica Modal. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Cintia Carvalho Oliveira

Souza, J.N.; Catellan, R.G.; Bulcão Neto, R.F.;Soares, M. S.. Árvore de Características de Redes de Petri Coloridas com Expressões da Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Itamar Sharon

Soares, M. S.; Berg, Jan Van den; BARJIS, J.. Decision Framework for Selecting a Suitable Software Development Process. 2009. Dissertação (Mestrado em Master of Science programme in Systems Engineering) - Delft University of Technology.

Aluno: Fabíola Gonçalves Coelho Ribeiro

Soares, M. S.; PEREIRA, C. E.;Silva, Flávio de OliveiraJulia, S.; RETTBERG, ACHIM; FRANZLE, M.; STIERAND, I.. Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems. 2019. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Raquel Fialho de Queiroz Lafetá

MAIA, M. A.; FIGUEIREDO, E. M. L.; Alves, V. R.; DORCA, F. A.;Soares, M. S.. Apoio à Instanciação de Frameworks Usando Livros de Receitas Construídos com Análise Estática e Dinâmica. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Joyce Meire da Silva Franca

MALUCELLI, A.; MENDES NETO, F. M.;Silva, Flávio de OliveiraMAIA, M. A.Soares, M. S.. Arquitetura de Software baseada em um Modelo de Qualidade para o Desenvolvimento de Aplicações Orientadas a Serviço. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Fabíola Gonçalves Coelho Ribeiro

WEHRMEISTER, M. A.; PEREIRA, C. E.; RETTBERG, ACHIM;Julia, S.Soares, M. S.. Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time and Embedded Systems. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Joyce Meire da Silva Franca

Soares, M. S.; MALUCELLI, A.;Silva, Flávio de Oliveira. Quality Model and Principles for Service Oriented Applications. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: João Ricardo Correia Andrade

FRANCA, V. V.; LUFT, M. C. M. S.; SOARES, M. S.. Análise das Relações entre Dimensões de Qualidade Percebidas por Clientes nas Organizações de Varejo Online. 2018. Exame de qualificação (Mestrando em ADMINISTRAÇÃO) - Universidade Federal de Sergipe.

Aluno: Juli Kelle Góis Costa

RODRIGUES JUNIOR, M. C.;Soares, M. S.. Automatização do Processo de Desenvolvimento de Aplicações de Business Intelligence.. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: SUELI DANTAS BACELAR

FRANCA, V. V.; DACORSO, A. L. R.; FREITAS, F. C. H. P.;Soares, M. S.. A Influência dos Valores Organizacionais na Implementação de um Modelo de Melhoria de Processo de Software. 2014. Exame de qualificação (Mestrando em ADMINISTRAÇÃO) - Universidade Federal de Sergipe.

Aluno: Hermanyo Herick Alves Souza

NASCIMENTO, R. P. C.; SOARES, M. S.. CityHallAlert: Um Aplicativo de Notificação de Demandas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Eufrânio Santos Lima

BISPO, T. D.; MATOS, L. N.; SOARES, M. S.. Diabetii.co: um aplicativo de diário de refeições com cálculo de carboidratos utilizando reconhecimento de imagens. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Givaldo Marques dos Santos

SOARES, M. S.; CARNEIRO, G. F.. Um Sistema de Apoio à Decisão para Auxiliar na Negociação de Títulos do Tesouro Direto. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Erick Matheus Santos Dantas

SOARES, M. S.; CARNEIRO, G. F.. Reengenharia de uma Ferramenta de Conceitualização de Arquitetura de Software. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: João Manoel Santos Almeida

SOARES, M. S.; RIBEIRO, B. P.. Algoritmo Simplex para Resolução de Problemas de Formulação Nutricional. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Nilson Ramos de Menezes Júnior

SOARES, M. S.; OLIVEIRA, A. A.. Plataforma HU Kids - Games mobile para o ensino de hábitos saudáveis a crianças. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

Aluno: Ítalo Jorge de Carvalho Manhães

SOARES, M. S.; COSTA NETO, A.. Uma Proposta de Comparação entre Java e Kotlin usando Métricas Orientadas a Objeto. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: PEDRO HENRIQUE LEITE OLIVEIRA

Aluno: Alkxyly Samyr Santos

NASCIMENTO, D. M. C.; COX, K. K.; BRITO, C. O.; SOARES, M. S.. Reengenharia de Software no Desenvolvimento do Simulador de Exigência Nutricional para Suínos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Danilo Gonçalves Alves Ramos

COSTA NETO, A.; SILVA, G. J. F.; SOARES, M. S.. AutoTAM: Um Gerenciador de Análises TAM. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Patrick Jones de Souza Cruz

SILVA, L. M. A. E.; PALMA, G. F. L.; SOARES, M. S.. Leis Algébricas de Programação em Coq. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Renato Silveira Nunes Júnior

SILVA, L. M. A. E.; PALMA, G. F. L.;Soares, M. S.. Verificações Formais com Redes de Petri Coloridas em Processos de Saúde Modelados com BPMN. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: ALEXIS DE ANDRADE OLIVEIRA

CARVALHO, A. B.;Soares, M. S.; BISPO, K. A.. Desenvolvimento de um Sistema de Solicitação de Atividades Complementares para o DCOMP (SISAC). 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

Aluno: DOMÊNICO MEDEIROS TRAVÁLIA

Aluno: Antônio Vinícius Menezes Medeiros

RIBEIRO, B. P.;NASCIMENTO, R. P. C.Soares, M. S.. Um interpretador online para a linguagem Portugol. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Paulo Roberto da Costa Cardoso

OLIVEIRA, A. A.;Soares, M. S.. Redes Virtuais de Conhecimento Aplicadas à Cultura: O Desenvolvimento da Ferramenta GUIGOH. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Aluno: Tiago Oliveira Santos

Soares, M. S.NASCIMENTO, R. P. C.; MATOS, L. N.. Um guia de implantação da ITIL no Tribunal de Justiça de Sergipe baseado nas melhores práticas. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

Aluno: Plínio Eduardo Túlio Souza dos Santos

COSTA NETO, A.; FREIRE, A. M.;Soares, M. S.. Desenvolvimento de um sistema de gerenciamento de projeto de teste (GPTS). 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

Aluno: Philippe Mello da Rocha

NASCIMENTO, R. P. C.; SANTOS FILHO, J. W.;Soares, M. S.. Desenvolvimento de um software tipificado como jogo eletrônico casual. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

Aluno: Lesliane Sá dos Santos

OLIVEIRA, A. A.; MELO, H. A.; ORDONEZ, E. D. M.;Soares, M. S.. Protótipo de software para auxiliar a comunicação de pacientes com a fala comprometida, conscientes e com movimento dos membros superiores. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe.

Aluno: Otávio Manoel Pereira Siqueira

Aluno: Vinicius da Cunha Martins Borges

CARMO, M. S.;Soares, M. S.; SILVA, R. S. E.. Xerife - Uma ferramenta para o gerenciamento de boletins de ocorrências policiais. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Rio Verde.

Aluno: Paola Vianna Fonseca

SILVA, R. S. E.;Soares, M. S.; CARMO, M. S.. Desenvolvimento de uma ferramenta de gestão de projetos usando orientação a objetos. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Rio Verde.

Aluno: Simone Aline de Miranda

Aluno: Andréa Barboza Proto

CARMO, M. S.;Soares, M. S.; CARDOSO, L. R.. Estudo de caso da metodologia Extreme Programming - XP. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Rio Verde.

Aluno: Heverton Barros de Macêdo

SILVA, R. S. E.;Soares, M. S.; CARMO, M. S.. Desenvolvimento de uma ferramenta para teste estrutural de aplicações em linguagem C. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Rio Verde.

Soares, M. S.NASCIMENTO, R. P. C.; ROCHA, T.. Professor Substituto de Engenharia de Software. 2015. Universidade Federal de Sergipe.

MONTESCO, C. A. E.; CARVALHO, B. T. A.;Soares, M. S.. Professor Substituto de Engenharia de Software. 2014. Universidade Federal de Sergipe.

Soares, M. S.Silva, Flávio de Oliveira; Costa, Heitor Augustus Xavier. Professor Assistente - Monte Carmelo. 2010. Universidade Federal de Uberlândia.

COSTA NETO, A.;NASCIMENTO, R. P. C.Soares, M. S.. Comissão de Revalidação de Diploma Estrangeiro. 2014. Universidade Federal de Sergipe.

Orientou

Kaíque Lima Azevedo

Aplicações de Inteligência Artificial em Sistemas de Transporte Inteligentes; Início: 2023; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe; (Orientador);

José Eduardo Chaves Costa

Estudo de Cláusulas de Descrição de Arquitetura da Norma ISO/IEC/IEEE 42020; Início: 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe; (Orientador);

Flávia Caroline dos Santos

Avaliação de Métricas de Software para Microserviços; Início: 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe; (Coorientador);

Álex dos Santos Moura

A Decision Support System on Microservices Evaluation; Início: 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe; (Orientador);

Ayrton Fernandes Hora

A definir; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; (Orientador);

Itamar Souza Silva

Portal de Apoio a Investimentos Financeiros em IOS; Início: 2018; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; (Orientador);

Valdicélio Mendes Santos

Design and Evaluation of an Architecture Conceptualization Framework System based on ISO/IEC/IEEE 42020; 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

DANILLO SIQUEIRA RAMOS

A Bottom Up Approach for Modeling Business Process using Time Petri Nets; 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Tauany Lorene Santana Santos

Um Estudo com Aspectos Quantitativos e Qualitativos sobre a Linguagem de Modelagem SysML; 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Layse Santos Souza

A SysML Profile for Smart City Applications; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Michel dos Santos Soares;

Felipe José Rocha Vieira

Um Framework para Análise Post-Mortem de Projetos de Software em uma Instituição Pública; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Manoela dos Reis Oliveira

O Trabalho do Arquiteto de Software no Brasil - Padrões e Antipadrões; 2019; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Ademir Almeida da Costa Júnior

A Maturity Model based on ISO/IEC/IEEE 42010: 2011 to Identify Technical Debt in Software Architecture; 2019; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe; Orientador: Michel dos Santos Soares;

Vinícius Almeida Teles Barreto

Dados Abertos na Administração Pública de Cidades Inteligentes Promovendo Transparência aos Cidadãos; 2019; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Coorientador: Michel dos Santos Soares;

THAUANE MOURA GARCIA

Smart E-Ping: Framework de Interoperabilidade da Arquitetura E-Ping com a Plataforma Fiware para o Uso em Cidades Inteligentes; 2019; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe; Coorientador: Michel dos Santos Soares;

FLAYGNER MATOS REBOUÇAS

PREOrg: Um Guia para Elicitação de Requisitos Orientado ao Desempenho Organizacional; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Marianne Batista Diniz da Silva

Boas Práticas para Suportar as Dimensões de Governança Ágil de Ti na Administração Pública Federal; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Michel dos Santos Soares;

Luís Eduardo de Souza Santos

Um Processo para Elicitação e Documentação de Requisitos em Nível de Usuário por Meio de uma Pesquisa-Ação em uma Instituição Pública; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

JAMILLE SILVA MADUREIRA

Avaliação de Equipes de Desenvolvimento de Software por Meio de Métricas Orientadas a Objeto; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

QUELITA ARAUJO DINIZ DA SILVA RIBEIRO

Uma Técnica Baseda em SysML para Modelar a Arquitetura de Sistemas Embarcados de Tempo Real; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Michel dos Santos Soares;

Telmo Oliveira de Jesus

Uma Técnica Baseada em Eventos para Rastreabilidade entre Requisitos Modelados com SysML; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Fábio Gomes Rocha

PETIC Decision Making (PDM): Um Modelo Automatizado para Apoio à Tomada de Decisão Estratégica em TIC; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Coorientador: Michel dos Santos Soares;

Anderson Santos Barroso

Orquestração das equipes de desenvolvimento por meio do estudo da personalidade do desenvolvedor e a aplicação de métricas de softwares orientados a objeto; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Coorientador: Michel dos Santos Soares;

Fernanda Gomes Silva

Integração de Modelos de Processos de Negócio com Modelos de Requisitos de Software: Um Caso na Área de Saúde; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Jislane Silva Santos de Menezes

Processo de Avaliação de Software Aplicado à Seleção de Sistemas Gerenciadores de Conteúdo; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

Josimar de Souza Lima

Uma Arquitetura de Software para Implementação de um EHR utilizando SOA considerando a Interoperabilidade entre Sistemas Legados; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe,; Orientador: Michel dos Santos Soares;

DIEGO ALVES DA SILVA

Aplicação do Profile UML MARTE na Modelagem de Serviços de Protocolos de Comunicação de Tempo Real; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Renato Correa Juliano

Visualização de Software Baseada em uma Metáfora do Universo Utilizando o Conjunto de Métricas CK; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Coorientador: Michel dos Santos Soares;

Rodrigo Fernandes Gomes da Silva

Avaliação do Desempenho de Técnicas de Programação Orientada a Aspectos; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Marcel da Silva Melo

Transformação de Modelos SysML para UML Usando a Linguagem ATL; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Joyce Meire da Silva Franca

Avaliação de Refatoração de Software com Programação Orientada a Aspectos Usando Métricas; ; 2013; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Michel dos Santos Soares;

Kenia Santos de Oliveira

Aspectos Iniciais Modelados com uma Extensão da SysML; 2013; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Fabíola Gonçalves Coelho Ribeiro

Modelagem de Requisitos de Software de Tempo-Real usando SysML e MARTE; 2013; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Eduardo Augusto Silvestre

Modelagem de Software de Tempo Real utilizando o Profile MARTE da UML; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

William Chaves de Souza Carvalho

Análise dos efeitos do turnover na produtividade de processos de software tradicionais e híbridos; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Coorientador: Michel dos Santos Soares;

Itamar Sharon

A Framework to Choose an Appropriate Software Development Process in Large Organizations; 2009; Dissertação (Mestrado em Master of Science programme in Systems Engineering) - Delft University of Technology,; Orientador: Michel dos Santos Soares;

Fabíola Gonçalves Coelho Ribeiro

Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time and Embedded Systems; 2019; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Joyce Meire da Silva Franca

Software Architecture based on a Quality Model to Develop Service Oriented Applications; 2017; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Michel dos Santos Soares;

Fábio Gomes Rocha

2022; Universidade Federal de Sergipe,; Michel dos Santos Soares;

Hermanyo Herick Alves Souza

CityHallAlert: Um Aplicativo de Notificação de Demandas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Givaldo Marques dos Santos

Um Sistema de Apoio à Decisão para Auxiliar na Negociação de Títulos do Tesouro Direto; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Erick Matheus Santos Dantas

Reengenharia de uma Ferramenta de Conceitualização de Arquitetura de Software; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

João Manoel Santos Almeida

Algoritmo Simplex para Resolução de Problemas de Formulação Nutricional; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

PEDRO HENRIQUE LEITE OLIVEIRA

Uma Proposta de Comparação entre Java e Kotlin usando Métricas Orientadas a Objeto; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Ítalo Jorge de Carvalho Manhães

Danilo Gonçalves Alves Ramos

AutoTAM: Um Gerenciador de Análises TAM; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Alkxyly Samyr Santos

Reengenharia de Software no Desenvolvimento do Simulador de Exigência Nutricional para Suínos; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Renato Silveira Nunes Júnior

Verificações Formais com Redes de Petri Coloridas em Processos de Saúde Modelados com BPMN; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Antônio Vinícius Menezes Medeiros

Um interpretador online para a linguagem Portugol; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Plínio Eduardo Túlio Souza dos Santos

Desenvolvimento de um sistema de gerenciamento de projeto de teste (GPTS); 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Tiago Oliveira Santos

Um guia de implantação da ITIL no Tribunal de Justiça de Sergipe baseado nas melhores práticas; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Leonardo Rodrigues Souza Delfino

Estágio em Modelagem e Análise de Sistemas Web; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Michel dos Santos Soares;

Luciane de Fátima Silva

Estágio em Qualidade de Software e Testes; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Michel dos Santos Soares;

Thiago Silva Marques

Modelagem e Verificação de Sistemas Críticos usando SysML e Simulink; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade Federal de Uberlândia; Orientador: Michel dos Santos Soares;

MARIANNA TANNUS SPIRANDELLI

Evolução dos Indicadores Gerenciais; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Michel dos Santos Soares;

Diogo Simão Ferraz

Desenvolvimento de um software para controle e gestão de custos; 2004; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos; Orientador: Michel dos Santos Soares;

Elias dos Reis

Desenvolvimento de um sistema de controle de materiais; 2004; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos; Orientador: Michel dos Santos Soares;

Gilmar Geraldo Mendes

Rodrigo Fernandes dos Santos

Desenvolvimento de um Sistema de Controle Odontológico em três camadas; 2004; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos; Orientador: Michel dos Santos Soares;

Fabiana Mara Dutra

Estudo de caso de Metodologias Ágeis para desenvolvimento de sistemas; 2004; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Presidente Antônio Carlos; Orientador: Michel dos Santos Soares;

Cíntia de Souza Nascimento

Paola Vianna Fonseca

Desenvolvimento de uma ferramenta de gestão de projetos usando orientação a objetos; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Rio Verde; Orientador: Michel dos Santos Soares;

Simone Aline de Miranda

Lucélia Pires Arantes

Representação de marcações e transições de redes de Petri em lógica linear; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Rio Verde; Orientador: Michel dos Santos Soares;

Jonathan Costa Muniz

Aplicação da UML em Sistemas de Tempo Real; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Rio Verde; Orientador: Michel dos Santos Soares;

João Manoel Santos Almeida

Reengenharia Do Software ?Calculador Das Tabelas Brasileiras para Aves e Suínos? Para Plataforma Web - Módulo 3 - Exigências Nutricionais de Aves de Reposição; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe; Orientador: Michel dos Santos Soares;

Rodrigo Santana Camargo

Reengenharia do Software Calculador de Tabelas de Alimentação de Suínos; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Michel dos Santos Soares;

Danilo Gonçalves Alves Ramos

Processo de Avaliação e Aquisição de Software Aplicado a Seleção de Content Management Systems; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe; Orientador: Michel dos Santos Soares;

Alkxyly Samyr

Implementação de um Simulador de Energia para Aves e Suínos; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Rodrigo Santana Camargo

Desenvolvimento de Módulo de Exigências Nutricionais de Galinhas Poedeiras; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Michel dos Santos Soares;

Alkxyly Samyr Santos

Desenvolvimento de Módulo de Exigências Nutricionais de Frangos de Corte; ; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Michel dos Santos Soares;

Rodrigo Santana Camargo

Software Cálculo de Ração de Suínos; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Michel dos Santos Soares;

Caio Augusto Rodrigues dos Santos

Extração de Métricas em Software Orientado a Objetos e Aspectos; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Michel dos Santos Soares;

DANIEL SOUZA CIOQUETA

Técnicas de Análise e Documenttação de Requisitos do Usuário; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Michel dos Santos Soares;

Flávio Siqueira Prado

Transformação de metamodelos XML; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Michel dos Santos Soares;

Produções bibliográficas

SOUZA, L. S. ; ROCHA, F. G. ; SOARES, M. S. . A Review on Software/Systems Architecture Description for Autonomous Systems. Recent Advances in Computer Science and Communications , v. 3, p. 1-9, 2023.
ROCHA, FÁBIO GOMES ; MISRA, SANJAY ; Soares, Michel S. . Guidelines for Future Agile Methodologies and Architecture Reconciliation for Software-Intensive Systems. ELECTRONICS , v. 12, p. 1582, 2023.
Michel S. Soares ; SANTANA, A. M. ; DORIA, T. S. ; SANTOS, R. L. . Avaliação do Sistema de Gestão das Ativividades-meio da Universidade Federal de Sergipe Utilizando o Modelo de Aceitação de Tecnologia. CONCILIUM (BRASIL) , v. 22, p. 1-11, 2022.
FRANÇA, JOYCE M. S. ; DA COSTA JUNIOR, ADEMIR ALMEIDA ; Soares, Michel S. . Architecture-Driven Development of an Electronic Health Record Considering the SOAQM Quality Model. SN Computer Science , v. 1, p. 140-161, 2020.
SANTOS, L. E. S. ; Soares, M. S. . Uma Pesquisa-Ação no Contexto de Processos de Engenharia de Requisitos em uma Instituição Pública Brasileira. iSys - Revista Brasileira de Sistemas de Informação , v. 13, p. 60-109, 2020.
BRANT-RIBEIRO, TAFFAREL ; ARAÚJO, RAFAEL D. ; MENDONÇA, IGOR E. ; Soares, Michel S. ; CATTELAN, RENAN G. . Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets. Software & Systems Modeling , v. 18, p. 721-737, 2019.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; SOARES, M. S. . Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML. AT-Automatisierungstechnik , v. 67, p. 490-501, 2019.
STEINMETZ, CHARLES ; RETTBERG, ACHIM ; RIBEIRO, FABÍOLA GONÇALVES C. ; SCHROEDER, GREYCE ; Soares, Michel S. ; PEREIRA, CARLOS E. . Using Ontology and Standard Middleware for integrating IoT based in the Industry 4.0 This work was conducted during a scholarship supported by the International Cooperation Program PROBRAL CAPES/DAAD at the University of Muenster. Financed by CAPES Brazilian Federal Agency for Support and Evaluation of Graduate Education within the Ministry of Education of Brazil.. IFAC-PAPERSONLINE , v. 51, p. 169-174, 2018.
RIBEIRO, FABÍOLA GONÇALVES C. ; PEREIRA, CARLOS E. ; RETTBERG, ACHIM ; Soares, Michel S. . Model-based requirements specification of real-time systems with UML, SysML and MARTE. Software & Systems Modeling , v. 17, p. 343-361, 2018.
JESUS, T. O. ; SOARES, M. S. . A Multi-Criteria Analysis of Techniques and Tools for Tracing Software Requirements. IEEE Latin America Transactions , v. 15, p. 922-927, 2017.
Soares, Michel S. ; M. S. FRANÇA, JOYCE . Characterization of the Application of Service-Oriented Design Principles in Practice: A Systematic Literature Review. Journal of Software , v. 11, p. 403-417, 2016.
SILVA, F. G. ; SOARES, M. S. . Modelagem de Processos de Negócios usando BPMN para Desenvolvimento de um Prontuário Eletrônico de Pacientes. Journal of Health Informatics , v. 8, p. 178-183, 2016.
BARROSO, A. S. ; MADUREIRA, J. S. ; MELO, F. S. ; SOUZA, T. D. S. ; NASCIMENTO, R. P. C. ; SOARES, M. S. . Evaluation of the Influence of Human Personality in the Development of Software: An Experience Report. Anuari de Psicologia , v. 17, p. 69-84, 2016.
RIBEIRO, FABÍOLA GONÇALVES C. ; RETTBERG, ACHIM ; PEREIRA, CARLOS E. ; Soares, Michel S. . An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems. IFAC-PapersOnLine , v. 49, p. 42-47, 2016.
SOARES, M. S. ; Vrancken, J. . A modular Petri net to modeling and scenario analysis of a network of road traffic signals. Control Engineering Practice , v. 20, p. 1183-1194, 2012.
SOARES, M. S. ; Vrancken, J. ; Verbraeck, Alexander . User requirements modeling and analysis of software-intensive systems. The Journal of Systems and Software , v. 84, p. 328-339, 2011.
Vrancken, J. ; SOARES, M. S. . A real-life test bed for multi-agent monitoring of road network performance. International Journal of Critical Infrastructures , v. 5, p. 357-367, 2009.
SOARES, M. S. . Real-time scheduling of batch systems using Petri nets and linear logic. Journal of Systems and Software , v. 81, p. 1983-1996, 2008.
SOARES, M. S. ; Vrancken, J. . Model-Driven User Requirements Specification using SysML. Journal of Software , v. 3, p. 57-68, 2008.
Vrancken, J. ; Berg, Jan Van den ; SOARES, M. S. . Human factors in system reliability: lessons learnt from the Maeslant storm surge barrier in The Netherlands. International Journal of Critical Infrastructures , v. 4, p. 418-429, 2008.
SOARES, M. S. . Metodologias Ágeis para Desenvolvimento de Software. Engenharia de Software Magazine , v. 7, p. 14-19, 2008.
Soares, M. S. . Comparação entre Metodologias Ágeis e Tradicionais para o Desenvolvimento de Software. INFOCOMP (UFLA. Impresso) , v. 3, p. 8-13, 2004.
Soares, M. S. . Metodologias Ágeis Extreme Programming e Scrum para o Desenvolvimento de Software. RESI. Revista Eletrônica de Sistemas de Informação , v. 3, p. 1-8, 2004.
SOARES, M. S. . Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems. 1. ed. Delft: Next Generation Infrastructures Foundation, 2010. v. 1. 217p .
Koscianski, A. ; SOARES, M. S. . Qualidade de Software. 2. ed. São Paulo: Novatec, 2007. v. 1. 395p .
Koscianski, A. ; SOARES, M. S. . Qualidade de Software. 1. ed. São Paulo: Novatec, 2006. v. 1. 395p .
SOARES, M. S. ; S. S. DE MENEZES, JISLANE ; RAMOS, D. G. A. . Processo de Avaliação e Aquisição de Software Aplicado à Seleção de Content Management Systems. In: FAPITEC. (Org.). Pesquisa em Políticas Públicas no Estado de Sergipe. 1ed.São Cristóvão: Editora UFS, 2021, v. 3, p. 215-224.
Soares, Michel S. ; Maia, Marcelo A. ; Silva, Rodrigo F. G. . Performance Evaluation of Aspect-Oriented Programming Weavers. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2015, v. , p. 187-203.
Silvestre, Eduardo Augusto ; Soares, Michel dos Santos . Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE. Information Systems Development. 1ed.: Springer New York, 2013, v. , p. 195-203.
Vrancken, J. ; SOARES, M. S. . Intelligent Road Network Control. In: R.R. Negenborn; Z. Lukszo; J. Hellendoorn. (Org.). Intelligent Infrastructures. : Springer Netherlands, 2010, v. 42, p. 311-325.
Vrancken, J. ; Kaart, M. ; Soares, M. . Internet Addressing Standards: A Case Study in Dynamics Driven by Bottom-up Adoption. In: Tineke M. Egyedi; Knut Blind. (Org.). The Dynamics of Standards. 1ed.Northamptom: Edward Elgar Publishing Ltd, 2008, v. 1, p. 68-81.
SOARES, M. S. ; Vrancken, J. . Scenario analysis of a network of traffic signals designed with Petri nets. In: C A Brebbia. (Org.). Urban Transport XIII: Urban Transport and the Environment in the 21st Century. 1ed.Southampton: WIT Press, 2007, v. 1, p. 289-297.
Vrancken, J. ; Ottenhof, F. ; SOARES, M. S. . Regional road traffic management in The Netherlands. In: C A Brebbia. (Org.). Urban Transport XIII: Urban Transport and the Environment in the 21st Century. 1ed.Southampton: WIT Press, 2007, v. 96, p. 275-282.
RAMOS, DANILLO SIQUEIRA ; ROCHA, FÁBIO ; Soares, Michel dos Santos . A Bottom Up Approach for Modeling Business Process using Time Petri Nets. In: SBSI: XVIII Brazilian Symposium on Information Systems, 2022, Curitiba Brazil. XVIII Brazilian Symposium on Information Systems. New York: ACM, 2022. p. 1-9.
MOURA, A. S. ; LIMA, M. A. O. ; ROCHA, F. G. ; SOARES, M. S. . Recommendation of Microservices Patterns Through Automatic Information Retrieval Using Problems Specified in Natural Language. In: 22nd International Conference Computational on Science and Its Applications, 2022, Malaga. Computational Science and Its Applications, 2022. v. 13381. p. 489-501.
MACIEL, ROBERTO ; SOARES, MICHEL ; DANTAS, DANIEL . A System Architecture in Multiple Views for an Image Processing Graphical User Interface. In: 23rd International Conference on Enterprise Information Systems, 2021, Online Streaming. Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021. p. 213-223.
SOUZA, L. S. ; SOARES, M. S. . Design of Smart Cities Dimensions Using the SmartCitySysML Profile. In: 21st International Conference Computational on Science and Its Applications, 2021, Cagliari. Proceedings of the 21st International Conference Computational on Science and Its Applications, 2021. v. 12957. p. 69-83.
SOUZA, L. S. ; SOARES, M. S. . Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control. In: 21st International Conference Computational on Science and Its Applications, 2021, Cagliari. Proceedings of the 21st International Conference Computational on Science and Its Applications, 2021. v. 12957. p. 115-126.
SANTOS, T. L. S. ; SOARES, M. S. . A Qualitative Study on SysML Based on Perceived Views from Industry Professionals. In: 21st International Conference Computational on Science and Its Applications, 2021, Cagliari. Proceedings of the 21st International Conference Computational on Science and Its Applications, 2021. v. 12957. p. 299-310.
SANTOS, V. M. ; MISRA, S. ; SOARES, M. S. . Architecture Conceptualization for Health Information Systems Using ISO/IEC/IEEE 42020. In: Computational Science and Its Applications, 2020, Cagliari. Lecture Notes in Computer Science, 2020. v. 12254. p. 398-411.
SOUZA, L. S. ; MISRA, S. ; SOARES, M. S. . SmartCitySysML: A SysML Profile for Smart Cities Applications. In: The 20th International Conference on Computational Science and its Applications, 2020, Cagliari. Lecture Notes in Computer Science, 2020. v. 12254. p. 383-397.
SOUZA, LAYSE SANTOS ; DE ALMEIDA NETO, JOÃO RIBEIRO ; MELO, THIAGO JOSÉ SANDES ; Soares, Michel dos Santos ; ROCHA, FABIO GOMES ; NASCIMENTO, ROGÉRIO PATRÍCIO CHAGAS DO . An investigation into technology solutions for urban public monitoring through ubiquitous devices in the context of smart cities. In: EATIS 2020: 10th Euro American Conference on Telematics and Information Systems, 2020, Aveiro Portugal. Proceedings of the 10th Euro-American Conference on Telematics and Information Systems, 2020. p. 1-5.
VIEIRA, F. J. R. ; OLIVEIRA, M. R. ; NASCIMENTO, R. P. C. ; SOARES, M. S. . Technical and Managerial Difficulties in Postmortem Analysis in Software Projects.. In: Computational Science and Its Applications ? ICCSA 2019, 2019, Saint Petersburg. Lecture Notes in Computer Science, 2019. v. 11623. p. 59-69.
COSTA JUNIOR, A. A. ; MISRA, S. ; SOARES, M. S. . A Systematic Mapping Study on Software Architectures Description Based on ISO/IEC/IEEE 42010:2011.. In: Computational Science and Its Applications ? ICCSA 2019, 2019, Saint Petersburg. Lecture Notes in Computer Science, 2019. v. 11623. p. 17-30.
COSTA JUNIOR, A. A. ; MISRA, S. ; SOARES, M. S. . ArchCaMO - A Maturity Model for Software Architecture Description Based on ISO/IEC/IEEE 42010:2011. In: Computational Science and Its Applications ? ICCSA 2019, 2019, Saint Petersburg. Lecture Notes in Computer Science, 2019. v. 11623. p. 31-44.
OLIVEIRA, M. R. ; VIEIRA, F. J. R. ; MISRA, S. ; SOARES, M. S. . A Survey on the Skills, Activities and Role of the Software Architect in Brazil. In: Computational Science and Its Applications ? ICCSA 2019, 2019, Saint Petersburg. Lecture Notes in Computer Science, 2019. v. 11623. p. 43-58.
BARROSO, ANDERSON S. ; DE J. PRADO, KLEBER H. ; Soares, Michel S. ; DO NASCIMENTO, ROGERIO P. C. . How personality traits influences quality of software developed by students. In: the XV Brazilian Symposium, 2019, Aracaju. Proceedings of the XV Brazilian Symposium on Information Systems - SBSI'19, 2019. p. 1-8.
SILVA, C. J. N. ; RIBEIRO, Q. A. D. S. ; SOARES, M. S. ; NASCIMENTO, R. P. C. . ICT Governance: A View of Adoption of Best Practices in Enterprises of Sergipe State. In: XV Brazilian Symposium on Information Systems, 2019, Aracaju. Proceedings of the XV Brazilian Symposium on Information Systems, 2019. v. 1. p. 1-8.
SILVA, M. B. D. ; SANTOS, A. M. ; NUNES, I. D. ; SOARES, M. S. ; NASCIMENTO, R. P. C. . A Survey on Adoption Good Practices for ICT Governance at Enhanced Organizations. In: Information Technology - New Generations., 2018, Las Vegas. Advances in Intelligent Systems and Computing, 2018. v. 738. p. 483-490.
Ribeiro, F.G.C. ; STEINMETZ, C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; Soares, M. S. . SPES Methodology and MARTE Constraints in Architectural Design. In: IEEE Symposium on Computers and Communications, 2018, Natal. Proceedings of the IEEE Symposium on Computers and Communications, 2018. v. 1. p. 1-6.
Ribeiro, F.G.C. ; STEINMETZ, C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; Soares, M. S. . An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain. In: 20th IEEE International Symposium on Real-Time Distributed Computing, 2018, Cingapura. Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2018. v. 1. p. 1-6.
Ribeiro, F.G.C. ; STEINMETZ, C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; Soares, M. S. . Model-Based Design Methodology for Early Evaluation of Real-time and Embedded Constraints. In: 16th International Conference on Industrial Informatics (INDIN`2018), 2018, Porto. Proceedings of the 16th International Conference on Industrial Informatics (INDIN`2018), 2018. v. 1. p. 1-6.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; Soares, M. S. . An Approach for Architectural Design of Automotive Systems using MARTE and SysML. In: 14th IEEE International Conference on Automation Science and Engineering (CASE), 2018, Munique. Proceedings of the 14th IEEE International Conference on Automation Science and Engineering (CASE), 2018. v. 1. p. 1-6.
SILVA, M. B. D. ; RAMOS, D. S. ; SANTOS, A. M. ; SANTOS, D. X. ; SOARES, M. S. ; NUNES, I. D. ; NASCIMENTO, R. P. C. . PeticGov: An Auditing and Direction Framework for Federal Public Organizations. In: 9th Euro American Conference on Telematics and Information Systems (EATIS 2018), 2018, Fortaleza. Proceedings of the 9th Euro American Conference on Telematics and Information Systems (EATIS 2018), 2018. v. 1. p. 1-7.
SILVA, M. B. D. ; RAMOS, D. S. ; SANTOS, D. X. ; SOARES, M. S. ; NUNES, I. D. ; NASCIMENTO, R. P. C. . A Practical Approach to Teaching-Learning for Undergraduate Students: Governance of ICT Directed to the Federal Public Administration (FPA). In: 9th Euro American Conference on Telematics and Information Systems (EATIS 2018), 2018, Fortaleza. Proceedings of the 9th Euro American Conference on Telematics and Information Systems (EATIS 2018), 2018. v. 1. p. 1-8.
RIBEIRO, FABIOLA ; RETTBERG, ACHIM ; E. PEREIRA, CARLOS ; STEINMETZ, CHARLES ; S. SOARES, MICHEL . Non-functional Constraints Annotation to Real-Time Embedded System Design. In: 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018, Salvador. 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018. p. 219.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; SOARES, M. S. . A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems. In: Hawaii International Conference on System Sciences (HICSS), 2017, Hawaii. Proceedings of the 50th Hawaii International Conference on System Sciences, 2017. p. 6131-6140.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; SOARES, M. S. . Applying MARTE Profile for Optimal Automotive System Specifications and Design. In: 50th Hawaii International Conference on System Sciences, 2017, Hawaii. Proceedings of the 50th Hawaii International Conference on System Sciences | 2017, 2017. p. 6141-6150.
BARROSO, A. S. ; MADUREIRA, J. S. ; SOUZA, T. D. S. ; CEZARIO, B. S. A. ; SOARES, M. S. ; NASCIMENTO, R. P. C. . Relationship between Personality Traits and Software Quality Big Five Model vs. Object-oriented Software Metrics. In: International Conference on Enterprise Information Systems (ICEIS 2017), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems. Porto: SCITEPRESS, 2017. v. 3. p. 63-74.
BARROSO, ANDERSON S. ; MADUREIRA, JAMILLE S. ; SOARES, M. S. ; NASCIMENTO, R. P. C. . Influence of Human Personality in Software Engineering A Systematic Literature Review. In: 19th International Conference on Enterprise Information Systems (ICEIS 2017), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems, 2017. v. 3. p. 53-62.
RIBEIRO, Q. A. D. S. ; RIBEIRO, FABÍOLA GONÇALVES C. ; SOARES, M. S. . A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views. In: 19th International Conference on Enterprise Information Systems (ICEIS 2017), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems, 2017. v. 2. p. 287-294.
M. S. FRANÇA, JOYCE ; LIMA, J. S. ; SOARES, M. S. . Development of an Electronic Health Record Application using a Multiple View Service Oriented Architecture. In: 19th International Conference on Enterprise Information Systems (ICEIS 2017), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS 2017), 2017. v. 2. p. 308-315.
FONTES, A. M. ; SANTOS, D. S. ; GARCIA, T. M. ; SOARES, M. S. ; NASCIMENTO, R. P. C. . TAXOPETIC Process Design A Taxonomy to Support the PETIC Methodology (Strategic Planning of ICT). In: International Conference on Enterprise Information Systems (ICEIS 2017), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems (ICEIS 2017), 2017. v. 2. p. 387-394.
JESUS, T. O. ; SOARES, M. S. . An Event-Based Technique to Trace Requirements Modeled with SysML. In: Computational Science and Its Applications ? ICCSA 2017, 2017, Trieste. Lecture Notes in Computer Science, 2017. v. 10409. p. 145-159.
MADUREIRA, J. S. ; BARROSO, A. S. ; NASCIMENTO, R. P. C. ; SOARES, M. S. . An Experiment to Evaluate Software Development Teams by Using Object-Oriented Metrics. In: Computational Science and Its Applications ? ICCSA 2017, 2017, Trieste. lLecture Notes in Computer Science, 2017. v. 10409. p. 128-144.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; BOTELHO, S. S. C. ; SOARES, M. S. . Guidelines for using MARTE profile packages considering concerns of real-time embedded systems. In: 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), 2017, Emden. Proc. of the 15th IEEE International Conference on Industrial Informatics, 2017. v. 1. p. 917-922.
BARROSO, ANDERSON S. ; MADUREIRA, JAMILLE S. ; MELO, FABRICIO S. ; SOUZA, THIAGO D. S. ; Soares, Michel S. ; DO NASCIMENTO, ROGERIO P. C. . An evaluation of influence of human personality in software development: An experience report. In: 2016 8th Euro American Conference on Telematics and Information Systems (EATIS), 2016, Cartagena. 2016 8th Euro American Conference on Telematics and Information Systems (EATIS). v. 1. p. 1-6.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; SOARES, M. S. . Annotating SysML Models with MARTE Time Stereotypes for Requirements Specification and Design of Real-Time Systems.. In: 7th IEEE Workshop on Self-Organizing Real-Time Systems, 2016, York. Proceedings of the 7th IEEE Workshop on Self-Organizing Real-Time Systems, 2016. v. 1. p. 1-8.
França, J.M.S. ; LIMA, J. S. ; SOARES, M. S. . A Case Study on SoaML to Design an Electronic Health Record Application Considering Integration of Legacy Systems. In: IEEE 40th Annual Computer Software and Applications Conference, 2016, Atlanta. Proceedings of the 2016 IEEE 40th Annual Computer Software and Applications Conference, 2016. v. 1. p. 353-358.
LIMA, J. S. ; França, J.M.S. ; MENEZES, J. S. S. ; OLIVEIRA, A. A. ; SOARES, M. S. . Layered Implementation View of a SOA Based Electronic Health Record. In: The 28th International Conference on Software Engineering & Knowledge Engineering, 2016, São Francisco. Proceedings of the 28th International Conference on Software Engineering & Knowledge Engineering, 2016. v. 1. p. 323-328.
MENEZES, J. S. S. ; RAMOS, D. G. A. ; SOARES, M. S. . On Criteria to Choose a Content Management System: A Technology Acceptance Model Approach. In: The 28th International Conference on Software Engineering & Knowledge Engineering, 2016, São Francisco. Proceedings of the 28th International Conference on Software Engineering & Knowledge Engineering, 2016. v. 1. p. 559-564.
ROCHA, FÃBIO GOMES ; SANTOS, ANTONIO FERNANDO CRUZ DOS ; SANTA ROSA, DANIEL DIAS ; NASCIMENTO, ROGÃRIO PATRÃCIO CHAGAS DO ; JÃNIOR, ALFRAN PEREIRA ; Soares, Michel dos Santos . Game theory-based model for investment decision in Strategic Planning ICT. In: 13th CONTECSI International Conference on Information Systems and Technology Management, 2016. p. 744-759.
MELO, M. S. ; M. S. FRANÇA, JOYCE ; OLIVEIRA JUNIOR, E. A. ; SOARES, M. S. . A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems, 2015. v. 2. p. 92-101.
M. S. FRANÇA, JOYCE ; S. SOARES, MICHEL . SOAQM: Quality Model for SOA Applications based on ISO 25010. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems, 2015. v. 2. p. 60.
BRANT-RIBEIRO, TAFFAREL ; ARAÚJO, RAFAEL ; MENDONÇA, IGOR ; S. SOARES, MICHEL ; CATTELAN, RENAN . A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems, 2015. v. 2. p. 37.
SILVA, F. G. ; MENEZES, J. S. S. ; LIMA, J. S. ; M. S. FRANÇA, JOYCE ; NASCIMENTO, R. P. C. ; SOARES, M. S. . An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems, 2015. v. 3. p. 322-327.
SOARES, M. S. ; NASCIMENTO, R. P. C. . Evaluation of SysML Diagrams to Document Requirements using TAM. In: 7th Euro American Association on Telematics and Information Systems, 2014, Valparaíso. Proc. of the 7th Euro American Association on Telematics and Information Systems, 2014. v. 1. p. 1-8.
BARRETO, F. M. ; FREITAS, J. C. J. ; SOARES, M. S. ; Julia, S. . A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. In: 16th International Conference on Enterprise Information Systems, 2014, Lisbon. Proceedings of the 16th International Conference on Enterprise Information Systems. v. 2. p. 145-152.
MELO, M. S. ; SOARES, M. S. . Model-Driven Structural Design of Software-Intensive Systems using SysML Blocks and UML Classes. In: 16th International Conference on Enterprise Information Systems, 2014, Lisboa. Proc. of the 16th International Conference on Enterprise Information Systems, 2014. v. 2. p. 193-200.
JULIANO, R. C. ; TRAVENCOLO, B. A. N. ; SOARES, M. S. . Detection of Software Anomalies using Object-Oriented Metrics. In: 16th International Conference on Enterprise Information Systems, 2014, Lisboa. Proc. of the 16th International Conference on Enterprise Information Systems, 2014. v. 2. p. 241-248.
SILVA, R. F. G. ; MAIA, M. A. ; SOARES, M. S. . A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns. In: 16th International Conference on Enterprise Information Systems, 2014, Lisboa. Proc. of the 16th International Conference on Enterprise Information Systems, 2014. v. 2. p. 5-13.
França, J.M.S. ; SOARES, M. S. . Principles and Metrics to Improve Quality in SOA Applications. In: Doctoral Comsortium do 16th International Conference on Enterprise Information Systems, 2014, Lisboa. Doctoral Comsortium, 2014. v. 1. p. 16-25.
Silva, D.A ; SOUZA NETO, N. V. ; Silva, Flávio de Oliveira ; Rosa, P.F. ; SOARES, M. S. . UML based Modeling Entity Title Architecture (ETArch) Protocols. In: The Tenth Advanced International Conference on Telecommunications, 2014, Paris. Proc. of The Tenth Advanced International Conference on Telecommunications, 2014. v. 1. p. 168-174.
França, J.M.S. ; Santos, C.A.R. ; OLIVEIRA, K. S. ; SOARES, M. S. . An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects using Software Metrics. In: 10th International Conference on Information Technology: New Generations, 2013, Las Vegas. Proc. of the 10th International Conference on Information Technology: New Generations, 2013. p. 674-679.
OLIVEIRA, K. S. ; França, J.M.S. ; SOARES, M. S. . Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views. In: 10th International Conference on Information Technology: New Generations, 2013, Las Vegas. Proc. of the 10th International Conference on Information Technology: New Generations, 2013. p. 680-685.
JULIANO, R. C. ; TRAVENCOLO, B. A. N. ; SOARES, M. S. ; MAIA, M. A. . Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes. In: The 25th International Conference on Software Engineering and Knowledge Engineering, 2013, Boston. Proc. of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013. p. 1-1.
Ribeiro, F.G.C. ; SOARES, M. S. . An Approach for Modeling Real-Time Requirements with SysML and MARTE Stereotypes. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, Angers. Proc. of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. v. 2. p. 70-81.
OLIVEIRA, K. S. ; SOARES, M. S. . Modeling Aspects in Requirements using SysML Extensions. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, Angers. Proc. of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. v. 2. p. 109-116.
SOARES, M. S. ; BARJIS, J. . Projects Characteristics Determining Suitability of Software Development Process. In: 15th International Conference on Enterprise Information Systems (ICEIS), 2013, Angers. Proc. of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. v. 2. p. 101-108.
Ribeiro, F.G.C. ; SOARES, M. S. . A Metamodel for Tracing Requirements of Real-Time Systems. In: The 16th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing (ISORC), 2013, Paderborn. Proc. of the 16th IEEE Computer Society symposium on object/component/service-oriented realtime distributed computing (ISORC), 2013. v. 1. p. 1-10.
Ribeiro, F.G.C. ; MISRA, S. ; SOARES, M. S. . Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems. In: The 13th International Conference on Computational Science and Its Applications (ICCSA 2013), 2013, Ho Chi Minh. Proc. of the 13th International Conference on Computational Science and Its Applications (ICCSA 2013), 2013. v. 3. p. 70-81.
SILVA, L. F. ; PASSOS, L. M. S. ; SOARES, M. S. ; Julia, S. . Siphon-Based Deadlock Prevention Policy for Interorganizational WorkFlow net Design. In: International Conference on Information Reuse and Integration, 2013, San Francisco. Proceedings of the 14th International Conference on Information Reuse and Integration, 2013. p. 293-300.
SOARES, M. S. ; CIOQUETA, D. S. . Analysis of Techniques for Documenting User Requirements. In: 12th International Conference on Computational Science and Its Applications - ICCSA 2012, 2012, Salvador. Proc. of the 12th International Conference on Computational Science and Its Applications, 2012. v. 4. p. 16-28.
Silvestre, E.A. ; SOARES, M. S. . Modeling Road Traffic Signals Control Using UML and the MARTE Profile. In: 12th International Conference on Computational Science and Applications, 2012, Salvador. Proc. of the 12th International Conference on Computational Science and Its Applications, 2012. v. 4. p. 1-15.
França, J.M.S. ; SOARES, M. S. . A Systematic Review on Evaluation of Aspect Oriented Programming using Software Metrics. In: 14th International Conference on Enterprise Information Systems, 2012, Wroclaw. Proc. of the 14th International Conference on Enterprise Information Systems, 2012. v. 2. p. 77-83.
OLIVEIRA, K. S. ; SOARES, M. S. . A Systematic Review on Aspects in Software Architecture Design. In: International Conference of the Chilean Computer Science Society, 2012, Valparaíso. Proceedings of the International Conference of the Chilean Computer Science Society, 2012. p. 1-9.
SOARES, M. S. ; Vrancken, J. . A Framework for Multi-Layered Requirements Documentation and Analysis. In: 35th IEEE Annual Computer Software and Applications Conference, 2011, Munique. Proceedings of the 35th IEEE Annual Computer Software and Applications Conference, 2011. p. 308-313.
SOARES, M. S. . Modeling and Analysis of Discrete Event Systems Using a Petri Net Component. In: 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2011. p. 814-819.
Silvestre, E.A. ; SOARES, M. S. . Multiple View Architecture Model for Distributed Real-Time Systems Using MARTE. In: 20th International Conference on Information Systems Development (ISD2011), 2011, Edinburgo. Proceedings of the 20th International Conference on Information Systems Development (ISD2011), 2011. p. 1-9.
William Chaves de Souza Carvalho ; Rosa, P.F. ; SOARES, M. S. ; CUNHA JUNIOR, M. A. T. ; BUIATTE, L. C. . A Comparative Analysis of the Agile and Traditional Software Development Processes Productivity. In: 30th International Conference of the Chilean Computer Science Society (SCCC), 2011, Curico. Proceedings of the 30th International Conference of the Chilean Computer Science Society (SCCC), 2011. p. 74-82.
SOARES, M. S. ; Vrancken, J. ; Wang, Y. . Architecture-Based Development of Road Traffic Management Systems. In: International Conference on Networking, Sensing and Control (ICNSC), 2010, 2010, Chicago. Proceedings of the International Conference on Networking, Sensing and Control (ICNSC), 2010, 2010.
Wang, Y. ; Vrancken, J. ; SOARES, M. S. . A Distributed Simulator for Road Network Control. In: International Conference on Networking, Sensing and Control (ICNSC), 2010, 2010, Chicago. Proceedings of the International Conference on Networking, Sensing and Control (ICNSC), 2010, 2010.
Sharon, I ; SOARES, M. S. ; BARJIS, J. ; van den Berg, Jan ; Vrancken, J. . A Decision Framework for Selecting a Suitable Software Development Process. In: 12th International Conference on Enterprise Information Systems, 2010, Funchal. Proceedings of the 12th International Conference on Enterprise Information Systems, 2010.
Vrancken, J. ; SOARES, M. S. . A Hierarchical Network Model for Road Traffic Control. In: IEEE International Conference on Networking, Sensing and Control, 2009, Okayama. Proceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, 2009. p. 340-344.
SOARES, M. S. ; Vrancken, J. ; Wang, Y. . Application of Publish-subscribe Middleware for Road Traffic Measures Visualization. In: IEEE International Conference on Networking, Sensing and Control, 2009, Okayama. Proceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, 2009. p. 329-333.
SOARES, M. S. ; Wang, Y. . Evaluation of UML in Practice ? Experiences in a Traffic Management Systems Company. In: International Conference on Enterprise Information Systems (ICEIS), 2009, Milan. Proceedings of the 11th International Conference on Enterprise Information Systems (ICEIS), 2009. p. 313-319.
SOARES, M. S. ; Vrancken, J. . Including SysML in the 4+1 View Model of Architecture for Software-Intensive Systems. In: 7th Annual Conference on Systems Engineering Research 2009 (CSER 2009), 2009, Loughborough. Proceedings of the 7th Annual Conference on Systems Engineering Research 2009 (CSER 2009), 2009. p. 1-9.
Wang, Y. ; Vrancken, J. ; SOARES, M. S. . Road network representation using Dijkstra?s shortest path algorithm. In: 16th ITS World Congress and Exhibition on Intelligent Transport Systems and Services, 2009, Stockholm. Proceedings of the 16th ITS World Congress and Exhibition on Intelligent Transport Systems and Services, 2009. p. 1-6.
SOARES, M. S. ; Wang, Y. ; Vrancken, J. . A Common Architecture to Develop Road Traffic Management Systems. In: 16th ITS World Congress and Exhibition on Intelligent Transport Systems and Services, 2009, Stockholm. Proceedings of the 16th ITS World Congress and Exhibition on Intelligent Transport Systems and Services, 2009. p. 1-6.
Vrancken, J. ; van Schuppen, Jan H. ; SOARES, M. S. ; Ottenhof, F. . A Hierarchical Model and Implementation Architecture for Road Traffic Control. In: IEEE International Conference on Networking, Sensing and Control 2009, 2009, Okayama. Proceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, 2009.
Wang, Y. ; Vrancken, J. ; SOARES, M. S. . Road Network Representation Software Generator. In: IFAC Control in Transportation Systems, 2009, Redondo Beach. Proceedings of the IFAC Control in Transportation Systems, 2009.
Wang, Y. ; Vrancken, J. ; SOARES, M. S. . Intelligent Network Traffic Control by Integrating Top-down and Bottom-up Control. In: Chinese Control and Decision Conference, 2009, Guilin. Proceedings of the Chinese Control and Decision Conference, 2009. p. 1568-1573.
SOARES, M. S. ; Vrancken, J. ; Wang, Y. . Software Product Line Architecture for Distributed Real-Time Systems. In: International Conference on Software Engineering Theory and Practice, 2009, Orlando. Proceedings of the 2009 International Conference on Software Engineering Theory and Practice, 2009. p. 8-15.
SOARES, M. S. ; Vrancken, J. . A Proposed Extension to the SysML Requirements diagram. In: IASTED International Conference on Software Engineering 2008, 2008, Innsbruck. Proceedings of the IASTED International Conference on Software Engineering 2008, 2008. p. 220-225.
SOARES, M. S. ; Vrancken, J. . A Metamodeling Approach to Transform UML 2.0 Sequence Diagrams to Time Petri nets. In: IASTED International Conference on Software Engineering 2008, 2008, Innsbruck. Proceedings of the IASTED International Conference on Software Engineering 2008, 2008. p. 159-164.
SOARES, M. S. ; Vrancken, J. . Responsive Traffic Signals Designed with Time Petri nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2008, Cingapura. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2008. p. 1942-1947.
Vrancken, J. ; SOARES, M. S. ; Ottenhof, F. . A real-life and test bed for multi-agent monitoring of road network performance. In: International Conference on Infrastructures Systems, 2008, Rotterdam. Proceedings of the International Conference on Infrastructures Systems, 2008. p. 1-4.
SOARES, M. S. ; Vrancken, J. . A Multi-Agent Distributed Architecture for Road Traffic Control. In: 6th European Congress and Exhibition on Intelligent Transport Systems and Services, 2007, Aalborg. Proccedings of the 6th European Congress and Exhibition on Intelligent Transport Systems and Services, 2007. p. 1-8.
SOARES, M. S. ; Vrancken, J. . Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic. In: IEEE International Conference on Networking, Sensing and Control (ICNSC 2007), 2007, London. Proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC 2007), 2007. p. 169-174.
SOARES, M. S. ; Vrancken, J. . A Method based on Multi-models and Levels of Modeling for Design and Analysis of Complex Systems: Application to Road Traffic Management Systems. In: SIKS Doctoral Consortium, 2007, Groningen. Proceedings of the SIKS Doctoral Consortium, 2007. p. 1-6.
SOARES, M. S. ; Vrancken, J. . An Integrated Method based on Multi-Models and Levels of Modeling for Design and Analysis of Complex Engineering Systems. In: 17th ECOOP Doctoral Symposium and PhD Workshop,, 2007, Berlin. Proceedings of the 17th ECOOP Doctoral Symposium and PhD Workshop,, 2007. p. 39-44.
Vrancken, J. ; SOARES, M. S. . Multi-level Control of Networks: the Case of Road Traffic Control. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007. p. 1741-1745.
SOARES, M. S. ; Vrancken, J. . Requirements Specification and Modeling Through SysML. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007, Montreal. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2007), 2007. p. 1735-1740.
Kruse, O. ; Vrancken, J. ; SOARES, M. S. . Architecture for Distributed Traffic Control. In: ITS World Congress, 2006, London. Proceedings of the ITS World Congress, 2006. p. 1-8.
SOARES, M. S. . Relacionamento de Diagrams UML para Melhorar a Qualidade dos Requisitos de Software.. In: XV Seminário Regional de Informática, 2005, Santo Angelo. XV Seminário Regional de Informática, 2005. p. 1-6.
Soares, M. S. ; Julia, S. . Centralized architecture for real time scheduling of batch systems. In: 11th IFAC Symposium on Information Control Problems in Manufacturing - INCOM'2004, 2004, Salvador. Proceedings of the 11th IFAC Symposium on Information Control Problems (INCOM'2004). Salvador, 2004. v. 1. p. 485-491.
Soares, M. S. . Uma experiência de ensino de Engenharia de Software orientada a trabalhos práticos. In: I Workshop de Educação em Informática, 2004, Vitória. I Workshop de Educação em Computação, 2004. v. 1. p. 1-10.
Julia, S. ; Soares, M. S. . Verification of real time UML specifications through a specialized inference mechanism based on a token player algorithm and the sequent calculus of linear logic. In: 15th European Simulation Symposium (ESS 2003), 2003, Delft. Proceedings of the 15th European Simulation Symposium, 2003. v. 1. p. 65-70.
SANTOS, TAUANY L. S. ; Soares, Michel S. . A survey on what users think about SysML. Systems Engineering , 2023.

Outras produções

CAMARGO, R. S. ; SAMYR, A. ; BRITO, C. O. ; SOARES, M. S. . Calculador das Tabelas Brasileiras de Alimentação Animal. 2018.

ReqTrace. 2017.

JULIANO, R. C. ; TRAVENCOLO, B. A. N. ; SOARES, M. S. . Visualização de Anomalias de Software. 2013.

SOARES, M. S. ; Wang, Y. . Junction Measurements Visualization. 2009.

REBOUCAS, F. M. ; NASCIMENTO, R. P. C. ; SOARES, M. S. . PREOrg: Um Guia para Elicitação de Requisitos Orientado ao Desempenho Organizacional. 2018.

SANTOS, L. E. S. ; SOARES, M. S. . Um Processo para Elicitação e Documentação de Requisitos em Nível de Usuário por Meio de uma Pesquisa-Ação em uma Instituição Pública. 2018.

JESUS, T. O. ; SOARES, M. S. . Uma Técnica Baseada em Eventos para Rastreabilidade entre Requisitos Modelados com SysML. 2017.

ROCHA, F. G. ; SOARES, M. S. ; NASCIMENTO, R. P. C. . PETIC Decision Making (PDM): Um Modelo Automatizado para Apoio à Tomada de Decisão Estratégica em TIC. 2017.

RIBEIRO, Q. A. D. S. ; SOARES, M. S. . Uma Técnica Baseda em SysML para Modelar a Arquitetura de Sistemas Embarcados de Tempo Real. 2017.

MENEZES, J. S. S. ; RAMOS, D. G. A. ; SOARES, M. S. . Processo de Avaliação de Software Aplicado à Seleção de Sistemas Gerenciadores de Conteúdo.. 2016.

M. S. FRANÇA, JOYCE ; SOARES, M. S. . SOAQM: Quality Model for SOA Applications based on ISO 25010. 2016.

S. S. DE MENEZES, JISLANE ; RAMOS, D. G. A. ; Michel S. Soares . Minicurso - Wordpress. 2016.

SOARES, M. S. . Proposal to Improve Software Engineering Process at Trinité. 2009.

SOARES, M. S. . Model-Driven Software Engineering. 2009. (Curso de curta duração ministrado/Outra).

SOARES, M. S. . Modelagem Orientada a Objectos usando UML. 2003. (Curso de curta duração ministrado/Extensão).

Soares, M. S. . Apostila de Complexidade de Algoritmos. 2003. (Desenvolvimento de material didático ou instrucional - Apostila Didática).

Soares, M. S. . Apostila de Engenharia de Software. 2003. (Desenvolvimento de material didático ou instrucional - Apostila Didática).

Projetos de pesquisa

2020 - Atual

Mecanismos de Desenvolvimento e Integração de Sistemas de Controle para Cidades Inteligentes., Descrição: O termo cidade inteligente foi definido recentemente com o intuito de descrever centros urbanos que integram uma variedade de soluções para melhorar o desempenho da infraestrutura e alcançar um desenvolvimento urbano sustentável. As aplicações em cidades inteligentes são variadas, como por exemplo nas áreas de comunicação, serviços integrados de saúde, gerenciamento de infraestrutura de distribuição de energia, água e esgoto, além da controle e monitoramento de transportes urbanos. Este projeto foi proposto com o intuito de estabelecer mecanismos, arquiteturas, processos, ferramentas e técnicas para desenvolvimento, controle, e operacionalização de tecnologias de comunicação e informação (ICT) em infraestruturas e serviços de uma cidade a seus cidadãos. Desta forma, o uso de ICT em infraestruturas e serviços oferecidos aos cidadãos apresenta maiores possibilidades de melhorar a vida cotidiana da população, seja por meio, por exemplo, de sistemas de transportes mais seguros e com melhor desempenho, sistemas de saúde integrados, ou ainda pela integração de sistemas policiais, de bombeiros e de vigilância em geral.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (6) . , Integrantes: Michel dos Santos Soares - Coordenador / Fabio Gomes Rocha - Integrante / Valdicélio Mendes Santos - Integrante / Layse Santos Souza - Integrante / Ana Carla do Nascimento Santos - Integrante / Waldson Rodrigues Cardoso - Integrante / Danillo Siqueira Ramos - Integrante / Tauany Lorene Santana Santos - Integrante.
2018 - Atual

Arquitetura, Projeto Detalhado e Verificação Formal de Sistemas Distribuídos de Tempo Real, Descrição: O projeto de sistemas distribuídos de tempo real é uma atividade complexa devido às várias atividades inerentes ao processo de desenvolvimento, mas também devido às características específicas dos domínios de aplicação. Um problema comum desses sistemas é a necessidade de comunicação entre os diversos elementos que cooperam de forma a tratar o problema em questão, incluindo software, os sensores, atuadores e outros componentes físicos que geralmente estão distribuídos no ambiente. Nesses sistemas, o software recebe dados do ambiente e envia sinais de controle aos componentes físicos distribuídos no ambiente. Desta forma, existe um esforço de comunicação entre esses elementos, e ainda deve-se respeitar os requisitos não funcionais, incluindo desempenho e segurança, determinados nas especificações de requisitos. A complexidade dos sistemas distribuídos de tempo real torna-se ainda maior devido à necessidade de modelar diversas características inerentes a esses sistemas de software, incluindo recursos compartilhados, restrições temporais, componentes e a necessidade de comunicação entre esses elementos, e a distribuição de elementos no ambiente. Software é um componente do sistema, e não basta que apenas o software seja projetado. É preciso considerar os diversos componentes do sistema e ainda a relação de cada um com o respectivo software de controle. Para isso, o projeto do software deve ser feito com linguagens de modelagem capazes de modelar software, elementos de hardware, a interface entre componentes de hardware e de software, pessoas e seus papéis e atividades, procedimentos de negócios, comunicação, e recursos em geral. É preciso ainda verificar as propriedades dos modelos gerados para encontrar previamente problemas como deadlocks. Desta forma, torna-se virtualmente impossível que o projeto de sistemas distribuídos de tempo real seja especificado utilizando-se apenas uma única linguagem de modelagem ou formalismo da Engenharia de Software. Uma abordagem que provê o suporte para o uso de diferentes linguagens de modelagem em conjunto, cada uma responsável por diferentes aspectos do sistema, tem maiores possibilidades de sucesso. Esta é a premissa básica deste projeto de pesquisa. Entretanto, o esforço de combinar diversas linguagens, métodos e metamodelos na prática não pode ser subestimado, e deve ser considerado para o projeto da arquitetura e o respectivo projeto detalhado. Este projeto de pesquisa tem caráter multidisciplinar, com aplicações práticas de teorias e métodos de Engenharia de Software na resolução de diversos problemas em domínios diferentes, mas com características básicas semelhantes. Os principais domínios de aplicação são os sistemas de controle automotivos, os sistemas de transporte inteligentes e os sistemas de informação em saúde.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (6) . , Integrantes: Michel dos Santos Soares - Coordenador / Fabíola Gonçalves C. Ribeiro - Integrante / Thauane Moura Garcia - Integrante / Manoela dos Reis Oliveira - Integrante / Ademir Almeida da Costa Júnior - Integrante / Vinícius Almeida Teles Barreto - Integrante., Número de produções C, T & A: 4
2016 - Atual

Reengenharia do Software CALCULADOR DAS TABELAS BRASILEIRAS PARA AVES E SUÍNOS para Plataforma WEB ? Módulos de Exigências Nutricionais, Descrição: Tste projeto interdisciplinar, entre os Departamentos de Computação e de Zootecnia, tem a proposta de fazer uma ampla reengenharia de um software para uma nova plataforma de execução. A aplicação atual foi desenvolvida em ambiente Visual Basic com armazenamento dos dados em arquivos Excel. Além de essas tecnologias serem proprietárias, não são adequadas para softwares modernos pela dificuldade de atualização de arquivos, uma vez que o armazenamento de dados atual não está usando o modelo relacional. Outra justificativa para este projeto é a possibilidade de ter uma versão baseada em Web, facilitando atualizações futuras sem a necessidade de atualizações em cada máquina a cada atualização do software. Futuras atualizações são feitas apenas em um servidor e acessadas pela Internet por todos os clientes autorizados. Este projeto é a continuação de projeto anterior, em que os módulos relativos a valores energéticos de aves e suínos foram desenvolvidos juntamente com os módulos de bases de dados de alimentos e aminoácidos. Desta forma, a continuação deste projeto é relativa ao desenvolvimento de novos módulos e integração aos módulos desenvolvidos. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Michel dos Santos Soares - Coordenador / Claudson Oliveira Brito - Integrante / Rodrigo Santana Camargo - Integrante / Alkxyly Samyr - Integrante / João Manoel Santos Almeida - Integrante.
2016 - Atual

SMART UFS.br :: Smart CITy - Cidadania, Inovação e Transparência na difusão de ações e projetos de Cidades Inteligentes da UFS.br, Projeto certificado pelo(a) coordenador(a) Rogério Patrício Chagas do Nascimento em 11/11/2021., Descrição: Objetivo Geral: Criar o Portal de Conhecimento Smart CITy - Cidadania, Inovação e Transparência na difusão de ações e projetos de Cidades Inteligentes, aqui denominado SMART UFS.br. O portal deve funcionar como um arcabouço de aplicações e serviços localizados nos principais pilares das cidades inteligentes: Gestão Ambiental, Planejamento Urbano, Mobilidade, Governança, Educação, Saúde, Segurança e Insumos (Água, Energia, Gás e acesso a Internet), desenvolvidos ou em desenvolvimento na UFS. Objetivos Específicos: - Estudar as principais arquiteturas abertas, plataformas (Internet Future Core Platform: FIWARE; Smart Objects for Intelligent Applications (SOFIA); e CRYSTAL) e padrões (oneM2M, NGSI, etc.) usados na implementação de sistemas de informação para as cidades inteligentes. - Estudar casos de sucesso ocorridos em outras iniciativas público-privadas europeias de serviços interoperáveis por meio de uma plataforma aberta para os ecossistemas urbanos, como por exemplo: Webinos; OpenCities: OSN Platform; Open & Agile Smart Cities (OASC); ICOS: Open Source Community for Smart cities; City Service Development Kit: CitySDK; e i-SCOPE: Smart City. - Estudar arquiteturas, padrões e tecnologias de Open Data para a organização, publicação e distribuição dos dados gerados (ou consumidos) nas aplicação de forma transparente e independente das plataformas e arquiteturas que estejam distribuídas. - Estudar e implementar a comunicação entre as aplicações e sensores remotos de IoT com a platafroma FIWARE. Bem como a infraestrutura de nuvem necessária para essa comunicação. - Compilar iniciativas isoladas da UFS associadas a cada pilar das Cidades Inteligentes e estudar a sua possível publicação no Portal SMART UFS.br. Em paralelo, os grupos de trabalho (GT) da UFC e UFERSA farão iniciativas similares em seus campus universitários. - Estudar a possibilidade da replicação das ações e projetos publicados no portal de conhecimento SMART UFS.br para a gestão municipal e estadual, independente de bandeiras políticas ou partidárias dos seus atuais gestores... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Michel dos Santos Soares - Integrante / Rogério P. C. do Nascimento - Coordenador / Gilton José Ferreira da Silva - Integrante / Hendrik Teixeira Macedo - Integrante.
2015 - 2016

Processo de Avaliação e Aquisição de Software Aplicado à Seleção de Content Management Systems, Descrição: A implantação de CMSs envolve somas financeiras substanciais e diversos riscos. Como todo Sistema de Informação, a escolha pelo uso de um CMS por uma organização deve ser feita de maneira cuidadosa. O processo de seleção deve considerar múltiplos critérios, que frequentemente são antagônicos entre si. A decisão a ser feita deverá considerar ``o melhor'' mas também o que é ``bom o suficiente'', pois certamente um número grande de critérios tornará a escolha ainda mais complexa. Deve-se considerar ainda que os critérios devem ser estabelecidos de forma correta e cuidadosa, atividade essa que já é extremanente complexa. Este projeto visa Identificar, selecionar, analisar e classificar ferramentas de Content Management System segundo critérios de desenvolvimento, manutenção e hierarquização de web sites para organizações governamentais. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Michel dos Santos Soares - Coordenador / Jislane Silva Santos de Menezes - Integrante / Danilo Gonçalves Alves Ramos - Integrante., Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Auxílio financeiro., Número de produções C, T & A: 3
2014 - 2017

CNPq Universal - Uma Abordagem Multi-formalismo em Diferentes Níveis de Abstração para Projeto de SoftwareIntensive Systems, Descrição: O foco desta pesquisa é a área de Projeto de Software, incluindo a definição da arquitetura e o projeto detalhado, com aplicação nos chamados software-intensive systems, sistemas de software altamente distribuídos, implementados em plataformas heterogêneas, muitas vezes sistemas legados envolvidos em arquiteturas orientadas a serviços, operando em ambientes dinâmicos e de difícil previsibilidade. Apesar de diversos métodos, procedimentos e ferramentas terem sido desenvolvidos para a engenharia de software-intensive systems, muitas deficiências ainda podem ser encontradas. Uma abordagem baseada em vários formalismos, múltiplos níveis de abstração, usando diferentes linguagens de modelagem em conjunto, cada uma responsável por diferentes aspectos do sistema, tem maiores possibilidades de sucesso. O objetivo deste projeto é elaborar, desenvolver, aplicar e avaliar a utilização de uma abordagem baseada em multi-formalismos em diferentes níveis de abstração para a engenharia de software-intensive systems. Serão desenvolvidos métodos, procedimentos e ferramentas para a engenharia de software-intensive systems, com aplicações em domínios como sistemas distribuídos de tempo real e em sistemas de informação em saúde.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (5) / Doutorado: (3) . , Integrantes: Michel dos Santos Soares - Coordenador / Jos Vrancken - Integrante / Fabíola Gonçalves C. Ribeiro - Integrante / Joyce Meire da Silva França - Integrante / Marcel da Silva Melo - Integrante / Adicineia Aparecida de Oliveira - Integrante / Josimar de Souza Lima - Integrante / Fernanda Gomes Silva - Integrante / Telmo Oliveira de Jesus - Integrante / Quelita Araújo Diniz da Silva Ribeiro - Integrante / Jamille Silva Madureira - Integrante / Renato Silveira Nunes Junior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 22
2014 - 2016

Reengenharia do Software Calculador das Tabelas Brasileiras para Aves e Suínos em plataforma Web, Descrição: O objetivo principal deste projeto é fazer uma reengenharia do software Calculador das Tabelas Brasileiras para Aves e Suínos em plataforma Web, adicionando novas funcionalidades, melhorando sua aplicabilidade e apresentação para o usuário final. Este projeto interdisciplinar, entre os Departamentos de Computação e de Zootecnia, tem a proposta de fazer uma ampla reengenharia de um software para uma nova plataforma de execução. A justificativa para este projeto é a possibilidade de ter uma versão baseada em Web, facilitando atualizações futuras sem a necessidade de atualizações em cada máquina a cada atualização do software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Michel dos Santos Soares - Coordenador / Claudson Oliveira Brito - Integrante / Rodrigo Santana Camargo - Integrante / Alkxyly Samyr - Integrante., Número de produções C, T & A: 2
2012 - 2015

Desenvolvimento de Novas Técnicas para Aplicação de Rastros de Execução em Manutenção de Software, Descrição: O tema do projeto proposto está relacionado com o uso de rastros de execução de programas em atividades de manutenção de software, sejam elas, de correção, evolução, adaptação ou reestruturação. Um dos objetivos é a melhoria dos atuais algoritmos de simplificação dos rastros existentes. Outro objetivo mais abrangente é a extensão da aplicação dos rastros de execução em uma ampla variedade de tarefas de manutenção de software, tais como, extração de linhas de produto por meio de localização de características como mecanismo de reestruturação para aumento do reuso de software, detecção de padrões de projeto e de arquitetura visando a compreensão de sistemas fracamente documentados, detecção de interesses transversais para melhor modularização do sistema. O objetivo final é um significativo impacto na redução do esforço em atividades de compreensão e evolução de sistemas de software. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Michel dos Santos Soares - Integrante / Marcelo de Almeida Maia - Coordenador / Raquel Fialho de Queiroz Lafetá - Integrante / Lucas Batista Leite de Souza - Integrante / Liliane do Nascimento Vale - Integrante / Jânio Rosa Silva - Integrante.
2012 - 2014

Modelagem e Análise de Sistemas Distribuídos de Tempo Real Usando MARTE e SysML, Descrição: O desenvolvimento de sistemas distribuídos de tempo real é uma atividade complexa por vários motivos. Um problema comum desses sistemas é a necessidade de comunicação entre sensores, atuadores e outros componentes físicos que geralmente estão distribuídos no ambiente. Ou seja, o sistema deve constantemente receber dados do ambiente e enviar dados de controle aos componentes físicos distribuídos no ambiente. Desta forma, existe um esforço de comunicação entre esses elementos, sendo que deve-se respeitar os requisitos temporais determinados nas especificações de requisitos. O problema do tempo real torna-se ainda mais complexo devido a própria distribuição dos componentes do sistema. Outra justificativa para a complexidade é a necessidade de modelar diversas características inerentes de sistemas distribuídos de tempo real, como recursos compartilhados, restrições temporais, distribuição de elementos, e componentes físicos. Ou seja, software é um componente do sistema, e não basta que apenas o software seja modelado. É preciso modelar os diversos componentes do sistema. Para isso, as linguagens de modelagem devem ser capazes de modelar software, hardware, pessoas, procedimentos, sensores, atuadores, comunicação, e recursos em geral. Assim, torna-se virtualmente impossível que a modelagem seja realizada utilizando-se apenas uma única linguagem de modelagem ou formalismo da Engenharia de Software. Uma abordagem que provê o suporte para o uso de diferentes linguagens de modelagem em conjunto, cada uma responsável por diferentes aspectos do sistema, tem maiores possibilidades de sucesso.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (5) . , Integrantes: Michel dos Santos Soares - Coordenador / Eduardo Algusto Silvestre - Integrante / Fabíola Gonçalves C. Ribeiro - Integrante / Diego A.Silva - Integrante / Rodrigo Fernandes Gomes da Silva - Integrante / Marcel da Silva Melo - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro., Número de produções C, T & A: 16
2011 - 2014

Arquitetura de Software, Aspectos e Múltiplos Níveis de Requisitos no Desenvolvimento e Manutenção de Software, Descrição: O objetivo principal do projeto é complementar as atividades de Engenharia de Requisitos de software com os requisitos transversais (aspectos) e estabelecer sua relação com a Arquitetura de Software. Para isso serão investigadas técnicas, métodos e modelos que serão automatizados total ou parcialmente. A proposta deste projeto é que os aspectos sejam identificados e modelados durante as fases iniciais de desenvolvimento de software. Neste projeto, as fases iniciais consideradas são a Engenharia de Requisitos, e o projeto da Arquitetura de Software e do domínio da aplicação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Michel dos Santos Soares - Coordenador / Kênia Santos de Oliveira - Integrante / Joyce Meire da Silva França - Integrante / Caio Augusto Rodrigues dos Santos - Integrante / Rodrigo Fernandes Gomes da Silva - Integrante., Número de produções C, T & A: 11
2010 - 2012

Engenharia de Requisitos de Software Baseada em Múltiplos Níveis de Abstração, Descrição: A engenharia de requisitos de software é considerada por diversos autores como a fase mais crítica do desenvolvimento de um software. O desenvolvimento de sistemas de software complexos é influenciado por diversas categorias de pessoas. Este projeto de pesquisa considera que requisitos de software devem ser descritos e documentados em diferentes níveis de abstração considerando as características de cada stakeholder. Neste projeto, a proposta é independente de linguagens, ferramentas e domínios específicos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Michel dos Santos Soares - Coordenador / Kênia Santos de Oliveira - Integrante / Daniel Souza Cioqueta - Integrante., Financiador(es): Universidade Federal de Uberlândia - Outra., Número de produções C, T & A: 2
2008 - 2011

FP7 - C4C: Control for Coordination, Descrição: The project offers the perspective of improving road traffic management by taking the network context into account, both by developing the necessary theory of network level traffic management, and by improving the engineering methods for the development of control systems.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (3) . , Integrantes: Michel dos Santos Soares - Integrante / Jos Vrancken - Coordenador., Financiador(es): European Union FP7 - Auxílio financeiro., Número de produções C, T & A: 15
2008 - 2010

Software Development Process Improvement in Large Organizations, Descrição: The purpose of this project is to improve software development process in large organizations. This is done by studying current software development processes, adapting and changing current processes, and by helping organizations to make a decision on which software development methodology is most suitable for each project.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Michel dos Santos Soares - Coordenador / Itamar Sharon - Integrante / Jos Vrancken - Integrante., Financiador(es): Delft University of Technology - Auxílio financeiro / Trinité Automatisering B.V. - Cooperação., Número de produções C, T & A: 3
2006 - 2009

IHRTC: Implementing Hierarchical Road Traffic Control, Descrição: Dynamic traffic management (DTM), i.e. traffic management using real time traffic data, has become very common in congested areas in many countries. The necessary system development for DTM is still highly problematic, as it requires the cooperation of different disciplines within traffic engineering and information technology (especially real-time process control, middleware, cooperation and coordination). Future DTM-systems are required to support network-wide, pro-active traffic management, in stead of the locally oriented, reactive traffic management which is common today. The current situation is a chicken-and-egg problem in which the traffic management theory for network-wide pro-active traffic management is hard to develop because of the absence of systems supporting this (and thereby lack of real-life examples) and in which the systems are hard to develop because the necessary traffic management theory is not sufficiently mature.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Michel dos Santos Soares - Integrante / Jos Vrancken - Coordenador., Financiador(es): Next Generation Infrastructures - Auxílio financeiro., Número de produções C, T & A: 8
2004 - 2006

Metodologias ágeis para o desenvolvimento de sistemas Web, Descrição: O objetivo do projeto é realizar o estudo de metodologias ágeis XP e Scrum para o desenvolvimento de Sistemas WEB.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Michel dos Santos Soares - Coordenador., Número de produções C, T & A: 4
2003 - 2007

An Approach UML/Petri Nets for Scenario Verification of Real Time Systems, Descrição: The objective of this project is to propose a hybrid approach based on Petri nets, Linear Logic and UML for scenario verification of Real Time Systems.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Michel dos Santos Soares - Integrante / Stéphane Julia - Coordenador / Robert Valette - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

Prêmios

2017

Best Paper Award in the Area of Human-Computer Interaction, 19th International Conference on Enterprise Information Systems (ICEIS).

2015

Professor Homenageado, Bacharelado em Ciência da Computação - 2015/2 - UFS.

2013

Best Student Paper in the Area of Software Engineering, 15th International Conference on Enterprise Information Systems (ICEIS).

2008

Bonus due to excellent publications, Delft University of Technology.

Histórico profissional

Endereço profissional

Universidade Federal de Sergipe, Centro de Ciências Exatas e Tecnologia, Departamento de Computação. , Cidade Universitária Prof. Aloísio Campos, Rosa Elze, 49100000 - São Cristóvão, SE - Brasil, Telefone: (79) 21056600

Experiência profissional

2014 - Atual

Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe

Vínculo: Consulto ad-hoc, Enquadramento Funcional: Consultor ad-hoc

Outras informações:
Avaliação de projetos de pesquisa como consultor ad-hoc

2018 - Atual

Universidade Federal de Sergipe

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

2013 - 2018

Universidade Federal de Sergipe

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

Atividades

01/2022
Pesquisa e desenvolvimento, Centro de Ciências Sociais Aplicadas.,Linhas de pesquisa
01/2022
Ensino, Administração Pública - PROFIAP, Nível: Pós-Graduação,Disciplinas ministradas, Tecnologias da Informação e Comunicação para Cidades Inteligentes
09/2020
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Presidente da Comissão de Pesquisa do PROCC.
01/2020
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Práticas Orientadas em Computação
10/2018
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software 1, Evolução de Software, Engenharia de Software 2
03/2017
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Vice-líder do Grupo de Pesquisa de Engenharia de Software.
01/2014
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Arquitetura de Software, Desenvolvimento Avançado de Software, Engenharia de Software, Seminários Acadêmicos Semanais 1, Seminários Acadêmicos Semanais 2, Trabalho Individual
07/2013
Pesquisa e desenvolvimento, Fundação Universidade Federal de Sergipe.,Linhas de pesquisa
07/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Desenvolvimento de Software 1, Desenvolvimento de Software 2, Desenvolvimento de Software 3, Engenharia de Software 1, Engenharia de Software 2
07/2013
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software 1, Engenharia de Software 2
07/2013
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Membro do Conselho do DCOMP.
12/2020 - 03/2021
Direção e administração, Fundação Universidade Federal de Sergipe.,Cargo ou função, Pró-Reitor de Pós-Graduação e Pesquisa.
09/2018 - 08/2020
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Coordenador do Curso de Engenharia de Computação.
09/2013 - 09/2019
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Membro do Colegiado do Programa de Pós-Graduação em Ciência da Computação.
11/2016 - 11/2017
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Coordenador do Programa de Pós-Graduação em Ciência da Computação.
02/2014 - 10/2016
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.,Cargo ou função, Vice-coordenador do Programa de Pós Graduação em Ciência da Computação.
10/2013 - 02/2014
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Introdução a Ciência da Computação

2023 - Atual

Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira

Vínculo: Servidor Público, Enquadramento Funcional: Membro comissão assessora, Carga horária: 2

Outras informações:
Membro da Comissão Assessora de Área (CAA) do INEP para o ENADE 2023 - Engenharia de Computação PORTARIA N 91, DE 17 DE FEVEREIRO DE 2023

2010 - 2013

Universidade Federal de Uberlândia

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

2002 - 2004

Universidade Federal de Uberlândia

Vínculo: Outro (especifique), Enquadramento Funcional: Mestrando, Carga horária: 20

Outras informações:
Mestrando em Ciência da Computação

Atividades

04/2010
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Linhas de pesquisa
01/2011 - 07/2013
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do Bacharelado em Sistemas de Informação.
08/2010 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores, Modelagem de Software, Tópicos em Engenharia de Software - Desenvolvimento de Software Avançado
08/2010 - 07/2013
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Arquitetura de Software, Engenharia de Software, Modelagem de Software, Seminários em Engenharia de Software
04/2010 - 07/2013
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Engenharia de software, Modelagem de Software
07/2012 - 05/2013
Direção e administração, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Coordenador do Programa de Pós-Graduação em Ciência da Computação.
07/2012 - 05/2013
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Membro do Conselho de Pós-Graduação e Pesquisa (CONPEP).
08/2011 - 05/2013
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Membro do Conselho da FACOM.
08/2011 - 05/2013
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Membro do Colegiado do Programa de Pós-Graduação em Ciência da Computação.
04/2010 - 12/2012
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software, Modelagem de Software
07/2011 - 07/2012
Direção e administração, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Coordenador substituto do PPGCC.
02/2011 - 07/2011
Ensino, Engenharia Mecatrônica, Nível: Graduação,Disciplinas ministradas, Engenharia de Software
02/2011 - 07/2011
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Introdução a Tecnologia da Computação
04/2010 - 07/2010
Ensino, Licenciatura em Física, Nível: Graduação,Disciplinas ministradas, Informática
04/2010 - 07/2010
Ensino, Administração, Nível: Graduação,Disciplinas ministradas, Informática

2006 - 2010

Delft University of Technology

Vínculo: Outro (especifique), Enquadramento Funcional: Researcher, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2006 - 04/2010
Pesquisa e desenvolvimento, Information and Communication Technologies.,Linhas de pesquisa
01/2009 - 07/2009
Ensino, Systems Engineering, Policy Analysis & Management, Nível: Graduação,Disciplinas ministradas, SPM2410 Technologische verdieping I-domein
01/2008 - 07/2008
Ensino, Systems Engineering, Policy Analysis & Management, Nível: Graduação,Disciplinas ministradas, SPM2410 Technologische verdieping I-domein
01/2007 - 07/2007
Ensino, Systems Engineering, Policy Analysis & Management, Nível: Graduação,Disciplinas ministradas, SPM2410 Technologische verdieping I-domein

2004 - 2005

Universidade Presidente Antônio Carlos

Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto I, Carga horária: 28

Atividades

01/2005 - 12/2005
Direção e administração, UNIPAC.,Cargo ou função, Coordenador de Estágios do curso de Sistemas de Informação.
08/2004 - 12/2005
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Lógica, Requisitos de Software
08/2004 - 12/2005
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Gerência de Projetos, Orientação de Projetos de Conclusão de curso, Projeto de Software, Qualidade de Software, Requisitos de Software

2003 - 2003

Universidade de Rio Verde

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

Atividades

01/2003 - 01/2004
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Complexidade de Algoritmos, Engenharia de Software

2006 - 2006

Elumini

Vínculo: Consultor, Enquadramento Funcional: Consultor de Qualidade de Processos, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Consultor de Qualidade de Software atuando no banco Citibank

Atividades

01/2006 - 06/2006
Serviços técnicos especializados , Elumini.,Serviço realizado, Consultor de Qualidade de Software e Processos.

2002 - 2003

Colégio Uberaba

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

Outras informações:
Professor de C/C++ no curso técnico de Informática

Atividades

07/2002 - 01/2003
Ensino,,Disciplinas ministradas, Linguagens de Programação C/C++ em ambiente Linux

2001 - 2002

Softtek

Vínculo: Consultor, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Analista de Sistemas no desenvolvimento de sistemas WEB

Atividades

09/2001 - 01/2002
Serviços técnicos especializados , Softtek.,Serviço realizado, Desenvolvimento de sistemas WEB.

2001 - 2001

Cooperativa de Trabalho em Tecnologia da Informaçâo

Vínculo: Consultor Cooperado, Enquadramento Funcional: Consultor, Carga horária: 40

Outras informações:
Analista de Sistemas alocado no Banco Itaú.

2000 - 2001

SevenCOMm

Vínculo: Estagiário, Enquadramento Funcional: Estágio, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Analista Programador no desenvolvimento de Sistemas WEB

Atividades

01/2000 - 01/2001
Estágios , SevenCOMm.,Estágio realizado, Desenvolvimento de sistemas WEB.