Ivan do Carmo Machado

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


Professor Adjunto da Universidade Federal da Bahia (UFBA) desde 2015. Possui graduação em Análise de Sistemas pela Universidade do Estado da Bahia (UNEB - 2006), mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (CIn - UFPE - 2010) e doutorado em Ciência da Computação pela Universidade Federal da Bahia (UFBA - 2014). Foi Bolsista PNPD/CAPES (UFBA - 2014/15), e Bolsista do Programa de Residência em Software da Universidade Federal de Pernambuco (CIn - UFPE - Motorola - 2007). Recebeu os prêmios de Melhor Dissertação de Mestrado e Melhor Tese de Doutorado em Qualidade de Software defendidos no Brasil em 2010 e 2014, respectivamente. Recebeu o IBM Ph.D. Fellowship Award em 2012. Atualmente é o Chefe do Departamento de Ciência da Computação da UFBA (2016-) e Membro do Colegiado do Programa de Pós-Graduação em Ciência da Computação (PGCOMP) da UFBA (2015-). Atua como membro de comitê de programa de importantes conferências e workshops, e revisor de importantes periódicos da área de Engenharia de Software, tais como ACM TOSEM, IST, JSS, SQJ, SP&E, SoSyM, JSEP e IET Software. Seus interesses de pesquisa incluem: linhas de produtos de software, modularidade de software, testes de software, qualidade de software, evolução de software e engenharia de software experimental (artigos e citações em https://scholar.google.com.br/citations?user=ilptBWsAAAAJ) (Texto informado pelo autor)


Identificação


Nome
Ivan do Carmo Machado
Nome em citações bibliográficas
MACHADO, I. C.;MACHADO, Ivan Do Carmo;Carmo Machado, Ivan do;do Carmo Machado, Ivan;do Carmo Machado, I.;MACHADO, IVAN

Endereço


Endereço Profissional
Universidade Federal da Bahia, Instituto de Matemática, Departamento de Ciência da Computação.
Avenida Adhemar de Barros, S/N; Instituto de Matemática, Sala 213
Ondina
40170110 - Salvador, BA - Brasil
Telefone: (71) 32836273
URL da Homepage: www.ivanmachado.com.br


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


2010 - 2014
Doutorado em Ciência da Computação - Ufba - Unifacs.
Universidade Federal da Bahia, UFBA, Brasil.
com período sanduíche em Clemson University (Orientador: John D. McGregor).
Título: Fault model-based variability testing, Ano de obtenção: 2014.
Orientador: Eduardo Santana de Almeida.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Software Product Lines; Variability Management; Software Testing Techniques.
2008 - 2010
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: RiPLE-TE: A Software Product Lines Testing Process,Ano de Obtenção: 2010.
Orientador: Silvio Romero de Lemos Meira.
Coorientador: Eduardo Santana de Almeida.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2007 - 2007
Especialização em Residência em Software - Análise de Testes. (Carga Horária: 552h).
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Using Regression Analysis to Calibrate a Test Execution Effort Model.
Orientador: Paulo Henrique Monteiro Borba e Eduardo H. Silva Aranha.
Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.
2002 - 2006
Graduação em Análise de Sistemas.
Universidade do Estado da Bahia, UNEB, Brasil.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
Universidade Federal da Bahia, UFBA, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra


Formação Complementar


2016 - 2016
QPS: Modelo para Avaliação da Qualidade de Produtos de Software. (Carga horária: 4h).
Comitê Diretivo do Modelo QPS, QPS, Brasil.
2013 - 2013
Software Analytics: Achievements and Challenges. (Carga horária: 4h).
XII Simpósio Brasileiro de Qualidade de Software, SBQS, Brasil.
2011 - 2011
Análise Causal de Defeitos de Software. (Carga horária: 4h).
X Simpósio Brasileiro de Qualidade de Software, SBQS, Brasil.
2011 - 2011
Avaliação de Qualidade de LPS. (Carga horária: 4h).
X Simpósio Brasileiro de Qualidade de Software, SBQS, Brasil.
2011 - 2011
Introduction to Software Product Line Adoption. (Carga horária: 4h).
15th Software Product Line Conference, SPLC, Alemanha.
2010 - 2010
Introdução a métricas e medição de software. (Carga horária: 8h).
Experimental Software Engineering Latin American Workshop, ESELAW, Brasil.
2010 - 2010
Introdução a Teste de Software. (Carga horária: 4h).
I Congresso Brasileiro de Software: Teoria e Prática, I CBSOFT, Brasil.
2010 - 2010
Teste Baseado em Modelos. (Carga horária: 4h).
I Congresso Brasileiro de Software: Teoria e Prática, I CBSOFT, Brasil.
2009 - 2009
Software Product Line Eng, the practical aspects. (Carga horária: 4h).
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2009 - 2009
Building Reusable Testing Assets for a Software Pr. (Carga horária: 4h).
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2008 - 2008
On SPL, Customer-Configured Products & Eco-Systems. (Carga horária: 4h).
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2008 - 2008
How to Document Your PL Arch. Using UML 2. (Carga horária: 4h).
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2007 - 2007
Test Driven Development. (Carga horária: 4h).
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2002 - 2006
Inglês. (Carga horária: 450h).
FISK, FISK, Brasil.


Atuação Profissional



Universidade Federal da Bahia, UFBA, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

2014 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Pós-Doutor, Carga horária: 40

Vínculo institucional

2014 - 2014
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Vínculo institucional

2010 - 2014
Vínculo: Estudante de Doutorado, Enquadramento Funcional: Estudante de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2010 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

10/2016 - Atual
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, PGCOMP - Programa de Pós-Graduação em Ciência da Computação.

Cargo ou função
Membro da Comissão de Seleção para Candidatos a Bolsas de Pós-Doutorado (PNPD/CAPES).
08/2016 - Atual
Direção e administração, Instituto de Matemática, .

Cargo ou função
Membro Titular da Congregação do IME/UFBA.
08/2016 - Atual
Direção e administração, Departamento de Ciência da Computação, .

Cargo ou função
Chefe do Departamento de Ciência da Computação.
08/2016 - Atual
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Membro Titular do Comitê Gestor de Tecnologia de Informação - CGTI/UFBA.
01/2016 - Atual
Direção e administração, Departamento de Ciência da Computação, PGCOMP - Programa de Pós-Graduação em Ciência da Computação.

Cargo ou função
Membro do Colegiado do Programa de Pós-Graduação em Ciência da Computação (PGCOMP).
01/2016 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
MATE94 - Engenharia de Software Experimental
MATE74 - Reuso de Software
10/2015 - Atual
Pesquisa e desenvolvimento , Departamento de Ciência da Computação, PGCOMP - Programa de Pós-Graduação em Ciência da Computação.

10/2015 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
MATA39 - Seminários de Introdução ao Curso
MATA55 - Programação Orientada a Objetos
MATA62 - Engenharia de Software I
MATA63 - Engenharia de Software II
MATB14 - Laboratório de Engenharia de Software
MAT115 - Introdução ao Processamento de Dados
MATB02 - Qualidade de Software
11/2015 - 11/2018
Extensão universitária , Departamento de Ciência da Computação, .

Atividade de extensão realizada
Professor Orientador da InfoJr - Empresa Júnior de Informática da UFBA.
02/2016 - 02/2018
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, PGCOMP - Programa de Pós-Graduação em Ciência da Computação.

Cargo ou função
Membro da Comissão de Bolsas.
01/2017 - 05/2017
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, PGCOMP - Programa de Pós-Graduação em Ciência da Computação.

Cargo ou função
Membro da Comissão de Seleção para o Processo Seletivo 2017.1.
05/2014 - 12/2014
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
MAT220 - Empreendedores em Informática
MATC84 - Laboratório de Programação Web
MATC92 - Fundamentos de Sistemas de Informação
05/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
MATA39 - Seminários de Introdução ao Curso
MATA48 - Arquitetura de Computadores
MATA58 - Sistemas Operacionais
MATA62 - Engenharia de Software I
MATA63 - Engenharia de Software II
08/2011 - 07/2012
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, PMCC - Programa Multiinsitucional em Ciência da Computação.

Cargo ou função
Representante Estudantil no Colegiado do Doutorado em Ciência da Computação.
03/2010 - 07/2010
Ensino, Ciência e Tecnologia, Nível: Graduação

Disciplinas ministradas
HACA09 - Ciência e Tecnologia I
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
MATA57 - Laboratório de Programação I
MATA76 - Linguagens de Aplicação Comercial

Universidade Federal do Sul da Bahia, UFSB, Brasil.
Vínculo institucional

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


Clemson University, CLEMSON, Estados Unidos.
Vínculo institucional

2012 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Visiting Graduate Student, Carga horária: 40
Outras informações
Bolsa CAPES PDSE (Doutorado Sanduíche) - School of Computing, Clemson University, EUA; Supervisão: John D. McGregor, Ph.D.


Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2008 - 2010
Vínculo: Aluno de Mestrado, Enquadramento Funcional: Aluno de Mestrado, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2007
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Programa de Imersão Tecnológica, desenvolvido pelo CIn com o apoio da Motorola, na área de Testes de Software Embarcado e Aplicações em Telefonia Móvel..


Área 1 - Faculdade de Ciência e Tecnologia, ÁREA1/CBES, Brasil.
Vínculo institucional

2014 - 2014
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 12

Atividades

01/2014 - 12/2014
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
5ALCM - Algoritmos Computacionais
5LGCO - Lógica Computacional

Secretaria de Ciência, Tecnologia e Inovação da Bahia, SECTI, Brasil.
Vínculo institucional

2006 - 2007
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações
Contratado pela ZCR Informática, alocado na SECTI/BA.



Linhas de pesquisa


1.
Software Engineering
2.
Software Product Lines
3.
Software Testing
4.
Variability Management
5.
Empirical Software Engineering
6.
Feature-Oriented Software Development
7.
Software Modularity


Projetos de pesquisa


2018 - Atual
THCS - Testing Highly Configurable Systems (Edital nº 29/2017 - CAPES/WBI)

Projeto certificado pelo(a) coordenador(a) Eduardo Santana de Almeida em 28/09/2018.
Descrição: O objetivo deste projeto é investigar, através de estudos experimentais, duas áreas carentes de estudos em Linhas de Produto Software (LPS): seleção de técnicas de teste de regressão e a ocorrência de testes smells. Com as evidências identificadas, soluções serão propostas para projetos de LPS.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) .
Integrantes: Ivan do Carmo Machado - Integrante / Eduardo Santana de Almeida - Coordenador / Jonatas Ferreira Bastos - Integrante / Christina von Flach Garcia Chavez - Integrante / Magno Luã de Jesus Souza - Integrante / Michelle Larissa Luciano Carvalho - Integrante / Matheus Lessa Gonçalves da Silva - Integrante / Rafael Augusto de Melo - Integrante / Vander Ramos Alves - Integrante / Roselane Santana Silva - Integrante / Alex Bruno Paranhos da Silva - Integrante / Pierre Yves François Marie Joseph Schobbens - Integrante / Gilles Perrouin - Integrante / Moussa Amrani - Integrante / Patrick Andre Marie Heymans - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
2017 - Atual
Em direção a um arcabouço para a construção de modelo de falhas para testes em linhas de produtos de software (Edital 08/2015. Apoio a Projetos de Pesquisa para Jovem Cientista no estado da Bahia)
Descrição: O projeto tem como objetivo principal desenvolver um arcabouço para a criação de modelos de falhas, que auxilie o teste de sistemas que implementem variabilidade, como é o caso das linhas de produtos de software, principal objeto de estudo deste projeto. O arcabouço (ou framework) proposto intitula-se FaMoF - Fault Modelling Framework, e será implementado como um plugin para a IDE Eclipse..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) .
Integrantes: Ivan do Carmo Machado - Coordenador / Yguaratã Cerqueira Cavalcanti - Integrante / Luanna Lopes Lobato - Integrante / Paulo Anselmo da Mota Silveira Neto - Integrante / Alcemir Rodrigues Santos - Integrante / Larissa Rocha Soares - Integrante.
2012 - 2014
Um Sistema de Computação Ubíqua Inteligente para Monitoramento e Gerenciamento de Atividades Físicas no Parque Tecnológico (Edital FAPESB 12 / 2011 Apoio a Projetos em Temas Estratégicos)
Descrição: Desenvolvimento de um Sistema de Computação Ubíqua Inteligente para Monitoramento e Gerenciamento de Atividades Físicas no Parque Tecnológico com base em técnicas avançadas de engenharia de software. O sistema permite que usuários tenham as suas atividades físicas monitoradas de forma automática e apresentadas em diferentes painéis (displays) ao longo da área do parque tecnológico. Adicionalmente, com os dados coletados, o sistema deve montar uma rede social com os usuários e as suas informações.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Doutorado: (2) .
Integrantes: Ivan do Carmo Machado - Integrante / Eduardo Santana de Almeida - Coordenador / Manoel Gomes de Mendonça Neto - Integrante / Raphael Pereira de Oliveira - Integrante / Gustavo Bittencourt Figueiredo - Integrante / Claudio Santanna - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
2012 - 2014
SOPLE - Service-Oriented Product Lines Engineering (Edital CAPES/DGU - Brasil/Espanha n: 022/2011)
Descrição: O objetivo do projeto SOPLE é desenvolver um processo integrado com conceitos de desenvolvimento de linhas de produto de software e orientação a serviços. Assim, as seguintes atividades devem ser realizadas: - Pesquisa do estado da arte na área de linhas de produto de software orientada a serviços - Pesquisa do estado da arte na área de modelagem e gerência de variabilidades - Definição do processo de linhas de produto de software orientada a serviços incluindo as fases de escopo, requisitos, projeto arquitetural - Definição de experimentos controlados para avaliação do processo - Definição de estudos de caso com empresas para avaliação do processo. Um aspecto importante é que enquanto a equipe Brasileira está concentrada nas fases e etapas do processo, a equipe Espanhola está interessada em como aspectos de usabilidade podem ser inseridos e gerenciados ao longo do processo proposto.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) .
Integrantes: Ivan do Carmo Machado - Integrante / Eduardo Santana de Almeida - Coordenador / Manoel Gomes de Mendonça Neto - Integrante / Crescencio Rodrigues Lima Neto - Integrante / Christina von Flach Garcia Chavez - Integrante / Raphael Pereira de Oliveira - Integrante / Simone da Silva Amorim - Integrante / Tassio Ferreira Vale - Integrante / Hugo Sica de Andrade - Integrante / Silvia Mara Abrahao Gonzales - Integrante / Cesar Emilio Insfran Pelozo - Integrante / Jose Ángel Carsi Cubel - Integrante / David Blanes Dominguez - Integrante / Javier Gonzalez Huerta - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2011 - 2013
Certificação de Componentes de Software: Em Busca de um Modelo de Qualidade, Processo de Certificação e Experimentos Controlados (Edital CNPq nº 09/2010 - PDI - Grande e Pequeno Porte)
Descrição: O objetivo deste projeto é investigar os principais problemas da área de qualidade de componentes de software visando aplicar os resultados na indústria. Segundo Alvaro et al. [Alvaro et al., 2010], a área de certificação de componentes não prescreve, ainda, nenhum método ou técnica bem definida e/ou processo sistemático de como avaliar a qualidade de componentes de software. Deste modo, visando suprir as reais necessidades de pesquisa e desenvolvimento da indústria e do mercado de componentes de software [Bass et al., 2000], este projeto visa a investigação e o desenvolvimento de um framework para a garantia de qualidade de componentes de software..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (7) .
Integrantes: Ivan do Carmo Machado - Integrante / Vinicius Cardoso Garcia - Integrante / Alexandre Alvaro - Integrante / Silvio Romero de Lemos Meira - Integrante / Yguaratã Cerqueira Cavalcanti - Integrante / Luanna Lopes Lobato - Integrante / Paulo Anselmo da Mota Silveira Neto - Integrante / Eduardo Santana de Almeida - Coordenador / Daniel Lucrédio - Integrante / Manoel Gomes de Mendonça Neto - Integrante / Ivonei Freitas da Silva - Integrante / Raphael Pereira de Oliveira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2012
Em Busca de um Processo para a Análise e Projeto de Linhas de Produto de Software orientada a Serviços (Edital Universal)
Descrição: O objetivo deste projeto é investigar e definir um processo para o desenvolvimento de linhas de produto de software com foco em serviços. O processo proposto irá contemplar as fases de definição de escopo, engenharia de requisitos e projeto arquitetural..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (9) / Doutorado: (8) .
Integrantes: Ivan do Carmo Machado - Integrante / Vinicius Cardoso Garcia - Integrante / Alexandre Alvaro - Integrante / Silvio Romero de Lemos Meira - Integrante / Luanna Lopes Lobato - Integrante / Eduardo Santana de Almeida - Coordenador / Daniel Lucrédio - Integrante / Ivonei Freitas da Silva - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2013
SPLSmart: Desenvolvimento de uma Linha de Produtos para Aplicações de Gestão Medica - (Edital MCT/SETEC/CNPq nº 62/2009 - RHAE Pesquisador na Empresa)
Descrição: O objetivo deste projeto é o desenvolvimento de uma linha de produtos para aplicações de gestão medica (consultório, clinica, laboratório e hospital) e posterior re-desenvolvimento dos produtos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (7) .
Integrantes: Ivan do Carmo Machado - Integrante / Vinicius Cardoso Garcia - Integrante / Silvio Romero de Lemos Meira - Integrante / Vanilson André de Arruda Burégio - Integrante / Luanna Lopes Lobato - Integrante / Eduardo Santana de Almeida - Integrante / Manoel Gomes de Mendonça Neto - Integrante / Ivonei Freitas da Silva - Integrante / André Gomes Silveira - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2013
Uma Investigação de Processos, Ferramentas e Métricas para o Desenvolvimento de Linhas de Produto de Software
Descrição: O objetivo deste projeto consiste em investigar e definir um conjunto de processos para o desenvolvimento de linhas de produto, assim como ferramental de apoio para automação de suas tarefas e estudos de caso e experimentos analisando a sua viabilidade de aplicação industrial..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (19) Doutorado: (6) .
Integrantes: Ivan do Carmo Machado - Coordenador / Vinicius Cardoso Garcia - Integrante / Silvio Romero de Lemos Meira - Integrante / Vanilson André de Arruda Burégio - Integrante / Leandro Marques do Nascimento - Integrante / Eduardo Cruz Reis Santos - Integrante / Alexandre Costa Martins - Integrante / Yguaratã Cerqueira Cavalcanti - Integrante / Ednaldo Dilorenzo de Souza Filho - Integrante / Danuza Ferreira de Santana Neiva - Integrante / Thiago Henrique Burgos de Oliveira - Integrante / Ricardo de Oliveira Cavalcanti - Integrante / Heberth Braga Gonçalves Ribeiro - Integrante / Luanna Lopes Lobato - Integrante / Marcela Balbino Santos de Moraes - Integrante / Paulo Anselmo da Mota Silveira Neto - Integrante / Hernan Julho Muñoz - Integrante / Eduardo Santana de Almeida - Integrante / Daniel Lucrédio - Integrante / Manoel Gomes de Mendonça Neto - Integrante / Vaninha Vieira dos Santos - Integrante / Ivonei Freitas da Silva - Integrante / Crescencio Rodrigues Lima Neto - Integrante / Helaine Solange Lins - Integrante / Flávio Mota Medeiros - Integrante / Iuri Santos Souza - Integrante / Jonatas Ferreira Bastos - Integrante / Leandro Oliveira de Souza - Integrante / Rafael de Lucena Falcão - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2012
Criação de um Instituto Nacional de Engenharia de Software em Pernambuco
Situação: Concluído; Natureza: Pesquisa.


Projetos de desenvolvimento


2017 - Atual
AtenaPrev.net-BI: Desenvolvimento de solução de Business Intelligence baseado em linha de produtos para analise e gestão de informações de previdência (EDITAL 008/2016 - SUBVENÇÃO ECONÔMICA - PAPPE INTEGRAÇÃO)
Descrição: O objetivo deste projeto é o desenvolvimento de uma solução de Business Intelligence (BI) voltada para o segmento de Previdência Privada. O BI de domínio específico inova no modelo de desenvolvimento da camada de ETL (Extract, Transform, Load) e na implementação de Datamarts baseados em Mapeamento de Objeto-Relacional, trazendo a visão geral dos dados de ponta-a-ponta, a partir do momento em que o dado está disponível, passando pela transformação, armazenamento, manipulação e análise..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) .
Integrantes: Ivan do Carmo Machado - Integrante / Frederico Araujo Durão - Integrante / Márcia Maria Massa Cardoso - Integrante / Maria da Graça Buarque Faria - Integrante / Rone Brito - Integrante / Vinicius Azevedo dos Santos - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
2017 - Atual
GESI: Plataforma de Gestão Estratégica de Segurança da Informação (EDITAL 008/2016 - SUBVENÇÃO ECONÔMICA - PAPPE INTEGRAÇÃO)
Descrição: Este projeto de inovação consiste no desenvolvimento da Plataforma de Gestão Estratégica de Segurança da Informação que visa minimizar o risco de prejuízo financeiro e extinção de empresas de pequeno e médio porte, responsáveis por 27% do PIB brasileiro e 52% dos empregos, em função de incidentes de segurança da informação. A experiência acumulada pela TecnoAtiva em 18 anos será capturada a partir da engenharia de software e da gestão do conhecimento e ofertada ao mercado por um preço reduzido..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Ivan do Carmo Machado - Integrante / Gustavo Bittencourt Figueiredo - Integrante / Andrea Campelo Santana Dias - Coordenador / Jucinaldo dos Santos Duarte - Integrante / Robson de Santana Borges - Integrante / Tiago Sodré - Integrante / Yuri Andrade Abdo - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.


Revisor de periódico


2013 - Atual
Periódico: The Journal of Systems and Software
2013 - 2014
Periódico: Software Quality Journal
2015 - 2015
Periódico: Journal of Parallel and Distributed Computing (Print)
2015 - Atual
Periódico: IET Software (Online)
2015 - Atual
Periódico: Information and Software Technology
2016 - Atual
Periódico: Software, Practice & Experience (Print)
2016 - Atual
Periódico: Software and Systems Modeling (Print)
2017 - Atual
Periódico: Journal of Software-Evolution and Process
2018 - Atual
Periódico: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2018 - Atual
Periódico: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
2018 - Atual
Periódico: IEEE Access


Revisor de projeto de fomento


2018 - Atual
Agência de fomento: Fundação de Amparo a Pesquisa do Estado do Amazonas


Áreas de atuação


1.
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.
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: Qualidade 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: Testes de Software.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linha de Produtos de Software.
5.
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.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2018
Professor Homenageado, Formandos 2017.2, Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação, UFBA.
2018
Most Cited Journal of Systems and Software (JSS) Articles since 2013 - Paper: "On the reliability of mapping studies in software engineering", Scopus.
2018
Outstanding reviewer. The Journal of Systems & Software, Elsevier.
2018
Entre os cinco melhores artigos do XII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), SBC.
2015
1º Lugar no Concurso de Teses e Dissertações em Qualidade de Software (CTDQS). Modalidade: Tese de Doutorado, XIV SBQS, Sociedade Brasileira de Computação (SBC).
2015
Most Cited Information and Software Technology (IST) Articles since 2010 - Paper: "A Systematic Mapping Study of Software Product Lines Testing", Scopus.
2014
Best Papers of the VAMOS Workshop 2014 - Paper: "Low-level Variability Support for Web-based Software Product", ACM.
2012
IBM Ph.D. Fellowship Award, IBM.
2011
1º Lugar no Concurso de Teses e Dissertações em Qualidade de Software (CTDQS). Modalidade: Dissertação de Mestrado, X SBQS, Sociedade Brasileira de Computação (SBC).
2007
Six Sigma White Belt, Motorola Inc..


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
CARVALHO, M. L. L.2018CARVALHO, M. L. L. ; SILVA, M. L. G. ; GOMES, G. S. S. ; SANTOS, A. R. ; MACHADO, I. C. ; SOUZA, M. L. J. ; ALMEIDA, E. S. . On the implementation of dynamic software product lines: an exploratory study. JOURNAL OF SYSTEMS AND SOFTWARE, v. 136, p. 74-100, 2018.

2.
SOARES, LARISSA ROCHA2018SOARES, LARISSA ROCHA ; SCHOBBENS, PIERRE-YVES ; do Carmo Machado, Ivan ; de Almeida, Eduardo Santana . Feature interaction in software product line engineering: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY, v. 98, p. 44-58, 2018.

3.
CAVALCANTI, Y. C.2016CAVALCANTI, Y. C. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. . Towards Semi-automated Assignment of Software Change Requests. The Journal of Systems and Software, v. 115, p. 82-101, 2016.

4.
7MACHADO, I. C.2014 MACHADO, I. C.; MCGREGOR, J. D. ; CAVALCANTI, Y. C. ; ALMEIDA, E. S. . On Strategies for Testing Software Product Lines: A Systematic Literature Review. Information and Software Technology, v. 56, p. 1183-1199, 2014.

5.
CAVALCANTI, Y. C.2014CAVALCANTI, Y. C. ; SILVEIRA N., PAULO. A. M. ; MACHADO, I. C. ; VALE, T. F. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Challenges and opportunities for software change request repositories: a systematic mapping study. J SOFTW-EVOL PROC, v. 26, p. 620-653, 2014.

6.
2SOUZA, I. S.2013SOUZA, I. S. ; GOMES, G. S. S. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Evidence of Software Inspection on Feature Specification for Software Product Lines. The Journal of Systems and Software, v. 86, p. 1172-1190, 2013.

7.
3LOBATO, LUANNA LOPES2013LOBATO, LUANNA LOPES ; BITTAR, THIAGO JABUR ; Neto, Paulo Anselmo da Mota Silveira ; MACHADO, Ivan Do Carmo ; de Almeida, Eduardo Santana ; Meira, Silvio Romero de Lemos . RISK MANAGEMENT IN SOFTWARE PRODUCT LINE ENGINEERING: A MAPPING STUDY. International Journal of Software Engineering and Knowledge Engineering, v. 23, p. 523-558, 2013.

8.
8WOHLIN, CLAES2013 WOHLIN, CLAES ; RUNESON, PER ; da Mota Silveira Neto, Paulo Anselmo ; ENGSTRÖM, EMELIE ; do Carmo Machado, Ivan ; de Almeida, Eduardo Santana . On the reliability of mapping studies in software engineering. The Journal of Systems and Software, v. 86, p. 2594-2610, 2013.

9.
4MACHADO, I. C.;MACHADO, Ivan Do Carmo;Carmo Machado, Ivan do;do Carmo Machado, Ivan;do Carmo Machado, I.;MACHADO, IVAN2012 MACHADO, I. C.; MCGREGOR, J ; ALMEIDA, E. S. . Strategies for Testing Products in Software Product Lines. Software Engineering Notes, v. 37, p. 1-8, 2012.

10.
5SILVEIRA NETO, P. A. M.2011 SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. ; MCGREGOR, J. D. . A systematic mapping study of software product lines testing. Information and Software Technology, v. 53, p. 407-423, 2011.

11.
6SILVEIRA NETO, P. A. M.2011SILVEIRA NETO, P. A. M. ; ENGSTROM, E. ; MACHADO, I. C. ; RUNESON, P. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Testing Software Product Lines. IEEE SOFTWARE, v. 28, p. 16-21, 2011.

Livros publicados/organizados ou edições
1.
MACHADO, I. C.. Software Product Line Testing Process: Towards improving SPL testing practices. 1. ed. Saarbrücken, Germany: LAP LAMBERT Academic Publishing GmbH & Co., 2011. v. 1. 176p .

Capítulos de livros publicados
1.
CAVALCANTI, Y. C. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; LOBATO, L. L. . Handling Variability and Traceability over SPL Disciplines. In: Dr Abdelrahman Elfaki. (Org.). Software Product Line - Advanced Topic. 1ed.: Intech, 2012, v. 1, p. 1-20.

Textos em jornais de notícias/revistas
1.
FIGUEIREDO, G. B. ; MACHADO, I. C. . SmartWater: Gestão inteligente de mananciais. Computação Brasil - Revista da Sociedade Brasileira de Computação, p. 36 - 39, 24 jul. 2018.

Trabalhos completos publicados em anais de congressos
1.
SANTOS, EDILTON ; MACHADO, IVAN . Towards an Architecture Model for Dynamic Software Product Lines Engineering. In: 2018 IEEE International Conference on Information Reuse and Integration for Data Science (IRI), 2018, Salt Lake City. 2018 IEEE International Conference on Information Reuse and Integration (IRI), 2018. p. 31.

2.
LIMA NETO, C. R. ; MACHADO, I. C. ; ALMEIDA, E. S. ; CHAVEZ, C. V. F. G. . Recovering the Product Line Architecture of the Apo-Games. In: 22nd International Systems and Software Product Line Conference (SPLC), 2018, Gothenburg, Sweden. 22nd International Systems and Software Product Line Conference (SPLC) - Challenge Track, 2018.

3.
LIMA NETO, C. R. ; ASSUNCAO, W. K. G. ; MARTINEZ, J. ; MENDONCA, W. ; MACHADO, I. C. ; CHAVEZ, C. V. F. G. . Towards an Automated Product Line Architecture Recovery: The Apo-Games Case Study. In: Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS), 2018, São Carlos, SP. 12th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS), 2018. v. 1. p. 1-10.

4.
SILVA, D. C. C. ; LIMA NETO, C. R. ; MACHADO, I. C. . MERCI - A Method to Evaluate Combinatorial Interaction Testing Tools for Software Product Lines. In: Simpósio Brasileiro de Qualidade de Software (SBQS), 2018, Curitiba, PR. XVII Simpósio Brasileiro de Qualidade de Software (SBQS). New York: ACM, 2018.

5.
MOURAO, B. C. C. ; SANTO, L. K. A. E. ; MACHADO, I. C. . Green and Sustainable Software Engineering - A Systematic Mapping Study. In: Simpósio Brasileiro de Qualidade de Software (SBQS), 2018, Curitiba, PR. XVII Simpósio Brasileiro de Qualidade de Software (SBQS). New York: ACM, 2018.

6.
ALVIM, L. F. M. ; MACHADO, I. C. ; ALMEIDA, E. S. . A Preliminary Assessment of Variability Implementation Mechanisms in Service-Oriented Computing. In: International Conference on Software Reuse (ICSR), 2017, Salvador, BA. The 16th International Conference on Software Reuse (ICSR), 2017.

7.
UCHOA, A. G. ; BEZERRA, C. I. M. ; MACHADO, I. C. ; MONTEIRO, J. M. S. ; ANDRADE, R. M. C. . ReMINDER: An AppRoach to Modeling Non-FunctIoNal Properties in Dynamic SoftwarE PRoduct Lines. In: International Conference on Software Reuse (ICSR), 2017, Salvador, BA. The 16th International Conference on Software Reuse (ICSR), 2017.

8.
CARDOSO, M. P. S. ; LIMA NETO, C. R. ; CHAVEZ, C. V. F. G. ; MACHADO, I. C. . PLAR Tool ? A Sofware Product Line Architecture Recovery Tool. In: VII Congresso Brasileiro de Software - Sessão de Ferramentas, 2017, Fortaleza, CE. VIII Congresso Brasileiro de Software (CBSOFT), 2017.

9.
SILVA, D. C. C. ; CARDOSO, M. P. S. ; MACHADO, I. C. . Testing Tools for Software Product Lines: A Comparative Analysis. In: VII Workshop de Teses e Dissertações do CBSoft (WTDSoft), 2017, Fortaleza. VIII Congresso Brasileiro de Software (CBSOFT), 2017.

10.
SANTOS, A. R. ; MACHADO, I. C. ; ALMEIDA, E. S. . Aspects Influencing Feature-Oriented Software Comprehesion. In: XI Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2017, Fortaleza, CE, Brasil. XI Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2017.

11.
CARDOSO, M. P. S. ; LIMA NETO, C. R. ; ALMEIDA, E. S. ; CHAVEZ, C. V. F. G. ; MACHADO, I. C. . Investigating the Variability Impact on the Recovery of Software Product Line Architectures. In: XI Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2017, Fortaleza, CE, Brasil. XI Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2017.

12.
PEREIRA, V. M. V. ; MACHADO, I. C. . FERRET: An open-source library to extract data from web news pages. In: 15º Workshop de Trabalhos de Iniciação Científica e Graduação (WTICGBASE), 2017, Cruz das Almas, BA, Brasil. XVII Escola Regional de Computação Bahia-Alagoas-Sergipe (ERBASE), 2017.

13.
SOUZA, MAGNO LUA DE JESUS ; SANTOS, ALCEMIR RODRIGUES ; MACHADO, Ivan Do Carmo ; Almeida, Eduardo Santana de ; GOMES, GECYNALDA SOARES DA SILVA . Evaluating Variability Modeling Techniques for Dynamic Software Product Lines: A Controlled Experiment. In: 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2016, Maringá. 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). p. 1.

14.
CARVALHO, MICHELLE LARISSA LUCIANO ; GOMES, GECYNALDA SOARES DA SILVA ; SILVA, MATHEUS LESSA GONCALVES DA ; MACHADO, Ivan Do Carmo ; Almeida, Eduardo Santana de . On the Implementation of Dynamic Software Product Lines: A Preliminary Study. In: 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2016, Maringá. 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). p. 21.

15.
SANTOS, A. R. ; MACHADO, I. C. ; ALMEIDA, E. S. . RiPLE-HC: Javascript Systems meets SPL Composition. In: International Systems and Software Product Line Conference (SPLC), 2016, Beijing, China. Proceedings of the 20th International Systems and Software Product Line Conference. New York: ACM Press, 2016. p. 154-163.

16.
SOARES, LARISSA ROCHA ; do Carmo Machado, Ivan ; de Almeida, Eduardo Santana . Non-Functional Properties in Software Product Lines. In: the Ninth International Workshop, 2015, Hildesheim. Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '15. New York: ACM Press. p. 67-74.

17.
MACHADO, I. C.; ALMEIDA, E. S. . Fault model-based Variability Testing. In: Concurso de Teses e Dissertações em Qualidade de Software (CTDQS), 2015, Manaus, AM. XIV Simpósio Brasileiro de Qualidade de Software (SBQS), 2015. p. 278-292.

18.
MACHADO, I. C.; SANTOS, A. R. ; CAVALCANTI, Y. C. ; TRZAN, E. G. ; SOUZA, M. M. ; ALMEIDA, E. S. . Low-level Variability Support for Web-based Software Product Lines. In: International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), 2014, Nice, France. The Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014. p. 15-22.

19.
SOARES, LARISSA ROCHA ; POTENA, PASQUALINA ; MACHADO, Ivan Do Carmo ; CRNKOVIC, IVICA ; Almeida, Eduardo Santana de . Analysis of Non-functional Properties in Software Product Lines: A Systematic Review. In: 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2014, Verona. 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications. p. 328-335.

20.
CAVALCANTI, Y. C. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Combining Rule-based and Information Retrieval Techniques to assign Software Change Requests. In: International Conference on Automated Software Engineering (ASE), 2014, Västerås, Suécia. 29th IEEE/ACM International Conference on Automated Software Engineering (ASE). New York, NY, USA: ACM, 2014. p. 325-330.

21.
VALE, TASSIO ; CABRAL, BRUNO ; ALVIM, LORENO ; SOARES, LARISSA ; SANTOS, ALCEMIR ; MACHADO, IVAN ; SOUZA, IURI ; FREITAS, IVONEI ; ALMEIDA, EDUARDO . SPLICE: A Lightweight Software Product Line Development Process for Small and Medium Size Projects. In: 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2014, Maceio. 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse. p. 42-52.

22.
CAVALCANTI, Y. C. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Towards Understanding Software Change Request Assignment: A survey with practitioners. In: International Conference on Evaluation and Assessment in Software Engineering (EASE), 2013, Porto de Galinhas, PE, Brasil. 17th International Conference on Evaluation and Assessment in Software Engineering. New York, NY, USA: ACM, 2013. p. 195-206.

23.
LIMA NETO, C. R. ; MACHADO, I. C. ; ALMEIDA, E. S. . Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering. In: 25th International Conference on Software Engineering and Knowledge Engineering, 2013, Boston, MA, USA. 25th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2013.

24.
LOBATO, L. L. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; BITTAR, T. J. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Risk Management on Software Product Lines: An Expert Opinion Survey. In: XII Simpósio Brasileiro de Qualidade de Software (SBQS), 2013, Salvador. XII Simpósio Brasileiro de Qualidade de Software, 2013.

25.
MARIANO, C. A. V. ; LOBATO, L. L. ; MACHADO, I. C. . Em direção a uma ferramenta de suporte a revisão sistemática de literatura. In: Encontro Anual de Computação (EnAComp), 2013, Catalão, GO, Brasil. X Encontro Anual de Computação, 2013. v. 1. p. 137-144.

26.
MACHADO, I. C.; ALMEIDA, E. S. ; GOMES, G. S. S. ; SILVEIRA NETO, P. A. M. ; NOVAIS, R. L. ; MENDONCA NETO, M. G. . A preliminary study on the effects of working with a testing process in software product line projects. In: IX Experimental Software Engineering Latin American Workshop (ESELAW), 2012, Buenos Aires, Argentina. IX Experimental Software Engineering Latin American Workshop (ESELAW), 2012.

27.
LOBATO, L. L. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Risk Management in Software Product Lines: An Industrial Case Study. In: International Conference on Software and System Process (ICSSP), 2012, Zurich, Switzerland. International Conference on Software and System Process (ICSSP), 2012. p. 180-189.

28.
LOBATO, L. L. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Synthesizing Evidence on Risk Management: A Narrative Synthesis of Two Scoping Studies. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2012, Redwood City, CA, USA. 24th International Conference on Software Engineering and Knowledge Engineering. Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2012. p. 641-646.

29.
MACHADO, I. C.; MCGREGOR, J. D. ; ALMEIDA, E. S. . Strategies for Testing Products in Software Product Lines. In: 9th International Workshop on Software Quality (WoSQ), 2012, Cary, North Carolina, USA. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2012.

30.
MACHADO, I. C.; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. . Towards an integration testing approach for software product lines. In: 2012 IEEE 13th International Conference on Information Reuse & Integration (IRI), 2012, Las Vegas, USA. 2012 IEEE 13th International Conference on Information Reuse & Integration (IRI), 2012. p. 616-623.

31.
LOBATO, L. L. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Risk management in software engineering: a scoping study. In: International Conference on Evaluation and Assessment in Software Engineering (EASE), 2012, Ciudad Real. 16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), 2012. p. 243-252.

32.
SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; CAVALCANTI, Y. C. ; ALMEIDA, E. S. ; GARCIA, V. C. ; MEIRA, S. R. L. . An experimental study to evaluate a SPL architecture regression testing approach. In: IEEE 13th International Conference on Information Reuse & Integration (IRI), 2012, Las Vegas. IEEE 13th International Conference on Information Reuse & Integration, 2012. p. 608-615.

33.
LOBATO, L. L. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Evidence from Risk Management in Software Product Lines development: A Cross-Case Analysis. In: 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2012, Natal. 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse, 2012. p. 11-20.

34.
LOBATO, L. L. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . On the investigation of Risk Management Practices in Software Product Lines. In: Simpósio Brasileiro de Qualidade de Software (SBQS), 2012, Fortaleza, CE, Brasil. XI Simpósio Brasileiro de Qualidade de Software (SBQS), 2012.

35.
CAVALCANTI, Y. C. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; LOBATO, L. L. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Towards Metamodel Support for Variability and Traceability in Software Product Lines. In: Fifth International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS), 2011, Namur, Belgica. Proceedings of the Fifth International Workshop on Variability Modeling of Software-Intensive Systems. New York, USA: ACM Press, 2011. v. 1. p. 49-57.

36.
LIMA NETO, C. R. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Software Product Lines System Test Case Tool: A Proposal. In: International Conference on Software Engineering and Knowledge Engineering, 2011, Miami, FL, USA. Twenty-Third International Conference on Software Engineering and Knowledge Engineering (SEKE). Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2011. v. 1. p. 699-704.

37.
MACHADO, I. C.; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . RiPLE-TE: A Process for Testing Software Product Lines. In: International Conference on Software Engineering and Knowledge Engineering, 2011, Miami, FL, USA. Twenty-Third International Conference on Software Engineering and Knowledge Engineering (SEKE). Skokie, IL, USA: Knowledge Systems Institute Graduate School, 2011. v. 1. p. 711-716.

38.
MACHADO, I. C.; ALMEIDA, E. S. ; MEIRA, S. R. L. . RiPLE-TE: A Software Product Lines Testing Process. In: Concurso de Teses e Dissertações em Qualidade de Software (CTDQS), 2011, Curitiba-PR. Concurso de Teses e Dissertações em Qualidade de Software (CTDQS) - X Simpósio Brasileiro de Qualidade de Software (SBQS), 2011.

39.
ALMEIDA, E. S. ; MACHADO, I. C. ; SILVA, C. V. A. ; GOMES, G. S. S. . Teaching Software Engineering Fundamentals in an Introductory Computer Programming Course. In: IV Fórum de Educação em Engenharia de Software (FEES), 2011, São Paulo. XXV Simpósio Brasileiro de Engenharia de Software (SBES), 2011.

40.
NOVAIS, R. L. ; MENDONCA NETO, M. G. ; MARON, D. ; MACHADO, I. C. ; LIMA, C. A. N. . On the use of a multiple-visualization approach to manage software bugs. In: I Workshop Brasileiro de Visualização de Software (WBVS), 2011, São Paulo. II Congresso Brasileiro de Software: Teoria e Prática (CBSoft), 2011.

41.
SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; CAVALCANTI, Y. C. ; GARCIA, V. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . A Regression Testing Approach for Software Product Lines Architectures. In: Simpósio Brasileiro de Arquitetura, Componentes e Reutilização de Software (SBCARS), 2010, Salvador. Congresso Brasileiro de Software: Teoria e Prática, 2010.

42.
CAVALCANTI, Y. C. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Evaluating a Tool for Bug-report Analysis and Search. In: VII Experimental Software Engineering Latin America Workshop (ESELAW), 2010, Goiânia, GO. VII Experimental Software Engineering Latin America Workshop (ESELAW), 2010.

Resumos expandidos publicados em anais de congressos
1.
SANTOS, A. R. ; MACHADO, I. C. ; ALMEIDA, E. S. . RiPLE-HC: Views on the Features Scattering and Interactions. In: 20th International Systems and Software Product Line Conference (SPLC) - Tools, Data, and Demonstrations track, 2016, Beijing, China. Proceedings of the 20th International Systems and Software Product Line Conference (SPLC), 2016.

2.
LOBATO, L. L. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. . A study on risk management for software engineering. In: 16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), 2012, Ciudad Real. 16th International Conference on Evaluation & Assessment in Software Engineering (EASE 2012), 2012. v. 1. p. 47-51.

3.
MACHADO, I. C.. Towards a reasoning framework for software product line testing. In: 16th International Software Product Line Conference (SPLC), 2012, Salvador. Proceedings of the 16th International Software Product Line Conference (SPLC'12). New York: ACM Press, 2012. v. 2. p. 229-232.

Resumos publicados em anais de congressos
1.
MACHADO, I. C.; ALMEIDA, E. S. . Fault Model-Based Variability Testing. In: Escola Latino Americana de Engenharia de Software (ELA-ES), 2013, Rio de Janeiro. Primeira Escola Latino Americana de Engenharia de Software: Fundamentos e Estado da Arte. Rio de Janeiro: PUC-RJ, 2013. v. II. p. 11-11.

2.
SOUZA, I. S. ; GOMES, G. S. S. ; MACHADO, I. C. ; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. ; MEIRA, S. R. L. . Evidence of Software Inspection on Requirement Specification for Software Product Lines. In: Escola Latino Americana de Engenharia de Software (ELA-ES), 2013, Rio de Janeiro. Primeira Escola Latino Americana de Engenharia de Software: Fundamentos e Estado da Arte. Rio de Janeiro: PUC-RJ, 2013. v. II. p. 10-10.

Artigos aceitos para publicação
1.
SANTOS, A. R. ; MACHADO, I. C. ; ALMEIDA, E. S. ; SIEGMUND, J. ; APEL, S. . Comparing the influence of using feature-oriented programming and conditional compilation on comprehending feature-oriented software. EMPIRICAL SOFTWARE ENGINEERING (DORDRECHT. ONLINE), 2018.

Apresentações de Trabalho
1.
MACHADO, I. C.. Pesquisar engenharia de software na indústria é possível?. 2015. (Apresentação de Trabalho/Conferência ou palestra).

2.
MACHADO, I. C.. Low-level Variability Support for Web-based Software Product Lines. 2014. (Apresentação de Trabalho/Congresso).

3.
MACHADO, I. C.. FOSD - Desenvolvimento de Software Orientado a Features (Palestra SEMCOMP-UFBA). 2014. (Apresentação de Trabalho/Conferência ou palestra).

4.
MACHADO, I. C.. Universidade além da sala de aula: estimulando a pesquisa científica (Palestra ENACOMP). 2013. (Apresentação de Trabalho/Conferência ou palestra).

5.
MACHADO, I. C.. Linhas de Produtos de Software: Conceitos e Aplicações (Palestra SIMCIT UNIFACS). 2013. (Apresentação de Trabalho/Conferência ou palestra).

6.
MACHADO, I. C.. Towards Metamodel Support for Variability and Traceability in Software Product Lines. 2011. (Apresentação de Trabalho/Congresso).

7.
MACHADO, I. C.. An Agile Scoping Process for Software Product Lines. 2011. (Apresentação de Trabalho/Congresso).

8.
MACHADO, I. C.. RiPLE-TE: A Process for Testing Software Product Lines. 2011. (Apresentação de Trabalho/Congresso).

9.
MACHADO, I. C.. Software Product Lines System Test Case Tool: A Proposal. 2011. (Apresentação de Trabalho/Congresso).

10.
MACHADO, I. C.. Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process. 2010. (Apresentação de Trabalho/Congresso).

11.
MACHADO, I. C.. A Visual Bug Report Analysis and Search Tool. 2010. (Apresentação de Trabalho/Congresso).

12.
MACHADO, I. C.. Evaluating a Tool for Bug-report Analysis and Search. 2010. (Apresentação de Trabalho/Congresso).


Produção técnica
Assessoria e consultoria
1.
MACHADO, I. C.. Parecer Ad Hoc. Programa Institucional de Bolsas de Iniciação Científica - Edital PROPCI/UFBA 01/2018 PIBIC. 2018.

2.
MACHADO, I. C.. Parecer Ad Hoc. Programa Institucional de Bolsas de Iniciação Científica e Tecnológica da Universidade Federal de Roraima - UFRR. 2018.

3.
MACHADO, I. C.. Parecer Ad Hoc. Programa Institucional de Bolsas de Iniciação Científica - Edital PROPCI/UFBA 01/2017 PIBIC. 2017.

4.
MACHADO, I. C.. Parecer Ad Hoc. Seleção de Projetos de Iniciação Científica e Tecnológica. Edital nº 01/2017 PIBIC - IFBA/FAPESB/CNPq. 2017.

5.
MACHADO, I. C.. Parecer Ad Hoc. Programa Institucional de Bolsas de Iniciação ao Desenvolvimento Tecnológico (PIBITI) do Instituto Federal de Educação, Ciência e Tecnologia da Bahia (IFBA). Edital nº 04/2017 - PRPGI-IFBA/CNPq. 2017.

6.
MACHADO, I. C.. Parecer Ad Hoc. Programa Institucional de Bolsas de Iniciação Científica - Edital PROPCI/UFBA 01/2016 PIBIC. 2016.

7.
MACHADO, I. C.. Parecer Ad Hoc. Programa Institucional de Bolsas de Iniciação à Pesquisa, Criação e Inovação - Edital 08/2015 PIBIPCI/UFSB. 2015.

8.
MACHADO, I. C.. Parecer Ad Hoc. Membro do Comitê Externo para avaliação do Programa de Estímulo a Inovação Tecnológica do IFBaiano - Edital PROPES Nº 05/2015. 2015.

9.
MACHADO, I. C.. Parecer Ad Hoc. Membro do Comitê Externo para avaliação do Programa Institucional de Bolsas de Iniciação Científica (PIBIC) do IFBA. 2011.

Programas de computador sem registro
1.
ALMEIDA, L. G. ; BISPO, N. L. ; MACHADO, I. C. ; LIMA, E. M. C. X. . APPrótese - Um APP de apoio ao ensino de Prótese Fixa. 2018.

2.
PEREIRA, V. M. V. ; MACHADO, I. C. . FERRET: An open-source library to extract data from web news pages. 2017.

3.
BISPO, B. V. G. ; MACHADO, I. C. . FastTrack: Ferramenta Colaborativa de Auxílio a Aprendizagem de Tecnologias de Des. Software. 2017.

Processos ou técnicas
1.
MACHADO, I. C.. RiPLE-TE: A Software Product Lines Testing Process. 2010.

Trabalhos técnicos
1.
MACHADO, I. C.. Membro do Comitê de Programa. XXI Ibero-American Conference on Software Engineering (CIbSE). 2018.

2.
MACHADO, I. C.. Membro do Comitê de Programa. The 33rd ACM/SIGAPP Symposium on Applied Computing (SAC), Variability and Software Product Line Engineering Track. 2018.

3.
MACHADO, I. C.. Membro do Comitê de Programa. The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE). 2018.

4.
MACHADO, I. C.. Membro do Comitê de Programa. 15th International Conference on Information Technology : New Generations (ITNG), Software Engineering Track. 2018.

5.
MACHADO, I. C.. Membro do Comitê de Programa. XII Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS). 2018.

6.
MACHADO, I. C.. Membro do Comitê de Programa. III Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software (CSBC 2018 - 3º WASHES). 2018.

7.
MACHADO, I. C.. Membro do Comitê de Programa. Workshop de Iniciação Científica em Sistemas de Informação (SBSI 2018 - WICSI). 2018.

8.
MACHADO, I. C.. Membro do Comitê de Programa. Multidisciplinary International Conference of Research Applied to Defense and Security (MICRADS). 2018.

9.
MACHADO, I. C.. Membro de Comitê de Programa. 22nd International Systems and Software Product Line Conference (SPLC) - Research Artifacts. 2018.

10.
MACHADO, I. C.. Membro do Comitê de Programa. The IEEE 6th International Conference on Future Internet of Things and Cloud (FiCloud). 2018.

11.
MACHADO, I. C.. Membro do Comitê de Programa. International Workshop on Information and Knowledge in the Internet of Things (IKIT). 2018.

12.
MACHADO, I. C.. Membro do Comitê de Programa. Third International Workshop on Software Product Line Teaching (SPLTea). 2018.

13.
MACHADO, I. C.. Membro de Comitê de Programa. The Thirteenth International Conference on Software Engineering Advances (ICSEA). 2018.

14.
MACHADO, I. C.. Membro do Comitê de Programa. 3rd Brazilian Symposium on Systematic and Automated Software Testing (SAST). 2018.

15.
MACHADO, I. C.. Membro do Comitê de Programa. 16º Workshop de Educação e Informática Bahia-Alagoas-Sergipe (WEIBASE). 2018.

16.
MACHADO, I. C.. Membro do Comitê de Programa. 16º WTICG-BASE- Workshop de Trabalhos de Iniciação Científica e de Graduação (ERBASE). 2018.

17.
MACHADO, I. C.. Membro de Comitê de Programa. XVII Simpósio Brasileiro de Qualidade de Software (SBQS) - Trilha de Trabalhos Técnicos. 2018.

18.
MACHADO, I. C.. Membro de Comitê de Programa. Workshop de Trabalhos de Pós-Graduação (WPOS/ERBASE). 2018.

19.
MACHADO, I. C.. Membro de Comitê de Programa. XVII Simpósio Brasileiro de Qualidade de Software (SBQS) - Trilha de Educação em Qualidade de Software. 2018.

20.
MACHADO, I. C.. Membro do Comitê de Programa. VI Workshop on Software Visualization, Evolution and Maintenance (VEM). 2018.

21.
MACHADO, I. C.. Membro do Comitê de Programa. Intelligent Systems and Technologies for Interactive Human-Machine Relationships (ISTIHMR). 2018.

22.
MACHADO, I. C.. Revisor de Artigos. Capítulos do Springer Handbook: Re-engineering Software Intensive Systems into Software Product Lines. 2018.

23.
MACHADO, I. C.. Membro do Comitê de Programa. 11th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 2017.

24.
MACHADO, I. C.. Membro do Comitê de Programa. Conferencia Iberoamerica de 'Software Engineering' (CIbSE). 2017.

25.
MACHADO, I. C.. Membro do Comitê de Programa. The 29th International Conference on Software Engineering & Knowledge Engineering (SEKE). 2017.

26.
MACHADO, I. C.. Membro do Comitê de Programa. Workshop de Iniciação Científica em Sistemas de Informação (SBSI 2017 - WICSI). 2017.

27.
MACHADO, I. C.. Membro do Comitê de Programa. 11th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS). 2017.

28.
MACHADO, I. C.. Membro do Comitê de Programa. The Twelfth International Conference on Software Engineering Advances (ICSEA). 2017.

29.
MACHADO, I. C.. Membro do Comitê de Programa. 2nd Workshop on Social, Human, and Economic Aspects of Software (WASHES). 2017.

30.
MACHADO, I. C.. Membro do Comitê Científico. XIII Enacomp - Encontro Anual de Computação da UFG. 2017.

31.
MACHADO, I. C.. Membro do Comitê de Programa. 15º Workshop de Educação e Informática Bahia-Alagoas-Sergipe (WEIBASE). 2017.

32.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de Iniciação Científica e de Graduação (ERBASE). 2017.

33.
MACHADO, I. C.. Membro do Comitê de Programa. The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE). 2016.

34.
MACHADO, I. C.. Membro do Comitê de Programa. XXX Simpósio Brasileiro de Engenharia de Software (SBES). 2016.

35.
MACHADO, I. C.. Membro do Comitê de Programa. The Eleventh International Conference on Software Engineering Advances (ICSEA). 2016.

36.
MACHADO, I. C.. Revisor de Artigos. 19º Workshop em Engenharia de Software Experimental (ESELAW). 2016.

37.
MACHADO, I. C.. Revisor de Artigos. 15th International Conference on Software Reuse (ICSR). 2016.

38.
MACHADO, I. C.. Membro do Comitê de Programa. 14º Workshop de Educação e Informática Bahia-Alagoas-Sergipe (WEIBASE). 2016.

39.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de IC e de Graduação (ERBASE). 2016.

40.
MACHADO, I. C.. Revisor de Artigos. 29º CTD - Concurso de Teses e Dissertações - Congresso da Sociedade Brasileira de Computação. 2016.

41.
MACHADO, I. C.. Revisor de Artigos. The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE). 2016.

42.
MACHADO, I. C.. Membro do Comitê de Programa. 10th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS). 2016.

43.
MACHADO, I. C.. Revisor de Artigos. 20th International Systems and Software Product Line Conference (SPLC). 2016.

44.
MACHADO, I. C.. Revisor de Artigos. 9th Workshop on Variability Modelling of Software Intensive-Systems (VaMoS). 2015.

45.
MACHADO, I. C.. Membro do Comitê de Programa. 9º Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS). 2015.

46.
MACHADO, I. C.. Membro do Comitê de Programa. 13º Workshop de Educação e Informática Bahia-Alagoas-Sergipe (WEIBASE). 2015.

47.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de IC e de Graduação (ERBASE). 2015.

48.
MACHADO, I. C.. Membro do Comitê de Programa. The 27th International Conference on Software Engineering and Knowledge Engineering (SEKE). 2015.

49.
MACHADO, I. C.. Revisor de Artigos. 19th International Software Product Line Conference (SPLC). 2015.

50.
MACHADO, I. C.. Revisor de Artigos. 29º Simpósio Brasileiro de Engenharia de Software (SBES). 2015.

51.
MACHADO, I. C.. Membro do Comitê de Programa. Tenth International Conference on Software Engineering Advances (ICSEA). 2015.

52.
MACHADO, I. C.. Membro do Comitê Científico. XII Enacomp - Encontro Anual de Computação - UFG. 2015.

53.
MACHADO, I. C.. Revisor de Artigos. 8th Workshop on Variability Modelling of Software Intensive-Systems (VaMoS). 2014.

54.
MACHADO, I. C.. Membro do Comitê Científico. XI Enacomp - Encontro Anual de Computação - UFG. 2014.

55.
MACHADO, I. C.. Membro do Comitê de Programa. XII WEIBASE - Workshop de Educação e Informática Bahia-Alagoas-Sergipe. 2014.

56.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de IC e de Graduação (ERBASE). 2014.

57.
MACHADO, I. C.. Revisor de Artigos. 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE). 2014.

58.
MACHADO, I. C.. Revisor de Artigos. 18th International Software Product Line Conference (SPLC). 2014.

59.
MACHADO, I. C.. Revisor de Artigos. 7th Workshop on Variability Modelling of Software Intensive-Systems (VaMoS). 2013.

60.
MACHADO, I. C.. Membro do Comitê Científico. X Enacomp - Encontro Anual de Computação - UFG. 2013.

61.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de IC e de Graduação (ERBASE). 2013.

62.
MACHADO, I. C.. Membro do Comitê de Programa. XI WEIBASE - Workshop de Educação e Informática Bahia-Alagoas-Sergipe. 2013.

63.
MACHADO, I. C.. Revisor de Artigos. 13th International Conference on Software Reuse (ICSR). 2013.

64.
MACHADO, I. C.. Revisor de Artigos. 17th International Software Product Line Conference (SPLC). 2013.

65.
MACHADO, I. C.. Revisor de Artigos. IV Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas. 2013.

66.
MACHADO, I. C.. Revisor de Artigos. 7th International Symposium on Empirical Software Engineering and Measurement (ESEM). 2013.

67.
MACHADO, I. C.. Revisor de Artigos. 7th Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). 2013.

68.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de IC e de Graduação (ERBASE). 2012.

69.
MACHADO, I. C.. Membro do Comitê de Programa. X WEIBASE - Workshop de Educação e Informática Bahia-Alagoas-Sergipe. 2012.

70.
MACHADO, I. C.. Revisor de Artigos. 6th Workshop on Variability Modelling of Software Intensive-Systems (VaMoS). 2012.

71.
MACHADO, I. C.. Membro do Comitê de Programa. 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE). 2012.

72.
MACHADO, I. C.. Revisor de Artigos. 3rd International Workshop on Product LinE Approaches in Software Engineering (PLEASE). 2012.

73.
MACHADO, I. C.. Membro do Comitê de Programa. WTICG-BASE- Workshop de Trabalhos de IC e de Graduação (ERBASE). 2011.

74.
MACHADO, I. C.. Membro do Comitê de Programa. IX Workshop de Educação e Informática Bahia-Alagoas-Sergipe (IX WEIBASE). 2011.

75.
MACHADO, I. C.. Membro do Comitê Científico. VIII Enacomp - Encontro Anual de Computação - UFG. 2010.


Demais tipos de produção técnica
1.
MACHADO, I. C.. Desenvolvimento de software orientado a features (Minicurso ENACOMP). 2015. (Curso de curta duração ministrado/Outra).

2.
MACHADO, I. C.. Introdução ao Teste de Software (Laboratório ERBASE). 2014. (Curso de curta duração ministrado/Outra).

3.
MACHADO, I. C.. Desenvolvimento orientado a Linhas de Produtos de Software (Minicurso ENACOMP). 2013. (Curso de curta duração ministrado/Outra).

4.
MACHADO, I. C.. Desenvolvendo Produtos com SCRUM. 2010. (Curso de curta duração ministrado/Outra).

5.
MACHADO, I. C.; NASCIMENTO, M. L. F. . HACA09: Curso de Graduação em Ciencia & Tecnologia I. 2010. (Desenvolvimento de material didático ou instrucional - MaterialDidático).

6.
MACHADO, I. C.; SILVEIRA NETO, P. A. M. ; ALMEIDA, E. S. . RiPLE: The RiSE Process for Product Line Engineering (Minicurso SBCARS). 2009. (Curso de curta duração ministrado/Outra).

7.
MACHADO, I. C.; GUIMARAES, N. A. D. . Inglês Instrumental aplicado a Informática. 2009. (Desenvolvimento de material didático ou instrucional - Material Didático).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MENDONCA NETO, M. G.; MACHADO, I. C.; CARNEIRO, G. F.. Participação em banca de Felipe Gustavo de Souza Gomes. Uma infraestrutura computacional para identificação e monitoramento de dívida técnica. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

2.
PRAZERES, C. V. S.; MACHADO, I. C.; SANTOS, C. A. S.. Participação em banca de Nilson Rodrigues Sousa. M2-FORT: uma proposta para monitoramento e gerenciamento de plataformas da névoa das coisas. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

3.
MACHADO, I. C.; PRAZERES, C. V. S.; OLIVEIRA JUNIOR, E. A.. Participação em banca de Edilton Lima dos Santos. SHE: An automated support for Dynamic Software Product Lines Engineering. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

4.
MACHADO, I. C.; ASSUNCAO, W. K. G.; SOUZA, R. R. G. E.. Participação em banca de Denivan do Carmo Campos da Silva. Combinatorial Interaction Testing Tools for Software Product Lines Engineering: A Comparative Analysis. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

5.
SOUZA, R. R. G. E.; ANDRADE, S. S.; MACHADO, I. C.. Participação em banca de Daniel Luis Moreira Timponi. Caracterização do desenvolvimento de bibliotecas de jogos multiplataforma. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

6.
LIMA, T. L.; CARNEIRO, R. A. F.; MACHADO, I. C.. Participação em banca de Robson do Espírito Santo Bispo. Viabilidade de produção de biogás no semiárido baiano: o uso do aplicativo computacional CH4MOBILE. 2017. Dissertação (Mestrado em Tecnologias Aplicáveis a Bioenergia) - Faculdade de Tecnologia e Ciências da Bahia.

7.
CHAVEZ, C. V. F. G.; NAGAKAWA, E. Y.; BITTENCOURT, R. A.; MACHADO, I. C.. Participação em banca de Mateus Passos Soares Cardoso. PLAR - Uma Técnica para Recuperação de Arquitetura de Linhas de Produto de Software. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

8.
MENDONCA NETO, M. G.; MACHADO, I. C.; FABBRI, S. C. P. F.. Participação em banca de Mirella dos Anjos Sena. Usando mapeamentos sistemáticos para a análise de grupos de pesquisa em engenharia de software. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

9.
SANTANNA, C. N.; MACHADO, I. C.; CARNEIRO, G. F.. Participação em banca de Thiago Vinícius Lima Cunha. Estudo da relação entre co-change clusters e interesses em sistemas open source. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

10.
SANTOS, V. V.; MACHADO, I. C.; KRONBAUER, A. H.. Participação em banca de André Luís Monteiro Pacheco dos Santos. CEManTIKA Test Creator: Um Método de Geração de Casos de Teste para Aplicativos Móveis Sensíveis ao Contexto Baseado em Modelos e Padrões de Defeitos. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.

Teses de doutorado
1.
MENDONCA NETO, M. G.; MACHADO, I. C.; SOUZA, R. R. G. E.; BARROS, M. O.; KALINOWSKI, M.. Participação em banca de Mário André de Freitas Farias. Identifying Technical Debt through Code Comment Analysis. 2017. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

Qualificações de Doutorado
1.
ALMEIDA, E. S.; GHEYI, R.; SPINOLA, R. O.; SANTANNA, C. N.; MACHADO, I. C.. Participação em banca de Alcemir Rodrigues Santos. Feature-Oriented Development: A JavaScript-based Approach and Evidence on Program Comprehension. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal da Bahia.

Qualificações de Mestrado
1.
ALMEIDA, E. S.; MACHADO, I. C.; SOUZA, R. R. G. E.. Participação em banca de Matheus Lessa Gonçalves da Silva. Analyzing the co-evolution between the system and its test code: an exploratory study on linux kernel. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

2.
MENDONCA NETO, M. G.; SPINOLA, R. O.; MACHADO, I. C.. Participação em banca de Felipe Gustavo de Souza Gomes. Uma infraestrutura computacional para identificação automática e monitoramento interativo de dívida técnica. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

3.
MACHADO, I. C.; REHEM NETO, A. N.; PETRUCCI, V. T.. Participação em banca de Leila Karita dos Anjos do Espírito Santo. Ontogreen - Uma proposa de ontologia de domínio para engenharia de software verde e sustentável. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

4.
MACHADO, I. C.; SANTANNA, C. N.; SOUZA, R. R. G. E.. Participação em banca de Brunna Caroline do Carmo Mourão. Modelo de avaliação da eficiência energética de aplicativos para dispositivos móveis. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

5.
MACHADO, I. C.; KRONBAUER, A. H.; CHAVEZ, C. V. F. G.. Participação em banca de Caiza Almeida Fortunato. A software architecture assessment method for self-adaptive systems. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

6.
CHAVEZ, C. V. F. G.; SANTANNA, C. N.; MACHADO, I. C.. Participação em banca de Victor Hugo Carvalho Alves. Monitoramento automatizado do aluno em projetos de código aberto. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

7.
RIOS, R. A.; RIOS, T. N.; SANTANNA, C. N.; MACHADO, I. C.. Participação em banca de João Alberto Castelo Branco Oliveira. Extração de padrões em repositórios de software para a criação de uma nova métrica de software: um estudo de caso no linux test project. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

8.
SOUZA, R. R. G. E.; CHAVEZ, C. V. F. G.; MACHADO, I. C.. Participação em banca de Daniel Luis Moreira Timponi. Caracterização do desenvolvimento de bibliotecas multiplataforma. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

9.
MACHADO, I. C.; ALMEIDA, E. S.; PRAZERES, C. V. S.. Participação em banca de Edilton Lima dos Santos. Towards context-aware highly configurable systems. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

10.
MACHADO, I. C.; CHAVEZ, C. V. F. G.; SOUZA, R. R. G. E.. Participação em banca de Denivan do Carmo Campos da Silva. Testing Tools for Software Product Lines: A Comparative Analysis. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

11.
SOUZA, R. R. G. E.; SANTANNA, C. N.; MACHADO, I. C.. Participação em banca de Juvenal Constantino de Macêdo Junior. Investigando a associação entre rajadas de mudança e o status da build. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

12.
MACIEL, R. S. P.; MATOS, E. S.; MACHADO, I. C.. Participação em banca de Neyla Teixeira Fontan. MOOC como um software colaborativo: um estudo exploratório dos requisitos para suporte à abordagem conectivista. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

13.
ALMEIDA, E. S.; MACHADO, I. C.; SPINOLA, R. O.. Participação em banca de Alexandre Marcos Costa Gitirana. Revisiting the Bug Report Duplication Problem. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

14.
CHAVEZ, C. V. F. G.; SANTANNA, C.; MACHADO, I. C.. Participação em banca de Joenio Marques da Costa. Caracterização da complexidade estrutural em ferramentas de análise estática de código-fonte. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

15.
SANTANNA, C. N.; MACHADO, I. C.; SOUZA, R. R. G. E.. Participação em banca de Thiago Vinícius Lima Cunha. A correlação entre co-change clusters e interesses em projetos open-source. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

16.
CHAVEZ, C. V. F. G.; MACHADO, I. C.; DURAO, F. A.. Participação em banca de Mateus Passos Soares Cardoso. Uma abordagem para adaptação de técnicas de recuperação de arquitetura para o contexto de linhas de produtos de software. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

17.
CHAVEZ, C. V. F. G.; MACHADO, I. C.; SOUZA, R. R. G. E.; TERCEIRO, A. S. A.. Participação em banca de Daniela Feitosa. Caracterização da Evolução de Projeto de Software Livre por meio da análise da variação dos valores de métricas de código-fonte. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal da Bahia.

Monografias de cursos de aperfeiçoamento/especialização
1.
NOBLAT, A. C. B.; MOURA, P. A.; MACHADO, I. C.. Participação em banca de Sayuri Rocha Yamashita. Uma proposta de reestruturação dos dados da farmacovigilância do HUPES. 2018. Monografia (Aperfeiçoamento/Especialização em Programa de Residência Integrada Multiprofissional em Saúde) - Universidade Federal da Bahia.

2.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Andrêssa Sacramento Marinho. Interação produção fílmica/proposta triangular na formação continuada do pedagogo. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

3.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Eduardo Bastos da Fonseca. A matemática, o cotidiano e eu. A simplicidade dos números no nosso dia-a-dia. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

4.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Marinalva Oliveira da Silva. O uso das mídias no ensino da língua inglesa. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

5.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Marli Santana dos Santos. Formação docente: produção e apresentação de vídeoaulas para a EAD. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

6.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Maurício Barreto Marçal de Carvalho. A utilização do Screencast como ferramenta didática no ensino de estatística numa abordagem sobre o conteúdo da estatística descritiva. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

7.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Naiara dos Santos Silva. Tecnologias assistivas: a contação de história infantil bilíngue ? libras/ português. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

8.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Nilson Carlos Santos Teixeira. O uso pedagógico do vídeoaula como elemento facilitador no processo de ensino- aprendizagem no Ambiente Virtual de Aprendizagem. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

9.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Nilton Alex Fernandes Ribeiro. Produção e uso de vídeos para uma aprendizagem significativa: um estudo de caso no seguimento fundamental II. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

10.
MACHADO, I. C.; RIBEIRO, L. B. R.. Participação em banca de Patrícia dos Passos Menezes. O uso de vídeos educacionais e as potencialidades para o ensino/aprendizagem na modalidade EaD. 2018. Monografia (Aperfeiçoamento/Especialização em Produção de Mídias para Educação Online) - Universidade Federal da Bahia.

11.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Francisco Marinho Rodrigues e Leonardo Santa Bárbara Santos. Aplicação de Conceitos Relacionados ao Reuso de Software no Contexto da RiSE: Um Estudo de Caso. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

12.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de David Schleider de Carvalho Alves. Aplicação de Processos de Engenharia de Software na Qualinfo Tecnologia. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

13.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Ricardo Corrêa Alves Gomes. Aplicação de Metodologias e Métodos visando o reuso e qualidade de software no Portal do Locador. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

14.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Jackson Raniel Florencio da Silva. Relato das Atividades Desempenhadas Durante o Primeiro Módulo da Residência em Reuso de Software. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

15.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Patrícia Fontinele. Acompanhamento da Myrá. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

16.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Ednaldo Onofre, Jean Louis Brasil, José Moraes, Saulo Silva. Estudo de Caso da Empresa Hivelog. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

17.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Clidonia Ahyalla Riceli Pereira e Anderson Santana. Estudo de Caso da Bisaweb Tecnologia da Informação Ltda.. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

18.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Luis Henrique de Oliveira Fernandes. Aplicação e Propostas de Melhorias dos Conceitos e Práticas Relacionadas a Reuso de Software na Neurotech. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

19.
MACHADO, I. C.; ALMEIDA, E. S.. Participação em banca de Joanan Luiz de Mendonça Jr.. Avaliação de Processos de Engenharia de Software na Unitecnologia. 2012. Monografia (Aperfeiçoamento/Especialização em Programa de Residência RiSE/Porto Digital em Reuso) - Rise - Reuse in Software Engineering.

Trabalhos de conclusão de curso de graduação
1.
MACHADO, I. C.; SOUZA, I. S.; SILVA, D. C. C.. Participação em banca de Lucas Pereira da Silva Souza.Uma ferramenta Web para classificação de editais de concursos públicos do Brasil usando SVM. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

2.
MACHADO, I. C.; BOECHAT, G. C.; SANTOS, E. L.. Participação em banca de Anderson Nogueira da Conceição.Sistema de Escala de Serviços para a Polícia Militar da Bahia. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal da Bahia.

3.
MACHADO, I. C.; BASTOS, J. F.; CARVALHO, M. L. L.. Participação em banca de Isabela de Souza Pinto.SocialStudent ? Rede Social de Estudante para Estudante. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

4.
MACHADO, I. C.; LIMA, E. M. C. X.; SANTOS, V. V.. Participação em banca de Lucas Gonçalves Almeida.APPrótese - Um APP de apoio ao ensino de Prótese Fixa. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

5.
MACHADO, I. C.; MOURAO, B. C. C.; BASTOS, J. F.. Participação em banca de Natan Leal Bispo.Da Concepção à Entrega - Construindo um Ambiente Interativo de Aprendizagem de Prótese Fixa. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

6.
DURAO, F. A.; SILVA, G. O. M.; MACHADO, I. C.. Participação em banca de Amanda Chagas de Oliveira.Um Sistema de Recomendação de Filmes para Grupo de Usuários. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

7.
SOUZA, R. R. G. E.; MACHADO, I. C.; BASTOS, R. C.. Participação em banca de Lucas Dantas Gama Ayres.Análise e Detecção Automática de URLs Maliciosas no Cenário Nacional. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

8.
MACHADO, I. C.; SANTO, L. K. A. E.; SANTOS, R. M. S.. Participação em banca de Elder Pinelli de Almeida.Estimativa de projetos de software emstartups: um estudo de caso. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

9.
MACHADO, I. C.; DURAO, F. A.; SOUZA, I. S.. Participação em banca de Amanda Sotero de Menezes Gomes.Avaliação da usabilidade do aplicativo APPrótese com base em critérios ergonômicos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

10.
MACHADO, I. C.; FIGUEIREDO, G. B.; VIRGINIO, T. G. A.. Participação em banca de Fernando Cesar Moreira Sandes Filho.Viajay ? Uma Plataforma Digital de Turismo e Entretenimento. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

11.
ANDRADE, A. M. S.; MACHADO, I. C.; DURAN, A. A.. Participação em banca de Caio Wallison dos Santos Rocha.Geração de Diagramas de Sequência Anotados com OCL a partir de Modelos KMTS. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

12.
DURAO, F. A.; MACHADO, I. C.; COIMBRA, D. B.. Participação em banca de Francisleide Silva de Almeida.Sistema de Recomendação de Playlists de Músicas. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

13.
MACHADO, I. C.; SOARES, L. R.; SOUZA, I. S.. Participação em banca de Joselito Mota Júnior.Uma Proposta de Taxonomia para Avaliação de Defeitos de Software. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

14.
MACHADO, I. C.; PRAZERES, C. V. S.; RIOS, T. N.. Participação em banca de Victor Martinez Vidal Pereira.Ferret - An open-source library to extract data from web news pages. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal da Bahia.

15.
MACHADO, I. C.; SOARES, L. R.; SOUZA, I. S.. Participação em banca de Victor de Azevedo Nunes.ModMan - Gerenciamento de Permissões para SaaS. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal da Bahia.

16.
MACHADO, I. C.; COIMBRA, D. B.; SANTOS, L. C. M.. Participação em banca de Braian Varjão Gama Bispo.FastTrack - Ferramenta Colaborativa de Aprendizagem de Tecnologias para Desenvolvimento de Software. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal da Bahia.

17.
SEGUNDO, M. P.; LEMES, R. P.; MACHADO, I. C.. Participação em banca de Adeilson Antônio da Silva.Detecção de fraudes na autenticação facial multimodal. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

18.
DURAO, F. A.; MACHADO, I. C.; LEMES, R. P.. Participação em banca de Fillipe Norton Barbosa Santos.Onde Fui Roubado - Sistema Web de Apoio a Segurança Pública. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

19.
SANTANNA, C.; MACHADO, I. C.; CHAVEZ, C. V. F. G.. Participação em banca de George Alisson N. de Oliveira.Uma Ferramenta de Análise Estática de Software com Suporte à Visualização do Modelo de Pirâmide. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

20.
MACHADO, I. C.; SOUZA, R. R. G. E.; CHAVEZ, C. V. F. G.. Participação em banca de Genésio Valois Coutinho Neto.Uma Pesquisa de Campo sobre o Uso de Métodos Ágeis em Salvador. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

21.
SOUZA, M. M.; SILVA, D. B. E.; MACHADO, I. C.. Participação em banca de Samia Capistrano Gomes.Uma proposta para avaliação da qualidade de produtos de software sob a perspectiva do usuário final. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - União Metropolitana de Educação e Cultura.

22.
MACHADO, I. C.; VANUS, M. A.; LINS, M. S. B.. Participação em banca de João Henrique da Silva Santos.A importância da Gestão de Estoque para o Setor de Serviço: Um estudo de caso no ramo alimentício. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Produção) - Área 1 - Faculdade de Ciência e Tecnologia.

23.
MACHADO, I. C.; MARTINS, L. G. M. V.; SOARES, C. Q.. Participação em banca de Anderson dos Santos Pinheiro.A importância da modificação do sistema de acionamento e frenagem de uma ponte rolante. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Produção) - Área 1 - Faculdade de Ciência e Tecnologia.

24.
DURAO, F. A.; MACHADO, I. C.; OLIVEIRA, L. R.. Participação em banca de Lucas Amaral Bulcão.Uma Ferramenta Mobile Sensível ao Contexto de Apoio a Mobilidade Urbana. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal da Bahia.

25.
DURAO, F. A.; MACHADO, I. C.; SEGUNDO, M. P.. Participação em banca de André Mario de Souza Oliveira Filho.Um sistema inteligente para indicação de rotas de ônibus aos usuários de transporte público. 2014. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal da Bahia.



Participação em bancas de comissões julgadoras
Concurso público
1.
PETRUCCI, V. T.; MACHADO, I. C.; REGNIER, P. D. E.. Processo Seletivo para contratação de Docente por tempo determinado. Edital 02/2018-DCC. Matéria: Sistemas Básicos de Computação. 2018. Universidade Federal da Bahia.

2.
MACHADO, I. C.; FIGUEIREDO, G. B.; PARENTE, R. F.. Processo Seletivo para contratação de Docente por tempo determinado. 2017. Universidade Federal da Bahia.

3.
SOUZA, R. R. G. E.; MACHADO, I. C.; JANUARIO, T. O.. Processo Seletivo para contratação de Docente por tempo determinado. 2016. Universidade Federal da Bahia.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IX Congresso Brasileiro de Software (CBSOFT). 2018. (Congresso).

2.
XII Simpósio Brasileiro de Componentes, Arquiteturas e Reúso de Software (SBCARS).Towards an Automated Product Line Architecture Recovery: The Apo-Games Case Study. 2018. (Simpósio).

3.
XVII Simpósio Brasileiro de Qualidade de Software (SBQS).Desenvolvimento de Sistemas de Software Altamente Configuráveis. 2018. (Simpósio).

4.
XXXVIII Congresso da Sociedade Brasileira de Computação (CSBC). 2018. (Congresso).

5.
16th International Conference on Software Reuse (ICSR). A Preliminary Assessment of Variability Implementation Mechanisms in Service-Oriented Computing. 2017. (Congresso).

6.
Campus Party Bahia. 2017. (Outra).

7.
I Workshop de Engenharia e Qualidade do Software para Internet das Coisas (QualityIOT).Rumos da ES e Qualidade no Ecossistema IoT. 2017. (Outra).

8.
VIII Congresso Brasileiro de Software (CBSOFT). Tiraremos leite de pedra ou choraremos o leite derramado? A Engenharia de Software na era da Digitalização e Manufatura total. 2017. (Congresso).

9.
XI Simpósio Brasileiro de Componentes, Arquiteturas e Reúso de Software (SBCARS).Aspects influencing feature-oriented software comprehension: observations from a focus group. 2017. (Simpósio).

10.
XVI Simpósio Brasileiro de Qualidade de Software (SBQS). 2017. (Simpósio).

11.
Congresso de Informática e Telecomunicações (SUCESU). Painel: Projetos Inovadores de TIC. 2016. (Congresso).

12.
I Workshop em Qualidade de Produtos de Software (WQPS). 2016. (Seminário).

13.
The 10th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). 2016. (Congresso).

14.
VII Congresso Brasileiro de Software: Teoria e Prática (CBSOFT). 2016. (Congresso).

15.
XV Simpósio Brasileiro de Qualidade de Software (SBQS). 2016. (Simpósio).

16.
II Simpósio Brasileiro de Pesquisa Aplicada e Inovação. 2015. (Simpósio).

17.
I Seminário das Licenciaturas Interdisciplinares da UFSB. 2015. (Seminário).

18.
VII Seminário Pedagógico da UFSB. 2015. (Seminário).

19.
VI Seminário Pedagógico da UFSB. 2015. (Seminário).

20.
XII Encontro Anual de Computação da UFG.Desenvolvimento de software orientado a features. 2015. (Encontro).

21.
XIV Simpósio Brasileiro de Qualidade de Software (SBQS).Fault model-based variability testing. 2015. (Simpósio).

22.
XXXIV Seminário Estudantil de Pesquisa. 2015. (Seminário).

23.
Semana da Computação - UFBA.FOSD - Desenvolvimento de Software Orientado a Features. 2014. (Encontro).

24.
The 8th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). Low-level Variability Support for Web-based Software Product Lines. 2014. (Congresso).

25.
XIV Escola Regional de Computação Bahia-Alagoas-Sergipe (ERBASE). Introdução ao Teste de Software. 2014. (Congresso).

26.
Primeira Escola Latino Americana de Engenharia de Software: Fundamentos e Estado da Arte.Fault Model-Based Variability Testing. 2013. (Encontro).

27.
Primeiro Colóquio Latino Americano de Engenharia de Software Dirigida por Modelos. 2013. (Encontro).

28.
VI SIMCIT - Simpósio Científico e Tecnológico - UNIFACS Feira.Linhas de Produtos de Software: Conceitos e Aplicações. 2013. (Simpósio).

29.
VI Workshop de Gerenciamento de Projetos de Software (WGPS). 2013. (Outra).

30.
X Enacomp - Encontro Anual de Computação - UFG.Desenvolvimento orientado a linha de produtos de software. 2013. (Encontro).

31.
XII Simpósio Brasileiro de Qualidade de Software (SBQS).Risk Management on Software Product Lines: An Expert Opinion Survey. 2013. (Simpósio).

32.
16th International Software Product Line Conference (SPLC). 2012. (Congresso).

33.
IBM Research Brazil Colloquim - A Inclusão Social e o Desenvolvimento Econômico.Cerimônia de entrega do IBM Ph.D. Fellowship Award. 2012. (Outra).

34.
IX Experimental Software Engineering Latin American Workshop (ESELAW). A preliminary study on the effects of working with a testing process in software product line projects. 2012. (Congresso).

35.
Semana da Computação da UFBA (SEMCOMP). 2012. (Seminário).

36.
Sixth International Workshop on Variability Modeling of Software-Intensive Systems. 2012. (Congresso).

37.
Third Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE). 2012. (Congresso).

38.
15th International Software Product Line Conference (SPLC). 2011. (Congresso).

39.
23rd International Conference on Software Engineering & Knowledge Engineering. RiPLE-TE: A Process for Testing Software Product Lines, Software Product Lines System Test Case Tool: A Proposal, Scoping Process for Software Product Lines. 2011. (Congresso).

40.
4th RiSS - International RiSE Summer School on Software Product Lines. 2011. (Outra).

41.
7th International Conference on Open Source Systems. 2011. (Congresso).

42.
Concurso de Teses e Dissertações em Qualidade de Software (CTDQS).RiPLE-TE: A Software Product Lines Testing Process. 2011. (Simpósio).

43.
Fifth International Workshop on Variability Modeling of Software-Intensive Systems. Towards Metamodel Support for Variability and Traceability in Software Product Lines. 2011. (Congresso).

44.
X Simpósio Brasileiro de Qualidade de Software (SBQS). 2011. (Simpósio).

45.
22nd International Conference on Software Engineering and Knowledge Engineering. A Visual Bug Report Analysis and Search Tool; Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process. 2010. (Congresso).

46.
3rd RiSS - RiSE International Summer School. 2010. (Outra).

47.
I Congresso Brasileiro de Software: Teoria e Prática (CBSOFT). 2010. (Congresso).

48.
III Café Científico da Fundação Visconde de Cairu - escrever, princípio da pesquisa científica.Universidade além da sala de aula ? fomento a pesquisa científica. 2010. (Outra).

49.
IV Simpósio Brasileiro de Arquitetura, Componentes e Reutilização de Software (SBCARS).A Regression Testing Approach for Software Product Lines Architectures. 2010. (Simpósio).

50.
VII ESELAW - Experimental Software Engineering Latin American Workshop. Evaluating a Tool for Bug-report Analysis and Search. 2010. (Congresso).

51.
XXIV Simpósio Brasileiro de Engenharia de Software (SBES). 2010. (Simpósio).

52.
III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2009. (Simpósio).

53.
IV WIRE - Workshop para Introdução de Reuso em Empresas. 2009. (Encontro).

54.
2nd RiSE Summer School on Software Product Lines. 2008. (Encontro).

55.
III WIRE - Workshop para Introdução de Reuso em Empresas. 2008. (Outra).

56.
II EBTS - Encontro Brasileiro de Testes de Software. 2007. (Encontro).

57.
RiSS - First RiSE Summer School on Software Reuse. 2007. (Encontro).

58.
VI ERBASE - Escola Regional Bahia-Sergipe de Computação. 2006. (Congresso).

59.
XIV Enecomp - Encontro Nacional dos Estudantes de Computação. 2006. (Encontro).

60.
I Seminário Interdepartamental do Campus II da UNEB. 2005. (Seminário).

61.
V ERBASE - Escola Regional Bahia-Sergipe de Computação. 2005. (Congresso).

62.
1st Junior Enterprise World Conference. 2004. (Encontro).

63.
IV CBComp - Congresso Brasileiro de Computação. 2004. (Congresso).

64.
VI EEJ/BA - Encontro Estadual de Empresas Juniores. 2004. (Encontro).

65.
XII ENEJ - Encontro Nacional de Empresas Juniores. 2004. (Encontro).

66.
XXIV CSBC - Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).

67.
III ERBASE - Escola Regional Bahia-Sergipe de Computação. 2003. (Congresso).

68.
XI ENEJ - Encontro Nacional de Empresas Juniores. 2003. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
MACHADO, I. C.; MELO, R. A. ; SOUZA, R. R. G. E. ; JANUARIO, T. O. ; SANTOS, V. V. ; PETRUCCI, V. T. . II Workshop de Estudantes do PGCOMP (WE.PGCOMP). 2017. (Outro).

2.
MACHADO, I. C.; ALMEIDA, E. S. ; BOTTERWECK, G. ; WERNER, C. M. L. . The 16th International Conference on Software Reuse (ICSR). 2017. (Congresso).

3.
MACHADO, I. C.; ALMEIDA, E. S. ; SOARES, L. R. . 10th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 2016. (Congresso).

4.
CHAVEZ, C. V. F. G. ; CLARO, D. B. ; MACIEL, R. S. P. ; RIOS, T. N. ; MACHADO, I. C. . I Workshop de Estudantes do PGCOMP (WE.PGCOMP). 2016. (Outro).

5.
MACHADO, I. C.; SOUZA, G. P. ; SILVA, P. O. ; BISPO, B. V. G. . StartUFBA. Empreendedorismo em TI.. 2014. (Outro).

6.
MACHADO, I. C.; ALMEIDA, E. S. ; VALE, T. F. ; OLIVEIRA, R. P. ; SOUZA, I. S. ; SOUZA, M. L. J. ; ALVIM, L. F. M. ; AMORIM, S. S. . XII Simpósio Brasileiro de Qualidade de Software (SBQS). 2013. (Congresso).

7.
ALMEIDA, E. S. ; SCHWANNINGER, C. ; BENAVIDES, D. ; MCGREGOR, J. D. ; MACHADO, I. C. ; OLIVEIRA, R. P. ; VALE, T. F. ; SILVA, I. F. ; SILVEIRA NETO, P. A. M. . 16th International Software Product Line Conference. 2012. (Congresso).

8.
OLIVEIRA, R. P. ; MACHADO, I. C. ; ALMEIDA, E. S. ; SILVA, I. F. ; AMORIM, S. S. ; MEIRA, S. R. L. . 4th RiSE International Summer School (RISS). 2011. (Outro).

9.
MACHADO, I. C.; ALMEIDA, E. S. ; SILVEIRA NETO, P. A. M. ; OLIVEIRA, R. P. . 3rd RiSE International Summer School (RISS). 2010. (Outro).

10.
MENDONCA NETO, M. G. ; SANTOS, V. V. ; CHAVEZ, C. V. F. G. ; MACHADO, I. C. ; ALMEIDA, E. S. . I CBSoft - Congresso Brasileiro de Software: Teoria e Prática. 2010. (Congresso).

11.
GARCIA, V. C. ; SILVEIRA NETO, P. A. M. ; MACHADO, I. C. ; SANTOS, E. C. R. ; RIBEIRO, R. A. J. ; ALMEIDA, E. S. . IV Workshop para Introdução de Reuso em Empresas (WIRE). 2009. (Outro).

12.
MACHADO, I. C.. III ERBASE - Escola Regional Bahia-Sergipe de Computação. 2003. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Tassio Guerreiro Antunes Virginio. Análise da qualidade das ferramentas de testes automatizados para SPL. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

2.
Franklin de Jesus Silva. Chameleon: An Adaptive Approach to Handle Test Suite Prioritization for Highly-Configurable Systems. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

3.
Sara Mendes Oliveira Lima. Avaliando Técnicas de Seleção para Testes de Regressão baseada em Custos em Sistemas Altamente Configuráveis. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

4.
Nildo Cezario da Silva Júnior. A definir. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

5.
Naila Alves de Almeida. A Engenharia de Requisitos Revisitada - Um novo olhar sob a perspectiva de projetos de inovação. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

6.
Railana dos Santos Santana. Uma análise comparativa de ferramentas de identificação automatizada de test smells. Início: 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

7.
Caiza Almeida Fortunato. A software architecture assessment method for self-adaptive systems. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

8.
Brunna Caroline Do Carmo Mourão. Modelo de avaliação da eficiência energética de aplicativos para dispositivos móveis. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

9.
Leila Karita dos Anjos do Espirito Santo. Ontogreen - Uma proposa de ontologia de domínio para engenharia de software verde e sustentável. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

Tese de doutorado
1.
Renata Maria de Souza Santos. A definir. Início: 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

2.
Crescencio Rodrigues Lima Neto. Software Architecture Description for Software Product Lines. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Coorientador).

3.
Gláucya Carreiro Boechat. Modelo teórico de monitoramento automático de mídias sociais. Início: 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Coorientador).

Iniciação científica
1.
Joselito Mota Júnior. Construção de uma taxonomia de defeitos relacionados à implementação de variabilidade. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Denivan do Carmo Campos da Silva. Combinatorial Interaction Testing Tools for Software Product Lines Engineering: A Comparative Analysis. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Ivan do Carmo Machado.

2.
Edilton Lima dos Santos. SHE: An automated support for dynamic software product lines engineering. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Ivan do Carmo Machado.

Tese de doutorado
1.
Alcemir Rodrigues Santos. Investigating Feature-Oriented Software Comprehension. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Coorientador: Ivan do Carmo Machado.

Trabalho de conclusão de curso de graduação
1.
Lucas Pereira da Silva Souza. Uma ferramenta Web para classificação de editais de concursos públicos do Brasil usando SVM. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

2.
Isabela de Souza Pinto. SocialStudent - Rede Social de Estudante para Estudante. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

3.
Anderson Nogueira da Conceição. Sistema de Escala de Serviços para a Polícia Militar da Bahia. 2018. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

4.
Lucas Gonçalves Almeida. APPrótese - Um APP de apoio ao ensino de Prótese Fixa. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

5.
Natan Leal Bispo. Da Concepção à Entrega - Construindo um Ambiente Interativo de Aprendizagem de Prótese Fixa. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

6.
Joselito Mota Júnior. Uma Proposta de Taxonomia para Avaliação de Defeitos de Software. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ivan do Carmo Machado.

7.
Elder Pinelli de Almeida. Estimativa de projetos de software emstartups: Um estudode caso. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

8.
Amanda Sotero de Menezes Gomes. Avaliação da usabilidade do aplicativo APPrótese com base em critérios ergonômicos. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

9.
Fernando Cesar Moreira Sandes Filho. Viajay ? Uma Plataforma Digital de Turismo e Entretenimento. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

10.
Braian Varjão Gama Bispo. FastTrack - Ferramenta Colaborativa de Aprendizagem de Tecnologias para Desenvolvimento de Software. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

11.
Victor de Azevedo Nunes. ModMan - Gerenciamento de Permissões para SaaS. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

12.
Victor Martinez Vidal Pereira. Ferret - An open-source library to extract data from web news pages. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

13.
Anderson dos Santos Pinheiro. A importância da modificação do sistema de acionamento e frenagem em uma ponte rolante. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Produção) - Área 1 - Faculdade de Ciência e Tecnologia. Orientador: Ivan do Carmo Machado.

14.
João Henrique da Silva Santos. A importância da gestão de estoques para o setor de serviços. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Produção) - Área 1 - Faculdade de Ciência e Tecnologia. Orientador: Ivan do Carmo Machado.

Iniciação científica
1.
Natan Leal Bispo. Recomendação de módulos para declarações JUnit. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Ivan do Carmo Machado.

2.
Joselito Mota Júnior. Classificação automática de defeitos relacionados à implementação de variabilidade de software. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Ivan do Carmo Machado.

3.
Anderson Nogueira da Conceição. Recomendação de módulos para declarações JUnit. 2017. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.

4.
Anderson Nogueira da Conceição. Handling variability in context-aware embedded systems. 2016. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal da Bahia. Orientador: Ivan do Carmo Machado.



Inovação



Programa de computador sem registro
1.
ALMEIDA, L. G. ; BISPO, N. L. ; MACHADO, I. C. ; LIMA, E. M. C. X. . APPrótese - Um APP de apoio ao ensino de Prótese Fixa. 2018.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico


Outras informações relevantes


  • Sociedades Científicas:
    • Membro da Sociedade Brasileira de Computação (SBC), desde 2007, n. 19084.
    • Membro da Association for Computing Machinery (ACM), desde 2009, n. 3060796.
    • Em 2013, recebeu com o certificado de Ambassador for the ACM.
    • Membro da ACM Special Interest Group on Software Engineering (ACM SIGSOFT), desde 2012.

  • Aprovação em Concursos:
    • Aprovação no Concurso Público 2008 (Edital 05/2009, publicado no DOU em 08/01/2009), do Serviço Federal de Processamento de Dados (SERPRO), para o cargo de Analista de Desenvolvimento de Sistemas, e convocado para assumir o cargo, conforme Ofício SUPGP/GPSDR - 024561/2010.
    • Aprovado em 1º lugar no Concurso Público de Professor Adjunto da Universidade Federal do Sul da Bahia (área: Ciências e Tecnologias da Computação), conforme resultado homologado no DOU, Seção 1 - Edição nr 24 de 04/02/2015 Pag. 8.
    • Aprovado em 1º lugar no processo seletivo simplificado para docente por tempo determinado do DCC/IM/UFBA (Edital 04/2014), conforme divulgado no Edital nº 10, de 15 de abril de 2014 (DOU - Seção 3 Nº 73, 16 de abril de 2014).
    • Aprovado em 1º lugar no Processo Seletivo para contratação de professores por tempo determinado, do Instituto de Humanidades, Artes & Ciências Professor Milton Santos (IHAC), da Universidade Federal da Bahia (UFBA), para ministrar aulas no curso Bacharelado Interdisciplinar em Ciência e Tecnologia. Edital Interno nº 001/2010. Processo 23066.003152/10-87. Publicado no DOU - Seção 3, p. 49, de 11/05/2010.



Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 4:09:42