Michel dos Santos Soares

  • Endereço para acessar este CV: http://lattes.cnpq.br/5953076413314506
  • Última atualização do currículo em 14/12/2018


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. Foi professor Adjunto da Universidade Federal de Uberlândia de 2010 a 2013 e coordenador da pós-graduação. Atualmente é Professor Associado I da Universidade Federal de Sergipe. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: Arquitetura de Software, Requisitos de Software, Projeto de Software, UML, SysML, MARTE, Redes de Petri, Qualidade de Software, Cidades Inteligentes, Orientação a Aspectos, Métricas de Software, Arquitetura Orientada a Serviços e Projeto de Software-Intensive Systems. (Texto informado pelo autor)


Identificação


Nome
Michel dos Santos Soares
Nome em citações bibliográficas
Soares, M. S.;dos Santos Soares, M.;Soares, M.;michel dos santos soares;Michel S. Soares;Soares, Michel dos Santos;Soares, Michel S.;S. SOARES, MICHEL;Michel Soares

Endereço


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


Formação acadêmica/titulação


2006 - 2010
Doutorado em Computer Science.
Delft University of Technology, TU DELFT, Holanda.
Título: Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems, Ano de obtenção: 2010.
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 Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Setores de atividade: Transporte Terrestre.
2002 - 2004
Mestrado em Ciência da Computação.
Universidade Federal de Uberlândia, UFU, Brasil.
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.
Orientador: Stéphane Julia.
Palavras-chave: UML; Redes de Petri; Lógica Linear; Sistemas Tempo Real; Escalonamento.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
1996 - 2000
Graduação em Ciência da Computação.
Universidade Federal de São Carlos, UFSCAR, Brasil.




Atuação Profissional



Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe, FAPITEC/SE, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Consulto ad-hoc, Enquadramento Funcional: Consultor ad-hoc
Outras informações
Avaliação de projetos de pesquisa como consultor ad-hoc


Universidade Federal de Sergipe, UFS, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Atividades

10/2018 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Evolução de Software
09/2018 - Atual
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.
03/2017 - Atual
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 - Atual
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
09/2013 - Atual
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.
07/2013 - Atual
Pesquisa e desenvolvimento , Fundação Universidade Federal de Sergipe, .

Linhas de pesquisa
Engenharia de Software
07/2013 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Desenvolvimento de Software 1
Desenvolvimento de Software 2
Desenvolvimento de Software 3
07/2013 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software 1
Engenharia de Software 2
07/2013 - Atual
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.
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

Universidade Federal de Uberlândia, UFU, Brasil.
Vínculo institucional

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

Vínculo institucional

2002 - 2004
Vínculo: Outro (especifique), Enquadramento Funcional: Mestrando, Carga horária: 20
Outras informações
Mestrando em Ciência da Computação

Atividades

04/2010 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.

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 Elétrica, Nível: Graduação

Disciplinas ministradas
Introdução a Tecnologia da Computação
02/2011 - 07/2011
Ensino, Engenharia Mecatrônica, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
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

Delft University of Technology, TU DELFT, Holanda.
Vínculo institucional

2006 - 2010
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
Software Engineering
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

Universidade Presidente Antônio Carlos, UNIPAC, Brasil.
Vínculo institucional

2004 - 2005
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, 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
08/2004 - 12/2005
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Lógica
Requisitos de Software

Universidade de Rio Verde, FESURV, Brasil.
Vínculo institucional

2003 - 2003
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

Elumini, ELUMINI, Brasil.
Vínculo institucional

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

Colégio Uberaba, COLÉGIO UBERABA, Brasil.
Vínculo institucional

2002 - 2003
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

Softtek, SOFTTEK, Brasil.
Vínculo institucional

2001 - 2002
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.

Cooperativa de Trabalho em Tecnologia da Informaçâo, CTI, Brasil.
Vínculo institucional

2001 - 2001
Vínculo: Consultor Cooperado, Enquadramento Funcional: Consultor, Carga horária: 40
Outras informações
Analista de Sistemas alocado no Banco Itaú.


SevenCOMm, 7COMM, Brasil.
Vínculo institucional

2000 - 2001
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.


Linhas de pesquisa


1.
Qualidade de Software
2.
Engenharia de Requisitos
3.
Engenharia de Software
4.
Software Engineering
5.
Engenharia de Software


Projetos de pesquisa


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.
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.
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: 1 / Número de orientações: 2
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: 13 / Número de orientações: 9
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 orientações: 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.
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: 12 / Número de orientações: 4
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: 6 / Número de orientações: 5
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): Trinité Automatisering B.V. - Cooperação / Delft University of Technology - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
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: 2 / Número de orientações: 2
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.


Membro de corpo editorial


2004 - Atual
Periódico: INFOCOMP (UFLA)


Revisor de periódico


2008 - Atual
Periódico: Journal of Systems and Software
2009 - Atual
Periódico: Journal of Information Science
2004 - Atual
Periódico: INFOCOMP (UFLA)
2009 - Atual
Periódico: International Journal of Critical Infrastructures.
2010 - Atual
Periódico: International Journal of Modelling and Simulation
2012 - Atual
Periódico: International Journal of Technology Management
2013 - Atual
Periódico: Journal of Visual Languages and Computing
2017 - Atual
Periódico: IEEE Transactions on Industrial Informatics


Revisor de projeto de fomento


2014 - Atual
Agência de fomento: Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
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.
3.
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.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Holandês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


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.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:19
Total de citações:12
michel dos santos soares  Data: 19/07/2010

Outras
Total de trabalhos:114
Total de citações:863
Michel dos Santos Soares or Michel S. Soares  Data: 22/11/2018

Artigos completos publicados em periódicos

1.
STEINMETZ, CHARLES2018STEINMETZ, 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.

2.
1JESUS, T. O.2017JESUS, 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.

3.
2BRANT-RIBEIRO, TAFFAREL2017BRANT-RIBEIRO, TAFFAREL ; ARAÚJO, RAFAEL D. ; MENDONÇA, IGOR E. ; Soares, M. S. ; CATTELAN, RENAN G. . Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets. Software & Systems Modeling, p. 1-17, 2017.

4.
4Soares, Michel S.2016Soares, 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.

5.
7SILVA, F. G.2016SILVA, 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.

6.
3RIBEIRO, FABÍOLA GONÇALVES C.2016RIBEIRO, 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.

7.
6BARROSO, A. S.2016BARROSO, 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.

8.
5RIBEIRO, FABÍOLA GONÇALVES C.2016RIBEIRO, 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 and Systems Modeling, v. 17, p. 343-361, 2016.

9.
8SOARES, M. S.2012 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.

10.
9SOARES, M. S.2011 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.

11.
10Vrancken, J.2009Vrancken, 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.

12.
14SOARES, M. S.2008 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.

13.
13SOARES, M. S.2008 SOARES, M. S.; Vrancken, J. . Model-Driven User Requirements Specification using SysML. Journal of Software, v. 3, p. 57-68, 2008.

14.
11Vrancken, J.2008Vrancken, 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.

15.
12SOARES, M. S.2008SOARES, M. S.. Metodologias Ágeis para Desenvolvimento de Software. Engenharia de Software Magazine, v. 7, p. 14-19, 2008.

16.
15Soares, M. S.;dos Santos Soares, M.;Soares, M.;michel dos santos soares;Michel S. Soares;Soares, Michel dos Santos;Soares, Michel S.;S. SOARES, MICHEL;Michel Soares2004Soares, M. S.. Comparação entre Metodologias Ágeis e Tradicionais para o Desenvolvimento de Software. INFOCOMP (UFLA. Impresso), v. 3, p. 8-13, 2004.

17.
16Soares, M. S.;dos Santos Soares, M.;Soares, M.;michel dos santos soares;Michel S. Soares;Soares, Michel dos Santos;Soares, Michel S.;S. SOARES, MICHEL;Michel Soares2004Soares, 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.

Livros publicados/organizados ou edições
1.
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 .

2.
Koscianski, A. ; SOARES, M. S. . Qualidade de Software. 2. ed. São Paulo: Novatec, 2007. v. 1. 395p .

3.
Koscianski, A. ; SOARES, M. S. . Qualidade de Software. 1. ed. São Paulo: Novatec, 2006. v. 1. 395p .

Capítulos de livros publicados
1.
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.

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

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

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

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

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

Trabalhos completos publicados em anais de congressos
1.
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.

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

3.
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 Computing, 2018, Cingapura. Proceedings of the 20th IEEE International Symposium on Real-Time Computing, 2018. v. 1. p. 1-6.

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

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

6.
Ribeiro, F.G.C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; STEINMETZ, C. ; SOARES, M. S. . Non-Functional Constraints Annotation to Real-Time Embedded Systems Design. In: VIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018, Salvador. Proceedings of SBESC 2018, 2018. v. 1. p. 1-8.

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

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

9.
Ribeiro, F.G.C. ; STEINMETZ, C. ; RETTBERG, ACHIM ; PEREIRA, C. E. ; SOARES, M. S. . Non-Functional Constraints Annotation to Real-Time Embedded System Design. In: VIII Brazilian Symposium on Computing Systems Engineering, 2018, Salvador. Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018. v. 1. p. 1-8.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Produção técnica
Programas de computador sem registro
1.
CAMARGO, R. S. ; SAMYR, A. ; BRITO, C. O. ; SOARES, M. S. . Calculador das Tabelas Brasileiras de Alimentação Animal. 2018.

2.
JESUS, T. O. ; SOARES, M. S. . ReqTrace. 2017.

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

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

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

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

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

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

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

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

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

Trabalhos técnicos
1.
S. S. DE MENEZES, JISLANE ; RAMOS, D. G. A. ; Michel S. Soares . Minicurso - Wordpress. 2016.

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


Demais tipos de produção técnica
1.
SOARES, M. S.. Model-Driven Software Engineering. 2009. (Curso de curta duração ministrado/Outra).

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

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

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



Patentes e registros



Programa de computador
1.
JULIANO, R. C. ; TRAVENCOLO, B. A. N. ; SOARES, M. S. . SUVSOFT. 2015.
Patente: Programa de Computador. Número do registro: BR5120150015-2, data de registro: 14/12/2015, título: "SUVSOFT" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SALES, J. D. A.; NUNES, I. D.; NASCIMENTO, R. P. C.; SOARES, M. S.. Participação em banca de 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.

2.
RODRIGUES JUNIOR, M. C.; NASCIMENTO, R. P. C.; Silva, Flávio de Oliveira; SOARES, M. S.. Participação em banca de 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.

3.
MAIA, M. A.; RODRIGUES JUNIOR, M. C.; SOARES, M. S.. Participação em banca de Luís Eduardo de Sousa 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.

4.
NASCIMENTO, R. P. C.; Soares, M. S.; OLIVEIRA, A. A.; REZENDE, D. A.. Participação em banca de 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.

5.
Rosa, P.F.; NASCIMENTO, R. P. C.; Soares, M. S.. Participação em banca de Quelta Araújo 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.

6.
SILVA, L. M. A. E.; DIAS NETO, A. C.; NASCIMENTO, R. P. C.; Soares, M. S.. Participação em banca de 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.

7.
CARNEIRO, G. F.; NASCIMENTO, R. P. C.; RODRIGUES JUNIOR, M. C.; Soares, M. S.. Participação em banca de 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.

8.
Soares, M. S.; SILVA, L. M. A. E.; Costa, Heitor Augustus Xavier. Participação em banca de 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.

9.
ELER, M. M.; ZAMPINOLLI, F. A.; CORDEIRO, D. A.; SOARES, M. S.. Participação em banca de Robinson Crusoé da Cruz. 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.

10.
NASCIMENTO, R. P. C.; SOARES, M. S.; MACEDO, D. D. J.; ROSA, N. S.. Participação em banca de Sergio Antonio Alves Barbosa. 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.

11.
CARVALHO, A. B.; SOARES, M. S.; SILVA, L. M. A. E.; PRUDENCIO, R. B. C.. Participação em banca de Glauber Andrade Botelho. 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.

12.
OLIVEIRA, A. A.; SOARES, M. S.; RIJO, R. P. C. L.. Participação em banca de Otávio Manoel Pereira Siqueira. 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.

13.
MATIAS JUNIOR, R.; Soares, M. S.; FROHLICH, A. A.; MACIEL, P. R. M.. Participação em banca de Caio Augusto Rodrigues dos Santos. 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.

14.
NASCIMENTO, R. P. C.; OLIVEIRA, A. A.; MENDES NETO, F. M.; Soares, M. S.. Participação em banca de Adriana de Melo Fontes. 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.

15.
RODRIGUES JUNIOR, M. C.; Soares, M. S.; CARNEIRO, G. F.. Participação em banca de José Jorge Barreto Torres. 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.

16.
Soares, M. S.; OLIVEIRA, A. A.; COSTA NETO, A.; CARNEIRO, G. F.. Participação em banca de 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.

17.
Soares, M. S.; RODRIGUES JUNIOR, M. C.; OLIVEIRA JR., EDSON. Participação em banca de 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.

18.
Soares, M. S.; OLIVEIRA, A. A.; CARNEIRO, G. F.. Participação em banca de 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.

19.
OLIVEIRA, A. A.; Soares, M. S.; ALENCAR, F. M. R.. Participação em banca de Izabella Cristine Oliveira Rezende. 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.

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

21.
FRANCA, V. V.; FREITAS, F. C. H. P.; Soares, M. S.. Participação em banca de Sueli Dantas Barcelar. 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.

22.
COSTA NETO, A.; RIBEIRO, M. M.; Soares, M. S.. Participação em banca de Lidiany Cerqueira Santos. 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.

23.
RODRIGUES JUNIOR, M. C.; BECKER, K.; Soares, M. S.. Participação em banca de Juli Kelle Góis Costa. 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.

24.
TRAVENCOLO, B. A. N.; Soares, M. S.; MAIA, M. A.; PONTI JUNIOR, M. P.. Participação em banca de 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.

25.
Soares, M. S.; MAIA, M. A.; FIGUEIREDO, E. M. L.; Silva, Flávio de Oliveira. Participação em banca de 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.

26.
NASCIMENTO, R. P. C.; OLIVEIRA, A. A.; Soares, M. S.. Participação em banca de Rafael Xavier. 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.

27.
Soares, M. S.; OLIVEIRA JUNIOR, E. A.; Silva, Flávio de Oliveira. Participação em banca de 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.

28.
Soares, M. S.; Silva, Flávio de Oliveira; OLIVEIRA JUNIOR, E. A.. Participação em banca de 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.

29.
Catellan, R.G.; Bulcão Neto, R.F.; Soares, M. S.. Participação em banca de Taffarel Brant Ribeiro. 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.

30.
Soares, M. S.; MAIA, M. A.; VALENTE, M. T. O.. Participação em banca de Kênia 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.

31.
MAIA, M. A.; Costa, Heitor Augustus Xavier; Soares, M. S.. Participação em banca de Felipe Nunes Gaia. 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.

32.
Soares, M. S.; GIMENES, I. M. S.; Julia, S.. Participação em banca de 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.

33.
CARNEIRO, G. F.; SILVA, P. C.; Soares, M. S.. Participação em banca de Helton Emanuel Reis Santana. 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.

34.
Soares, M. S.; MAIA, M. A.; VALENTE, M. T. O.. Participação em banca de Joyce Meire da Silva França. 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.

35.
Soares, M. S.; Julia, S.; Costa, Heitor Augustus Xavier. Participação em banca de 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.

36.
Rosa, P.F.; Lamounier Júnior, E.A.; Melnikoff, S.S.S.; Soares, M. S.. Participação em banca de 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.

37.
MAIA, M. A.; Soares, M. S.; Alves, V. R.. Participação em banca de Gabriel Coutinho Sousa Ferreira. 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.

38.
MAIA, M. A.; Soares, M. S.; VALENTE, M. T. O.. Participação em banca de Luciana Lourdes Silva. 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.

39.
MAIA, M. A.; Soares, M. S.; SILVA, I. R.; FIGUEIREDO, E. M. L.. Participação em banca de Allyson Costa e Silva. 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.

40.
Souza, J.N.; Catellan, R.G.; Bulcão Neto, R.F.; Soares, M. S.. Participação em banca de Daniele Carvalho Oliveira. 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.

41.
Souza, J.N.; Catellan, R.G.; Bulcão Neto, R.F.; Soares, M. S.. Participação em banca de Cintia Carvalho Oliveira. Á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.

42.
Soares, M. S.; Berg, Jan Van den; BARJIS, J.. Participação em banca de Itamar Sharon. 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.

Teses de doutorado
1.
MAIA, M. A.; FIGUEIREDO, E. M. L.; Alves, V. R.; DORCA, F. A.; Soares, M. S.. Participação em banca de Raquel Fialho de Queiroz Lafetá. 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.

2.
MALUCELLI, A.; MENDES NETO, F. M.; Silva, Flávio de Oliveira; MAIA, M. A.; Soares, M. S.. Participação em banca de Joyce Meire da Silva França. 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.

Qualificações de Doutorado
1.
WEHRMEISTER, M. A.; PEREIRA, C. E.; RETTBERG, ACHIM; Julia, S.; Soares, M. S.. Participação em banca de Fabíola Gonçalves Coelho Ribeiro. 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.

2.
Soares, M. S.; MALUCELLI, A.; Silva, Flávio de Oliveira. Participação em banca de Joyce Meire da Silva França. 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.

Qualificações de Mestrado
1.
FRANCA, V. V.; LUFT, M. C. M. S.; SOARES, M. S.. Participação em banca de João Ricardo Correia Andrade. 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.

2.
RODRIGUES JUNIOR, M. C.; Soares, M. S.. Participação em banca de Juli Kelle Góis Costa. 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.

3.
FRANCA, V. V.; DACORSO, A. L. R.; FREITAS, F. C. H. P.; Soares, M. S.. Participação em banca de Sueli Dantas Bacelar. 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.

Trabalhos de conclusão de curso de graduação
1.
NASCIMENTO, D. M. C.; COX, K. K.; BRITO, C. O.; SOARES, M. S.. Participação em banca de 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.

2.
COSTA NETO, A.; SILVA, G. J. F.; SOARES, M. S.. Participação em banca de 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.

3.
SILVA, L. M. A. E.; PALMA, G. F. L.; SOARES, M. S.. Participação em banca de Patrick Jones de Souza Cruz.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.

4.
SILVA, L. M. A. E.; PALMA, G. F. L.; Soares, M. S.. Participação em banca de Renato Silveira Nunes Junior.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.

5.
CARVALHO, A. B.; Soares, M. S.; BISPO, K. A.. Participação em banca de Alexis de Andrade Oliveira.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.

6.
CARVALHO, A. B.; Soares, M. S.; BISPO, K. A.. Participação em banca de Domênico Medeiros Travalia.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.

7.
RIBEIRO, B. P.; NASCIMENTO, R. P. C.; Soares, M. S.. Participação em banca de 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.

8.
OLIVEIRA, A. A.; Soares, M. S.. Participação em banca de Paulo Roberto da Costa Cardoso.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.

9.
Soares, M. S.; NASCIMENTO, R. P. C.; MATOS, L. N.. Participação em banca de 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.

10.
COSTA NETO, A.; FREIRE, A. M.; Soares, M. S.. Participação em banca de 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.

11.
NASCIMENTO, R. P. C.; SANTOS FILHO, J. W.; Soares, M. S.. Participação em banca de Philippe Mello da Rocha.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.

12.
OLIVEIRA, A. A.; MELO, H. A.; ORDONEZ, E. D. M.; Soares, M. S.. Participação em banca de Otávio Manoel Pereira Siqueira.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.

13.
OLIVEIRA, A. A.; MELO, H. A.; ORDONEZ, E. D. M.; Soares, M. S.. Participação em banca de Lesliane Sá dos Santos.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.

14.
CARMO, M. S.; Soares, M. S.; SILVA, R. S. E.. Participação em banca de Vinícius da Cunha Martins Borges.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.

15.
SILVA, R. S. E.; Soares, M. S.; CARMO, M. S.. Participação em banca de 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.

16.
SILVA, R. S. E.; Soares, M. S.; CARMO, M. S.. Participação em banca de Simone Aline de Miranda.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.

17.
CARMO, M. S.; Soares, M. S.; CARDOSO, L. R.. Participação em banca de Andréa Barboza Proto.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.

18.
SILVA, R. S. E.; Soares, M. S.; CARMO, M. S.. Participação em banca de Heverton Barros de Macêdo.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.



Participação em bancas de comissões julgadoras
Concurso público
1.
Soares, M. S.; NASCIMENTO, R. P. C.; ROCHA, T.. Professor Substituto de Engenharia de Software. 2015. Universidade Federal de Sergipe.

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

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

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



Eventos



Participação em eventos, congressos, exposições e feiras
1.
ICEIS 2017. Relationship between Personality Traits and Software Quality: Big Five Model vs. Object-oriented Software Metrics. 2017. (Congresso).

2.
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).

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

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

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

6.
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).

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

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

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

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

11.
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).

12.
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).

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

14.
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).

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

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

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

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

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

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


Organização de eventos, congressos, exposições e feiras
1.
Soares, M. S.. Semana da Computação na UNIPAC - Lafaiete. 2005. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Ademir Almeida da Costa Júnior. Detecção de Dívida Técnica em Arquitetura de Software Baseada na norma ISO/IEC/IEEE 42010. Início: 2018. 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).

2.
Manoela dos Reis Oliveira. A Profissão do Arquiteto de Software no Brasil - Padrões e Antipadrões. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

3.
Thauane Moura Garcia. Arquiteturas de Cidades Inteligentes utilizados na Administração Pública Federal. Início: 2017. 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).

4.
Felipe José Rocha Vieira. Um Framework para Análise Post-Mortem de Projetos de Software. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

5.
Elissandro Messias Santos. Power SMART UFS.br: Arquitetura de Eficiência Energética para os Campus da UFS.. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe. (Coorientador).

6.
Vinícius Almeida Teles Barreto. Open Data Smart UFS: Dados Abertos e Transparentes para uma Cidade Universitária Inteligente. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe. (Coorientador).

Tese de doutorado
1.
Fabíola Gonçalves Coelho Ribeiro. Multi-formalismo em Diferentes Níveis de Abstração para Engenharia de Requisitos e Design de Sistemas de Tempo Real. Início: 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia. (Orientador).

Trabalho de conclusão de curso de graduação
1.
Pedro Henrique Leite Oliveira. Comparação entre Java e Kotlin usando Métricas Orientadas a Objeto. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

2.
Rodrigo Santana Camargo. Sistema de Exigências Alimentares para Suínos. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Sergipe. (Orientador).

3.
Tiago Conceicao Dos Santos. Um Sistema Especialista para Estabelecer Dívida Técnica em Arquitetura de Software. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

4.
Italo Jorge De Carvalho Manhaes. Comparação entre Java e Kotlin usando Métricas Orientadas a Objeto. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

5.
Givaldo Marques dos Santos. Portal de Apoio a Investimentos Financeiros em Android. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

6.
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).

7.
Antônio Carlos Teixeira de Carvalho. Sistema de Apoio a Decisão para Educação Financeira. Início: 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

8.
Victor Daniel. Indicadores Acadêmicos da UFS em Dashboard. Início: 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

9.
Danilo Moura Lima. Projeto de Software Mobile usando Android. Início: 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

Iniciação científica
1.
João Manoel Santos Almeida. Software Comparativo da composição nutricional. Início: 2018. 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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

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

3.
Luis 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.

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

5.
Quelita Araújo 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.

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

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

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

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

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

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

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

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

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

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

16.
Joyce Meire da Silva França. 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.

17.
Kênia 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.

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

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

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

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

Tese de doutorado
1.
Joyce Meire da Silva França. 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, . Orientador: Michel dos Santos Soares.

Trabalho de conclusão de curso de graduação
1.
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.

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

3.
Renato Silveira Nunes Junior. 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.

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

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

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

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

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

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

10.
Marianna Tannús 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.

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

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

13.
Gilmar Geraldo Mendes. 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.

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

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

16.
Cíntia de Souza Nascimento. 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.

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

18.
Simone Aline de Miranda. 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.

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

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

Iniciação científica
1.
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.

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

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

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

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

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

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

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

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



Inovação



Programa de computador registrado
1.
JULIANO, R. C. ; TRAVENCOLO, B. A. N. ; SOARES, M. S. . SUVSOFT. 2015.
Patente: Programa de Computador. Número do registro: BR5120150015-2, data de registro: 14/12/2015, título: "SUVSOFT" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


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

2.
JESUS, T. O. ; SOARES, M. S. . ReqTrace. 2017.


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

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

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

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

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

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

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


Projetos de pesquisa


Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
1JESUS, T. O.2017JESUS, 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.


Livros e capítulos
1.
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.


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

2.
JESUS, T. O. ; SOARES, M. S. . ReqTrace. 2017.

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


Programa de Computador registrado
1.
JULIANO, R. C. ; TRAVENCOLO, B. A. N. ; SOARES, M. S. . SUVSOFT. 2015.
Patente: Programa de Computador. Número do registro: BR5120150015-2, data de registro: 14/12/2015, título: "SUVSOFT" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Outras informações relevantes


Estágio de doutorado realizado na empresa Trinité (www.trinite.nl), entre Maio de 2008 e Dezembro de 2008.



Página gerada pelo Sistema Currículo Lattes em 18/12/2018 às 11:57:54