Curriculum Vitae - CNPq
Junho/2001


Dados Pessoais

Nome Credine Silva de Menezes
Filiação Severino Galdino de Menezes e Aurea Maria Silva de Menezes
Nascimento 15/02/1952 - Manaus/AM - Brasil
Carteira de Identidade 164987 SSP-AM - AM - 02/01/1991
CPF 02259214215
Endereço residencial Conjunto Solon Borges, Quadra 14, Casa 13
Goiabeiras - Vitoria
29075-350, ES - Brasil
Telefone: 027 3171783
E-mail: credine@inf.ufes.br

Endereço profissional Universidade Federal do Espirito Santo, Centro Tecnológico
Av Fernando Ferrari, s/n - Campus de Goiabeiras
Goiabeiras - Vitoria
29060-900, ES - Brasil
Telefone: 027 3352689
E-mail: credine@inf.ufes.br



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

1972 - 1976 Graduação.
Universidade do Amazonas, UA, Manaus, Brasil
1981 - 1983 Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RJ, Rio De Janeiro, Brasil
Título: Um simulador de micromáquinas: Requisitos, Especificação, Projeto e Implementação, Ano de obtenção: 1983
Orientador: Arndt von Staa
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
1983 - 1989 Doutorado.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RJ, Rio De Janeiro, Brasil
Título: Ambientes para Processamento de Conhecimento, Ano de obtenção: 1989
Orientador: Roberto Lins de Carvalho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico


Atuação Profissional


1. Universidade Federal do Espirito Santo - UFES


Áreas de atuação

1 Teoria da Computação
2 Inteligência Artificial
3 Engenharia de Software


Idiomas

Entende Inglês (Razoável)
Fala Inglês (Pouco)
Inglês (Bem)
Escreve Inglês (Razoavelmente)


Prêmios e Títulos

2000 Segundo lugar na modalidade artigo completo do XI Simpósio Brasileiro de Infromática na Educação, SBC - Sociedade Brasileira de Computação
1997 Sexto lugar na modalidade artigo completo do VIII Simpósio Brasileiro de Infromática na Educação, SBC - Sociedade Brasileira de Computação



Trabalhos completos publicados em anais de evento

1.
ZAVARIS, S. C., MENEZES, C. S.
A Cooperative Task Oriented Environment for Learning In: ICECE 2000 - International Conference on Engineering and Computer Education, 2000, São Paulo.
  Proceedings of ICECE 2000 - International Conference on Engineering and Computer Education. , 2000.

2.
BRITO, S. R., TAVARES, O. L., MENEZES, C. S.
A Society of Intelligent Agents for an Environment of Cooperative Online Learning In: International Conference on Artificial Intelligence (IC-AI), 2000, Las Vegas.
  ; (Proceedings, Vol. II);. , 2000. p.699 - 704

3.
TAVARES, O. L., BRITO, S. R., SOUZA, R. S., MENEZES, C. S.
Ambiente de Apoio à Mediação da Aprendizagem: Uma abordagem Orientada por Processos e Projetos In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió.
  Anais do XI Simpósio Brasileiro de Informática na Educação. , 2000. p.48 - 55

4.
MENEZES, C. S., Cury, D., CASTRO JUNIOR, A. N.
An Architecture of an Environment for Cooperative Learning (AmCorA) In: ICECE 2000 - International Conference on Engineering and Computer Education, 2000, São Paulo.
  Proceedings of ICECE 2000 - International Conference on Engineering and Computer Education. , 2000.

5.
BRITO, S. R., TAVARES, O. L., MENEZES, C. S.
An Environment of Cooperative Online Learning for Software Engineering In: , ICECE 2000 - International Conference on Engineering and Computer Education, 2000, São Paulo.
  Proceedings of , ICECE 2000 - International Conference on Engineering and Computer Education. , 2000.

6.
GAVA, T. B. S., MENEZES, C. S.
An Inquiry Oriented Environment for Learning Support, In: ICECE 2000 - International Conference on Engineering and Computer Education, 2000, São Paulo.
  ~Proceedings of ICECE 2000 - International Conference on Engineering and Computer Education. , 2000.

7.
MENEZES, C. S., BAZZARELLA, L. B., Cury, D., CRISTOVAO, H. M., TAVARES, O. L.
Formação de Recursos Humanos em Informática Educativa: Uma Experiência com Educação a Distância In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió.
  Anais do XI Simpósio Brasileiro de Informática na Educação. , 2000. p.175 - 182

8.
SOUZA, R. S., MENEZES, C. S., SOUZA, D. S.
Inserção da Informática na Educação : Uma Proposta Baseada no Processo de Aprendizagem In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió.
  XI Simpósio Brasileiro de Informática na Educação. , 2000. p.191 - 198

9.
GAVA, T. B. S., MENEZES, C. S.
Moonline: Um sistema multiagentes baseado na WEB para apoio à aprendizagem In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió.
  Anais do XI Simpósio Brasileiro de Informática na Educação;. , 2000. p.220 - 227

10.
PESSOA, J. M., MENEZES, C. S.
QSabe II: A Cooperative Service for Knowledge Appropriation andDiffusion Using the Internet In: ICECE 2000 - International Conference on Engineering and Computer Education, 2000, Sâo Paulo.
  Proceedings of ICECE 2000 - International Conference on Engineering and Computer Education. , 2000.

11.
SOUZA, R. S., MENEZES, C. S.
Social Interactions in Cooperative Learning Environments In: ICECE 2000 - International Conference on Engineering and Computer Education, 2000, São Paulo.
  Proceedings of ICECE 2000 - International Conference on Engineering and Computer Education. , 2000.

12.
VAREJAO, F. M., MENEZES, C. S.
Towards na ontological framework for knowledge-based design systems integrating requirements, artifacts and process In: Artificial Intelligence in Design 2000, 2000
  Proceedings of Artificial Intelligence in Design 2000. Kluwer Academic Publisher, 2000.

13.
SOUZA, R. S., MENEZES, C. S.
Um Sistema Inteligente para Apoio à Interação em Ambientes Cooperativos de Aprendizagem In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió.
  Anais do XI Simpósio Brasileiro de Informática na Educação. , 2000. p.274 - 281

14.
MENEZES, C. S., Cury, D., Bernardino, G.H.C.
AmCorA: Um Ambiente Cooperativo para Aprendizagem Construtivista Utilizando a Internet In: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba.
  Anais do X Simpósio Brasileiro de Informática na Educação. , 1999. p.333 - 340

15.
GAVA, T. B. S., MENEZES, C. S.
Ambientes Cooperativos para Aprendizagem Orientada a Projetos In: X Simpósio Brasileiro de Informática na Educação, 1999
  Anais do X Simpósio Brasileiro de Informática na Educação. , 1999.

16.
FALBO, R. A., MENEZES, C. S., ROCHA, A. R. C.
Assist-Pro: Um Assistente Baseado em Conhecimento para Apoiar a Definição de Processos de Software In: XIII Simpósio Brasileiro de Engenharia de Software, SBES'99, 1999, Frorianópolis.
  Anais do XIII Simpósio Brasileiro de Engenharia de Software, SBES'99. , 1999.

17.
OLIVEIRA, K. M., ROCHA, A. R. C., TRAVASSOS, G. H., MENEZES, C. S.
CORDIS: Assistência Automatizada no Desenvolvimento de Software em Cardiologia In: Simposio en Informática y Salud - 28 Jornadas Argentinas de Informática e Investigación Operativa, 1999, Buenos Aires.
  Anales de Simposio en Informática y Salud - 28 Jornadas Argentinas de Informática e Investigación Operativa. , 1999.

18.
GALOTA, C., OLIVEIRA, K. M., TRAVASSOS, G. H., MENEZES, C. S.
Defining and Building Domain-Oriented Software Development Environments In: 12th International Conference Software & Systems Engineering and their Applications (ICSSEA'99), 1999, Paris.
  Proceedings of 12th International Conference Software & Systems Engineering and their Applications (ICSSEA'99). , 1999.

19.
OLIVEIRA, K. M., ROCHA, A. R. C., TRAVASSOS, G. H., MENEZES, C. S.
O uso da Teoria do Domínio no Processo de Desenvolvimento de Software In: X Conferencia Internacional de Tecnologia de Software, 1999
  Anais da X Conferencia Internacional de Tecnologia de Software. , 1999.

20.
FALBO, R. A., MENEZES, C. S., ROCHA, A. R. C.
Um Servidor de Conhecimento de Processo de Software In: X Conferência Internacional de Tecnologia de Software, 1999, Florianópolis.
  ; Anais da X Conferência Internacional de Tecnologia de Software. , 1999.

21.
CRISTOVAO, H. M., MENEZES, C. S.
Um micromundo para auxiliar o aprendizado de frações In: ; X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba.
  Anais do X Simpósio Brasileiro de Informática na Educação. , 1999.

22.
TERRA JUNIOR, O., TAVARES, O. L., MENEZES, C. S.
Uma ferramenta inteligente para recuperação de informações em ambientes de educação a distancia In: X Simpósio Brasileiro de Informática na Educação, 1999
  Anais do X Simpósio Brasileiro de Informática na Educação. , 1999.

23.
OLIVEIRA, K. M., ROCHA, A. R. C., TRAVASSOS, G. H., MENEZES, C. S.
Using Domain-Knowledge in Software Development Environments In: Software Engineering and Knowledge Engineering - SEKE 99, 1999
  Proceedings of Software Engineering and Knowledge Engineering - SEKE 99. , 1999.

24.
FALBO, R. A., MENEZES, C. S., ROCHA, A. R. C.
Using Knowledge Servers to Promote Knowledge Integration in Software Engineering Environments In: 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, 1999
  Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99. , 1999.

25.
FALBO, R. A., MENEZES, C. S., ROCHA, A. R. C.
A Systematic Approach For Building Ontologies In: IBERAMIA- Iberoamerican Conference on Artificial Intelligence
  Proceedings of IBERAMIA-98. Lisboa, Portugal, 5-9 de outub: , 1998.

26.
FALBO, R. A., MENEZES, C. S., ROCHA, A. R. C.
Integração de Conhecimento Sobre Processo de Software Em Um Ambiente de Desenvolvimento de Software In: 9a Conferência Internacional em Tecnologia de Software
  Anais da 9a. CITS. Curitiba, Paraná: , 1998.

27.
MENEZES, C. S., ZAVARIS, S. C.
Um ambiente inteligente para apoio à aprendizagem de língua In: IX SBIE - Simpósio Brasileiro de Informática na Educação, 1998, Fortaleza.
  Anais do IX SBIE - Simpósio Brasileiro de Informática na Educação. , 1998.

28.
FALBO, R. A., MENEZES, C. S., ROCHA, A. R. C.
Using Ontologies To Improve Knowledge Integration In Software Engineering In: The World Multiconference on Systemics, Cibernetics and Informatics
  Anais do SCI'98. Orlando, Florida, U.S.A, 12-17: , 1998.

29.
SOUZA, R. S., MENEZES, C. S.
Utilizando a Internet para facilitar a aprendizagem de línguas In: Simpósio Brasileiro de Informática na Educação, 1998
  IX SBIE - Simpósio Brasileiro de Informática na Educação. , 1998.

30.
MENEZES, C. S., TAVARES, O. L.
A Networked Environment For Inquiry-Based Learning In: International Conference on Informational Technology for Competitiveness Experiences and Demands for Education and Training
  Anais. Florianopolis, Santa Catarina,: , 1997.

31.
CAVATI, C. R., TAVARES, O. L., MENEZES, C. S.
An Expert System For Helping The Dinamic Of The Lines Power Flow In: International Conference Applied Informatics
  Proceedings of the 15th ICAI. Innsbruck, Austria: , 1997. p.112 - 115

32.
MENEZES, C. S., PESSOA, J. M., TAVARES, O. L.
Qsabe - Trocando Experiência Sobre Informatica Educativa Em Uma Rede de Educadores In: Simpósio Brasileiro de Informática na Educação
  Anais do VIII SBIE. São José dos Campos, São Paulo: , 1997. p.563 - 579


33.
SCARDUA, L. A., MENEZES, C. S.
Train Dispatching Using Expert Systems In: 15th IASTED Conference Applied Informatics
  Proceedings of the 15th IASTED Conference Applied Informatics. Innsbruck, Austria: , 1997. p.108 - 111

34.
CRISTOVAO, H. M., MENEZES, C. S.
Um Modelo Para Avaliação Para Software Educacional In: Simpósio Brasileiro de Informática na Educação
  Anais do VIII SBIE. São José dos Campos, São Paulo: , 1997. v.anexo. p.1 - 16

35.
MENEZES, C. S., VALLI, M. C. P.
Uso de Planilha Eletrônica Como Instrumento de Apoio À Construção do Conhecimento In: Simpósio Brasileiro de Informática na Educação
  Anais do VIII SEMISH. São José dos Campos, São Paulo: , 1997. p.255 - 269

36.
CASTRO JUNIOR, A. N., MENEZES, C. S.
Uma Arquitetura Adequada à resolução de problemas de configuração In: I Simpósio Brasileiro de Automação Inteligente, 1993, Campinas-SP.
  Anais do ; I Simpósio Brasileiro de Automação Inteligente. , 1993.

37.
MENEZES, C. S., CASTRO JUNIOR, A. N.
Uma ferramenta baseada em lógica para resolver problemas de configuração In: XXV SBPO - Simpósio Brasileiro de Pesquisa Operacional, 1993
  Anais do XXV SBPO - Simpósio Brasileiro de Pesquisa Operacional. , 1993.

38.
MENEZES, C. S.
Arquitetura de Ambientes para Processamento de Conhecimentos In: I Workshop Internacional em Automação Inteligente, 1991, Vitória.
  Anais do I Workshop Internacional em Automação Inteligente. , 1991.

39.
MENEZES, C. S., CARVALHO, R. L.
Ambientes Multinivelados Para Processamento do Conhecimento In: XVII Seminário Nacional Integrado de Software e Hardware, 1990, Vitória-ES.
  Anais do XVII Semish. , 1990.


40.
MENEZES, C. S., TAVARES, O. L.
SAFO : Um ambiente multinivelado para processamento de conhecimento In: V SBIA, 1988, Natal.
  Anais do V SBIA. , 1988.

41.
MENEZES, C. S., STAA, A. V.
MOSAICO-E: Um ambiente Interativo para o projeto modular de programas In: II CONAI - Congresso Nacional de Automação Industrial, 1985, São Paaulo.
  Anais do II CONAI. , 1985.

42.
MENEZES, C. S., STAA, A. V.
Uma ferramenta de apoio ao estudo de microprogramação In: X SEMISH - Seminário Nacional de Software e Hardware, 1983
  Anais do X SEMISH. , 1983.

43.
MENEZES, C. S., STAA, A. V.
Um simulador de Micromáquinas In: II Simpósio de Software Básico para microcomputadores, 1982, São Paulo.
  Anais do II Simpósio de Software Básico para microcomputadores. , 1982.



Trabalhos resumidos publicados em anais de evento

1.
LOPES, C. M. A., MENEZES, C. S.
Um Ambiente Cooperativo para Recomendações Bibliográficas In: XI Simpósio Brasileiro de Informática na Educação, 2000, Maceió.
  Anais do XI Simpósio Brasileiro de Informática na Educação. , 2000. p.355 - 358

2.
CASTRO, G. P. C., Cury, D., MENEZES, C. S.
Um assistente de Perguntas para Ambiente de Aprendizagem Cooperativa In: XI Simpósio Brasileiro de Informática na Educação
  Anais do XI Simpósio Brasileiro de Informática na Educação. , 2000. p.432 - 434

3.
GAVA, T. B. S., MENEZES, C. S.
Monitoria Online: Um Ambiente para apoio ao atendimento extra-classe In: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba.
  Anais do X Simpósio Brasileiro de Informática na Educação. , 1999.

4.
BRITO, S. R., TAVARES, O. L., MENEZES, C. S.
Um ambiente para educação continuada em engenharia de software In: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba.
  Anais do X Simpósio Brasileiro de Informática na Educação. , 1999.

5.
SILVEIRA, S. Q., BAZZARELLA, L. B., MENEZES, C. S.
Sistemas Especialistas em Psicologia : Teste de Rorschach In: XXIII Reunião Anual de Psicologia, 1993
  Anais da XXIII Reunião Anual de Psicologia. , 1993.




Artigos completos publicados em periódicos

1.
MENEZES, C. S., PESSOA, J. M., TAVARES, O. L.
Qsabe - Trocando Experiência Sobre Informática Educativa Em Uma Rede de Educadores. Revista Brasileira de Informática na Educação. Florianópolis, Santa Catarina: , 1998.




Capítulos de livros publicados

1.
MENEZES, C. S.
Sistemas Multiagentes Aplicados A Construção de Software Educacional In: Livro da Primeira Escola Regional de Informática da SBC - Regional Rio de Janeiro-Espírito Santo (1998/março - 26 a 27) ed.Nova Friburgo, Rio de Janeiro : Gráfica da UERJ, 1998, p.258.

2.
MENEZES, C. S.
Modelagem Conceitual - O conhecimento Factual In: Engenharia do Conhecimento, 1986

3.
MENEZES, C. S.
Modelagem Conceitual - O conhecimento derivado In: Engenharia do Conhecimento, 1986




Softwares sem registro ou patente

1.
GAVA, T. B. S., MENEZES, C. S.
Moonline - Um ambiente para suporte às atividades extra-classe, 1998


2.
PESSOA, J. M., MENEZES, C. S., TAVARES, O. L.
QSabe, 1997


3.
CARVALHO, R. L., VIEIRA, N. J., MENEZES, C. S., TAVARES, O. L.
Safo - Um Sistema Baseado Em Lógica Para Desenvolvimento de Sistemas Baseados No Conhecimento, 1989





Dissertações de mestrado : orientador principal

1.
Claudia Mara Amigo Lopes. Amigo Online - Um Ambiente na Internet para Compatilhamento de Recomendações Bibliográficas. 2000. Dissertação (Informática) - Universidade Federal do Espirito Santo

2.
Rogério Quintão. Desenvolvimento Orientado a Agentes - Um estudo de caso com comércio eletrônico. 2000. Dissertação (Informática) - Universidade Federal do Espirito Santo

3.
Sérgio Carlos Zavaris. Ambientes Computacionais de Apoio a Atividades Cooperativas: Um experimento com a Língua Inglesa. 1999. Dissertação (Informática) - Universidade Federal do Espirito Santo

4.
Patrícia Moura. Um Framework para Projeto de Programas de Reutilização de Software. 1999. Dissertação (Informática) - Universidade Federal do Espirito Santo

5.
Tania Barbosa Salles Gava. Monitoria Online: Um Ambiente Na Internet Para Apoiar A Interação Enquanto Instrumento Facilitador do Processo Ensino-Aprendizagem. 1998. Dissertação - Universidade Federal do Espirito Santo

6.
Vitor Zamprogno Pereira. Um Servidor de Conhecimento Legal. 1998. Dissertação (Informática) - Universidade Federal do Espirito Santo

7.
Henrique Monteiro Cristovão. Ambientes Computacionais Para Apoio À Aprendizagem: Um Experimento Com Frações. 1997. Dissertação (Informática) - Universidade Federal do Espirito Santo

8.
Lodovico Ortilieb Faria. Sistema Especialista Em Controle de Processos. 1996. Dissertação (Informática) - Universidade Federal do Espirito Santo

9.
Leonardo de Azevedo Scardua. Sistema Especialista Para O Despacho Automático de Trens. 1996. Dissertação (Informática) - Universidade Federal do Espirito Santo

10.
Heráclito Amâncio Pereira Junior. Sistemas Baseados Em Conhecimento Para Controle da Gestão de Recursos Públicos. 1996. Dissertação (Informática) - Universidade Federal do Espirito Santo

11.
Luciana Mendonça. Uma Proposta Para Classificação de Componentes de Software Baseada Em Engenharia da Informação. 1995. Dissertação (Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro

12.
Alberto Nogueira de Castro Junior. Uma ferramenta baseada em lógica para tratar problemas de configuração. 1993. Dissertação (Informática) - Universidade Federal do Espirito Santo

13.
Dante Nardelli Junior. CAD para projetos de Sistemas de Informação. 1987. Dissertação (Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia

14.
Argemiro Filho. Modelo de Linguagem de Quarta Geração. 1987. Dissertação (Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia



Dissertações de mestrado : co-orientador

1.
Osvaldo GomesTerra Júnior. Um Ambiente Multiagentes para Recuperação de Informação. 1999. Dissertação (Informática) - Universidade Federal do Espirito Santo

2.
José Marques Pessoa. Desenvolvimento de Software Orientado A Agentes: Uma Experiência Com Agentes de Interface. 1997. Dissertação (Informática) - Universidade Federal do Espirito Santo



Teses de doutorado : co-orientador

1.
Ricardo de Almeida Falbo. Integração de Conhecimento Em Um Ambiente de Desenvolvimento de Software. 1998. Tese (Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro





Indicadores de produção

Produção bibliográfica 52
    Artigos publicados em periódicos 1
           Completos 1
    Trabalhos publicados em anais de eventos 48
           Completos 43
           Resumos 5
    Livros ou capítulos de livros 3
           Capítulos de livros publicados 3
Produção técnica 3
    Softwares 3
Orientação concluída 17
    Dissertações de mestrado 16
    Teses de doutorado 1