Currículo do Sistema de Currículos Lattes (Michel Heluey Fortuna)

Dados pessoais

Nome	Michel Heluey Fortuna
Nome em citações bibliográficas	FORTUNA, Michel Heluey
Sexo	Masculino

Endereço profissional

Universidade Federal de Juiz de Fora, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Campus Universitário
Martelos
36036-900 - Juiz de Fora, MG - Brasil
Telefone: (32) 32293311 Fax: (32) 32293311
URL da Homepage: http://www.dcc.ufjf.br

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

2003 - 2008

Doutorado em Engenharia de Sistemas e Computação .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Info Cases: Um Modelo Integrado de Requisitos com Casos de Uso, Ano de Obtenção: 2008.
Orientador: Cláudia Maria Lima Werner / Marcos Roberto da Silva Borges.
Palavras-chave: info cases; Nível informacional de requisitos; Casos de uso; modelagem informacional de requisitos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Requisitos.
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.
Setores de atividade: Desenvolvimento de Programas (Software); Consultoria em Sistemas de Informática.

1980 - 1982

Mestrado em Sistemas e Computação .
Instituto Militar de Engenharia, IME, Brasil.
Título: Construção da Semântica de Programas Fluxogramáveis, Ano de Obtenção: 1982.
Orientador: Margarida Maria Berreta Pion e Roberto Lins de Carvalho.
Bolsista do(a): International Business Machines .
Palavras-chave: tradução de programas para fórmulas lógicas; execução simbólica de programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

1975 - 1979

Graduação em Engenharia Civil .
Universidade Federal de Juiz de Fora, UFJF, Brasil.

Formação complementar

1974 - 1977

Instrumento Piano.
Conservatório Estadual de Música Haidée França Americano.

Atuação profissional

Universidade Severino Sombra, USS, Brasil.

Vínculo institucional

1999 - 2000

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

Atividades

3/1999 - 12/1999	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Linguagens de Programação

Informática e Engenharia de Sistemas, IES, Brasil.

Vínculo institucional

1995 - 1996

Vínculo: Colaborador, Enquadramento Funcional: Coordenador e Consultor Técnico, Carga horária: 8

Atividades

6/1995 - 11/1996	Atividades de Participação em Projeto, .
	Projetos de pesquisa CD-ROM Jogos Olímpicos

Universidade Federal de Juiz de Fora, UFJF, Brasil.

Vínculo institucional

2002 - Atual

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

Vínculo institucional

1997 - 2002

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

Outras informações

Regime excepcional de 40 horas semanais enquanto exercendo a Coordenação do Curso de Ciência da Computação da UFJF.

Vínculo institucional

1984 - 1997

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 20

Vínculo institucional

1977 - 1979

Vínculo: Estagiário, Enquadramento Funcional: Outro (Programador de Sistemas), Carga horária: 20

Outras informações

Atividades: a) Área: Engenharia de Produção / Pesquisa Operacional (1977-78) - Elaboração, implantação e suporte de sistemas para otimização matemática e cálculo da demanda por serviços da universidade; - Desenvolvimento de software de apoio à programação do computador IBM 1130 (rotinas em assembly para conversão de tipo de dados); - Estudo e aplicação de técnicas de programação capazes de minimizar a demanda por memória e o tempo de execução de programas no IBM 1130. b) Área: Administração Universitária (1977-79) - Desenvolvimento e manutenção de programas componentes dos sistemas de matrícula e histórico escolar da UFJF. c) Área: Engenharia Civil (1979) - Desenvolvimento de um sistema para o cálculo de estruturas de concreto armado (CECA).

Atividades

2004 - Atual	Atividades de Participação em Projeto, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Projetos de pesquisa Modelagem Informacional de Requisitos

06/2003 - Atual	Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.
	Linhas de pesquisa Modelagem Informacional de Requisitos de Sistemas de Informação

3/1995 - Atual	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Linguagens de Programação Modelagem de Sistemas Análise e Projeto de Algorítmos Iniciação Científica em Informática Laboratório de Programação Metodologia de Desenvolvimento de Sistemas Redes de Computadores

4/2003 - 5/2003	Conselhos, Comissões e Consultoria, Reitoria, Pró-Reitoria de Graduação.
	Cargo ou função Membro da Comissão para Universalização do Ensino de Informática na UFJF.

11/1997 - 2/2002	Direção e administração, Reitoria, Pró-Reitoria de Graduação.
	Cargo ou função Coordenador do Curso de Ciência da Computação da UFJF.

11/1997 - 2/2002	Conselhos, Comissões e Consultoria, Reitoria, Pró-Reitoria de Graduação.
	Cargo ou função Membro do Conselho de Graduação da UFJF.

11/1997 - 2/2002	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .
	Cargo ou função Membro do Conselho Departamental do ICE.

1999 - 3/2000	Conselhos, Comissões e Consultoria, Reitoria, Pró-Reitoria de Graduação.
	Cargo ou função Presidente da Comissão do Projeto de Reconhecimento do Curso de Ciência da Computação da UFJF.

11/1998 - 12/1998	Conselhos, Comissões e Consultoria, Reitoria, Pró-Reitoria de Graduação.
	Cargo ou função Membro da Comissão para Elaboração do Projeto de Implantação dos Laboratórios de Apoio ao Ensino de Graduação.

3/1984 - 12/1994	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Processamentos de Dados I e II Cálculo Numérico Linguagens de Programação Sistemas Operacionais

5/1994 - 7/1994	Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .
	Cargo ou função Membro da Comissão para Criação do Curso de Ciência da Computação da UFJF.

3/1977 - 12/1979	Estágios , Centro de Processamento de Dados, .
	Estágio realizado Programação de sistemas.

Rede Ferroviária Federal S A Sup Regional 3, RFFSA-SR3, Brasil.

Vínculo institucional

1983 - 1996

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

Atividades

6/1994 - 6/1994	Treinamentos ministrados , Superintendência Regional 3, Centro de Processamento de Dados.
	Treinamentos ministrados Técnicas de levantamento e documentação de requisitos funcionais de sistemas computacionais Método JAD (Joint Application Design)

5/1993 - 2/1994	Serviços técnicos especializados , Superintendência Regional 3, Centro de Processamento de Dados.
	Serviço realizado Levantamento de requisitos e especificação do Sistema Integrado de Gerência do Material Rodante (SIGEMAR).

4/1987 - 6/1988	Serviços técnicos especializados , Superintendência Regional 3, Centro de Processamento de Dados.
	Serviço realizado Desenvolvimento e Implantação do Sistema Integrado de Controle do Estoque de Materiais Rodantes (SISCEM).

4/1987 - 6/1988	Atividades de Participação em Projeto, Superintendência Regional 3, Centro de Processamento de Dados.
	Projetos de pesquisa Desenvolvimento e Implantação do Sistema Integrado de Controle do Estoque de Materiais Rodantes (SISCEM)

12/1984 - 4/1986	Serviços técnicos especializados , Superintendência Regional 3, Centro de Processamento de Dados.
	Serviço realizado Manutenção (adaptações e extensões) no Sistema Integrado de Administração de Pessoal (SIAPES).

1/1984 - 11/1984	Serviços técnicos especializados , Superintendência Regional 3, Centro de Processamento de Dados.
	Serviço realizado Implantação do Sistema Integrado de Administração de Pessoal (SIAPES).

Fundação Getúlio Vargas - RJ, FGV-RJ, Brasil.

Vínculo institucional

1983 - 1983

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

Atividades

3/1983 - 6/1983	Serviços técnicos especializados , Centro de Processamento de Dados, .
	Serviço realizado Manutenção em sistemas administrativos (linguagem Cobol, computador IBM 4341).

Instituto Militar de Engenharia, IME, Brasil.

Vínculo institucional

1983 - 1983

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

Vínculo institucional

1981 - 1981

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

Outras informações

Professor da disciplina Organização de Computadores, ministrada no curso de nivelamento para os candidatos ao mestrado em Engenharia de Sistemas.

Atividades

6/1983 - 12/1983	Ensino, Engenharias, Nível: Graduação.
	Disciplinas ministradas Cálculo Numérico

1/1981 - 2/1981	Treinamentos ministrados .
	Treinamentos ministrados Organização de Computadores (curso de nivelamento para o processo de seleção ao mestrado em Engenharia de Sistemas)

Medidata Sistemas S C, MEDIDATA, Brasil.

Vínculo institucional

1982 - 1983

Vínculo: Celetista, Enquadramento Funcional: Analista de Software Básico, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

1/1982 - 2/1983	Serviços técnicos especializados .
	Serviço realizado Desenvolvimento de software utilitário, na linguagem Mumps, para o computador M2001.

Linhas de Pesquisa

1.

Modelagem Informacional de Requisitos de Sistemas de Informação

Objetivos: Desenvolver uma técnica de modelagem de requisitos de sistemas de informação para resolver alguns dos problemas apontados na técnica de casos de uso..
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Requisitos.
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.
Setores de atividade: Educação.
Palavras-chave: info cases; modelagem informacional de requisitos; Casos de uso; Nível informacional de requisitos.

Projetos de Pesquisa

2004 - Atual	Modelagem Informacional de Requisitos
	Descrição: Desenvolvimento de uma técnica de modelagem de requisitos, otimizada para sistemas de informação, resolvendo alguns dos problemas apontados na literatura com respeito à técnica tradicional de casos de uso.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) . Integrantes: Michel Heluey Fortuna - Coordenador. .

1995 - 1996

CD-ROM Jogos Olímpicos

Descrição: Desenvolvimento de um CD-ROM contendo material multimídia sobre os Jogos Olímpicos. Conteúdo resumido: a) história dos jogos olímpicos; b) descrição das modalidades dos esportes; d) panorama dos locais das olimpíadas; e) principais atletas e resultados; f) principais acontecimentos; g) aberturas; h) patrocinadores oficiais. Mídias utilizadas: texto, som (hinos, narração, fundo sonoro), desenhos (símbolos e logotipos), fotos (atletas, estádios, cidades), animações (demonstração e regras dos esportes) e vídeo (atletas, principais momentos, aberturas)..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação ( 4) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Evandro Mendonça Fortuna - Coordenador / Alexandre Heluey Fortuna - Integrante / Roberto Defilipo - Integrante / Rachel Falcão - Integrante / Hércules Lamir Júnior - Integrante / Marcelo G Barreto - Integrante / Eduardo - Integrante / Ivan - Integrante / Michel Heluey Fortuna - Integrante.
Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro..

1987 - 1988

Desenvolvimento e Implantação do Sistema Integrado de Controle do Estoque de Materiais Rodantes (SISCEM)

Descrição: Sistema em rede, desenvolvido na linguagem Dialog (dBase), para computadores Cobra. Implantado nos principais almoxarifados e oficinas da RFFSA/SR-3. Envolveu também o treinamento de dois funcionários de cada oficina..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Luiz Tadeu Grizende - Integrante / José Cláudio Sabir - Integrante / Marco Antônio Gravina - Integrante / Michel Heluey Fortuna - Coordenador.

Número de produções C, T & A: 1.

Á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 Requisitos.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
3.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação.
4.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.

Idiomas

Português	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês	Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol	Compreende Razoavelmente Lê Bem.

Produção em C,T & A

Produção bibliográfica

Trabalhos completos publicados em anais de congressos

1.

DE LA VARA, Jose Luis ; FORTUNA, Michel Heluey ; SÁNCHEZ, Juan ; WERNER, C. M. L. ; BORGES, Marcos R S . Modelado de Requisitos de Datos para Sistemas de Información basados em Procesos de Negocio. In: XII Conferencia Iberoamericana de Ingeniería de Requisitos y Ambientes de Software (IDEAS2009), 2009, Medellín. XII Conferencia Iberoamericana de Ingeniería de Requisitos y Ambientes de Software, 2009.

2.

DE LA VARA, Jose Luis ; FORTUNA, Michel Heluey ; SÁNCHEZ, Juan ; WERNER, C. M. L. ; BORGES, Marcos R S . A Requirements Engineering Approach for Data Modelling of Process-Aware Information Systems. In: 12th International Conference on Business Information Systems (BIS 2009), 2009, Poznan. 12th International Conference on Business Information Systems (BIS 2009), 2009. v. 21. p. 133-144.

3.

FORTUNA, Michel Heluey ; WERNER, C. M. L. ; BORGES, Marcos R S . Info Cases: Integrating Use Cases and Domain Models. In: 16th IEEE International Requirements Engineering Conference (RE'08), 2008, Barcelona. Proceedings of the XVI IEEE International Conference on Requirements Engineering. Piscataway, NJ, EUA : The Institute of Electrical and Eletronics Engineers, Inc., 2008. p. 81-84.

4.

FORTUNA, Michel Heluey ; WERNER, C. M. L. ; BORGES, Marcos R S . Um Modelo Integrado de Requisitos com Casos de Uso. In: X Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, 2007, Isla de Margarita. Memorias del X Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS'07). Caracas, Venezuela : F. Losavio, G. H. Travassos, V. Pelechano, I. Díaz, A. Matteo (editores), 2007. p. 313-326.

5.	FORTUNA, Michel Heluey ; BORGES, Marcos R S . Modelagem Informacional de Requisitos. In: VIII Workshop on Requirements Engineering (WER 2005), 2005, Porto. Proceedings of WER 2005. Porto : Fac. de Engenharia da Universidade do Porto (FEUP), 2005. p. 269-280.

Demais tipos de produção bibliográfica

1.	FORTUNA, Michel Heluey . Modelagem Informacional de Requisitos 2005 (Proposta de Tese de Doutorado).

2.	FORTUNA, Michel Heluey . Métodos Formais e Informais e sua Integração no Desenvolvimento de Software 1993 (Proposta de Tese de Doutorado).

3.	FORTUNA, Michel Heluey . Teste de Software - Uma Introdução e uma Experiência 1991 (Trabalho de Qualificação para Doutoramento).

4.	FORTUNA, Michel Heluey . A Equivalência da Linguagem Relacional de Codd com a Linguagem da Teoria de Problemas 1991 (Exame de Qualificação para Doutoramento).

5.	FORTUNA, Michel Heluey . Programação em Lógica com Restrições 1991 (Trabalho de Qualificação para Doutoramento).

6.	FORTUNA, Michel Heluey . Construção da Semântica de Programas Fluxogramáveis 1982 (Dissertação de mestrado).

7.	FORTUNA, Michel Heluey . Manual de Utilização do Sistema 1130 LPMOSS. Juiz de Fora: UFJF, 1979 (Manual).

Produção técnica

Softwares sem registro de patente

1.	FORTUNA, Michel Heluey ; GRAVINA, Marco Antônio . Sistema Integrado de Controle de Estoque de Material Rodante (SISCEM). 1988.

2.	FORTUNA, Michel Heluey . Sistema CECA. 1979.

Demais tipos de produção técnica

1.	FORTUNA, Michel Heluey ; WERNER, C. M. L. ; BORGES, Marcos R S . Info Cases: Integrating Use Cases and Domain Models. 2008. (Relatório de pesquisa).

Bancas

Participação em bancas examinadoras

Trabalhos de Conclusão de Curso de graduação

1.	OLIVEIRA, Alessandréia Marta de; FORTUNA, Michel Heluey. Participação em banca de Bruno Pereira de Oliveira. Avaliação da qualidade de software através da usabilidade. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

2.

GONCALVES, V. P.; FORTUNA, Michel Heluey; Lima, Tarcísio de S.; Ulysses, Jesuliana N.. Participação em banca de Vitor Padilha Gonçalves. Um Estudo Experimental em Modelagem de Requisitos de Sistemas de Informação. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

3.	Lima, Tarcísio de S.; CAMPOS, Fernanda Cláudia Alves; FORTUNA, Michel Heluey. Participação em banca de João Roberto Silva de Almeida. Desenvolvimento de Software Orientado a Aspectos. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

4.	JABOUR, Filippe; OLIVEIRA, Rubens de; FORTUNA, Michel Heluey. Participação em banca de Victor Emanuel. TOSSIM: Um simulador para rede de sensores . 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

5.

VILLELA, Regina Maria Maciel Braga; CAMPOS, Fernanda Cláudia Alves; FORTUNA, Michel Heluey; OLIVEIRA, Alessandréia Marta de. Participação em banca de Viviane Kawamura de Almeida. Utilização da Metodologia UML Components no Desenvolvimento de Componentes de Software Agropecuár. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

6.

CAMPOS, Fernanda Cláudia Alves; VILLELA, Regina Maria Maciel Braga; FORTUNA, Michel Heluey; ESTEVAM, Rita de Cássia Oliveira. Participação em banca de João Paulo de Britto Gonçalves. Qualidade de Componentes. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

7.	FONSECA NETO, Raul; FORTUNA, Michel Heluey; OLIVEIRA, Alessandréia Marta de. Participação em banca de Saulo Moraes Villela. Representação do Conhecimento do Senso Comum. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

8.

FONSECA NETO, Raul; FORTUNA, Michel Heluey; SOARES, Tufi Machado. Participação em banca de Milena Hypólito Pinho. Uso de Técnicas de Modelagem do Conhecimento e Métodos de Busca para Problema de Planejamento de Estrutura Aberta. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora.

Participação em bancas de comissões julgadoras

Concurso público

1.	FORTUNA, Michel Heluey. Professor Auxiliar - Departamento de Matemática. 1989. Universidade Federal de Juiz de Fora.

2.	FORTUNA, Michel Heluey. Professor Assistente - Departamento de Matemática. 1988. Universidade Federal de Juiz de Fora.

Outras participações

1.	FORTUNA, Michel Heluey; FONSECA NETO, Raul; SILVA, Ever Pereira da. Professor Substituto - Departamento de Ciência da Computação. 2002. Universidade Federal de Juiz de Fora.

2.	FORTUNA, Michel Heluey. Professor Substituto - Departamento de Ciência da Computação. 1996. Universidade Federal de Juiz de Fora.

Eventos

Participação em eventos

1.	16th IEEE International Requirements Engineering Conference (RE'08).Info Cases: Integrating Use Cases and Domain Models. 2008. (Congresso).

2.	X Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software.Um Modelo Integrado de Requisitos com Casos de Uso. 2007. (Congresso).

3.	IX Workshop on Requirements Engineering (WER 2006). 2006. (Oficina).

4.	VIII Workshop on Requirements Engineering (WER 2005).Modelagem Informacional de Requisitos. 2005. (Oficina).

5.	CEBIT. 1996. (Congresso).

6.	Condex Fall. 1995. (Congresso).

Orientações

Supervisões e orientações concluídas

Trabalho de conclusão de curso de graduação

1.	Flávia Afonso de Souza. Uso do Prolog no Desenvolvimento de um Compilador. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

2.	Tiago Araújo Vignoli. Casos de Testes sobre a Modelagem Informacional de Requisitos. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

3.	Vitor Hauck dos Santos. Modelagem de Negócio: Uma Introdução e Prática. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

4.	Vitor Padilha Gonçalves. Um Estudo Experimental em Modelagem de Requisitos de Sistemas de Informação. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

5.	Luciano de Gouvêa Mirandella. A Linguagem Prolog e sua Aplicação na Prototipação de Compiladores. 2002. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

6.	Alexandre Camillôtto. Integração entre Delphi e Prolog. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

7.	Carlos Henrique Cabral Duarte. Um Método para Desenvolvimento de Sistemas Interativos. 1992. 110 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

Iniciação Científica

1.	Átila de Araújo Braga. Modelagem da Interação Humano-Computador em Sistemas Especificados Através de Info Cases. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

2.	Thiago Mirando do Couto. Sistema Integrado de Reutilização de Software. 2009. Iniciação Científica - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Michel Heluey Fortuna.

Orientações de outra natureza

1.	Viviane Massina Ferreira. Metodologia de Desenvolvimento de Sistemas. 2003. 0 f. Orientação de outra natureza - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.

2.	Daves Márcio Silva Martins. Web Site do Curso de Informática. 2000. 0 f. Orientação de outra natureza - Universidade Federal de Juiz de Fora, Universidade Federal de Juiz de Fora. Orientador: Michel Heluey Fortuna.