Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
1 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Francisco de Assis Cartaxo Pinheiro
Outros links:
Diretório de grupos de
possui graduaçã o em Matematica - modalidade informatica pela Universidade do Estado do
Rio de Janeiro (1987), mestrado em Ciê ncia da Computaçã o pela Universidade de Brasília
(1992) e doutorado em Computer Science - University of Oxford (1996). Atualmente é professor
adjunto da Universidade de Brasília. Tem experiê ncia na á rea de Ciê ncia da Computaçã o,
com ê nfase em Sistemas de Informaçã o, atuando principalmente nos seguintes temas:
engenharia de software, engenharia de requisitos e processos de desenvolvimento de software.
(Texto informado pelo autor)
pesquisa
Última atualização do currículo em 12/09/2006
Endereço para acessar este CV:
http://lattes.cnpq.br/4822809874067919
Dados pessoais
Nome
Nome em citações
bibliográficas
Sexo
Endereço profissional
Francisco de Assis Cartaxo Pinheiro
Pinheiro, F. A. C.
Masculino
Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Brasilia
Asa Norte
70919-970 - BRASILIA, DF - Brasil - Caixa-Postal: 4466
Telefone: (61) 33072703 Ramal: 222 Fax: (61) 32732131
URL da Homepage: http://www.cic.unb.br/~facp/facphome.html
Endereço eletrônico facp cic unb.br
Formação acadêmica/Titulação
1992 - 1996
Doutorado em Computer Science.
University of Oxford, UO, Inglaterra.
Título: Design of a Hyper-Environment for Tracing Object-Oriented Requirements, Ano de Obtenção: 1997.
Orientador: Prof. Joseph A. Goguen and Dr. Grant Malcolm .
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPQ, Brasil.
Palavras-chave: Engenharia de Software; Engenharia de Requisitos; Software Engineering; Requirements
management; Requirements traceability.
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.
Setores de atividade: Desenvolvimento de programas (software).
1990 - 1992
Mestrado em Ciência da Computação.
Universidade de Brasília, UNB, Brasil.
Título: Análise Semântica dos Modelos de Representação do Conhecimento, Ano de Obtenção: 1992.
Orientador: Dr Gentil José de Lucena Filho.
Palavras-chave: Inteligencia Artificial; Representacao do Conhecimento.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial /
Especialidade: Representação do Conhecimento.
1984 - 1987
Graduação em Matemática - modalidade Informática. Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Título: Bacharel em Matemática - Modalidade Informática.
Atuação profissional
Universidade de Brasília, UNB, Brasil.
Vínculo institucional
1997 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação
exclusiva.
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
2 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Atividades
01/2004 - Atual Atividades de Participação em Projeto, Departamento de Ciência da Computação, .
Projetos de pesquisa
SITSCENE - Situated Modelling of Scenarios
9/1997 - Atual Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Linhas de pesquisa
Engenharia de Software, com ênfase no uso de métodos formais para elicitação e especificação de
requisitos.
9/1997 - Atual Ensino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Trabalho de Graduação
Estudos em Sistemas de Computação
Estudos em Sistemas de Informação
Banco de Dados
Computação Básica
Engenharia de Software
9/2001 - 9/2003 Atividades de Participação em Projeto, .
Projetos de pesquisa
WEST - Web-oriented Software Technology
9/1997 - 1/2003 Ensino, Ciência da Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Engenharia de Software I
Engenharia de Software II
Métodos Formais em Engenharia de Software
Tópicos em Engenharia de Software
10/2000 - 9/2001 Atividades de Participação em Projeto, .
Projetos de pesquisa
PER - Plataforma em Engenharia de Requisitos
9/1999 - 3/2000 Conselhos, Comissões e Consultoria, Centro de Apoio Ao Desenvolvimento Tecnológico, .
Cargo ou função
Membro titular de comissão s/propriedade intelectual.
Brb Banco de Brasília S A, BRB, Brasil.
Vínculo institucional
1989 - 1997
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
7/1989 - 8/1997 Serviços técnicos especializados .
Serviço realizado
Análise de sistemas de informação.
Cap Software Ltda, CAP, Brasil.
Vínculo institucional
1988 - 1989
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
7/1988 - 3/1989 Direção e administração, .
Cargo ou função
Coordenador de projeto.
Mpl Consultores Associados Ltda, MPL, Brasil.
Vínculo institucional
1987 - 1988
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
3 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Atividades
8/1987 - 6/1988 Direção e administração, .
Cargo ou função
Gerente do escritótio de Macaé-RJ.
Datamec Sistemas e Processamento de Dados S A, DATAMEC, Brasil.
Vínculo institucional
1984 - 1987
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Vínculo institucional
1982 - 1984
Vínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40
Atividades
12/1984 - 5/1987 Serviços técnicos especializados .
Serviço realizado
Análise de sistemas de informação.
12/1984 - 5/1987 Serviços técnicos especializados .
Serviço realizado
Modelagem de banco de dados.
1/1982 - 11/1984 Serviços técnicos especializados .
Serviço realizado
Programação COBOL.
Banco Mercantil do Ceará S A, BMC, Brasil.
Vínculo institucional
1978 - 1979
Vínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40
Atividades
6/1978 - 9/1979 Serviços técnicos especializados .
Serviço realizado
Programação assembler para máquinas Burroughs (Unisys).
Construtora Omar O’grady S A, COG, Brasil.
Vínculo institucional
1977 - 1978
Vínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40
Vínculo institucional
1977 - 1977
Vínculo: Celetista, Enquadramento Funcional: Estagiário de programação, Carga horária: 40
Atividades
5/1977 - 5/1978 Serviços técnicos especializados .
Serviço realizado
Programação assembler para máquinas Burroughs (Unisys).
1/1977 - 5/1977 Estágios .
Estágio realizado
Estagiário em programação.
Linhas de Pesquisa
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
4 of 10
1.
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Engenharia de Software, com ênfase no uso de métodos formais para elicitação e especificação 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.
Palavras-chave: Engenharia de Requisitos; Engenharia de Software; Scenarios; situation theory; Formal Methods.
Projetos de Pesquisa
2001 - 2003
WEST - Web-oriented Software Technology
Descrição: Projeto CYTED subprograma VII.18. Projeto de cooperação internacional envolvendo 11
universidades de 7 países iberoamericanos para desenvolvimento de tecnologías baseadas na Web. Países
participantes: Espanha, Brasil, Portugal, Argentina, Paraguai, Venezuela e Colombia. Valor financiado: US$
50.000,00 - US$ 60.000,00 / ano..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado
profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Julio Cesar Sampaio do Prado Leite - Integrante / Jaelson Brelaz de Castro - Integrante / Oscar
Pastor Lopez - Coordenador / Francisco de Assis Cartaxo Pinheiro - Integrante.
Finaciador(es): Programa de Ciencia y Tecnología Para El Desarrollo - Cooperação.
Número de produções C, T & A: 5.
2000 - 2001
PER - Plataforma em Engenharia de Requisitos
Descrição: Plataforma Tecnológica em Engenharia de Requisitos. Projeto CDT-PADCT referência
02-PLAT-01/98-01/01-36. Projeto de curta duração para analisar o estado da prática na área de Engenharia de
Requisitos, e propor projetos cooperativos com os parceiros empresariais. Instituições: PUC-Rio, UFPE, UnB,
BB, SERPRO Valor financiado: R$ 168.480,74, distribuídos do seguinte modo: CNPQ: R$ 119.946,50 (processo
62.0029/00-4); Contrapartida: R$ 48.534,24.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado
profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Julio Cesar Sampaio do Prado Leite - Coordenador / Jaelson Brelaz de Castro - Integrante /
Francisco de Assis Cartaxo Pinheiro - Integrante.
Finaciador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
Número de produções C, T & A: 4.
2004 - Atual
SITSCENE - Situated Modelling of Scenarios
Descrição: Especificação e desenvolvimento de ambientes para a modelagem de cenários. Atualmente a
investigação está centrada no uso da Teoria das Situações para especificar a descrição dos eventos que
compõem um cenário. O objetivo é possibilitar que descrições informais, baseadas em linguagem natural,
possam ser utilizadas em atividades que requerem rigor na sua concepção e execução, como as atividades de
verificação e validação e a elaboração de um projeto inicial de arquitetura. Atualmente este projeto não conta
com financiamento formal, tendo entretanto recebido apoio da FINATEC para apresentação de resultados
iniciais na COMPSAC (evento classificada pela CAPES como QUALIS A). .
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Francisco de Assis Cartaxo Pinheiro - Coordenador.
Finaciador(es): Fundação de Empreendimentos Científicos e Tecnológicos - Outra.
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: Sistemas de Informação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas
da Computação / Especialidade: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas
da Computação / Especialidade: Engenharia de Requisitos.
4.
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.
Idiomas
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
5 of 10
Compreende
Inglês (Bem), Espanhol (Razoavelmente).
Fala
Inglês (Bem), Espanhol (Razoavelmente).
Lê
Inglês (Bem), Espanhol (Razoavelmente).
Escreve
Inglês (Bem), Espanhol (Razoavelmente).
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Prêmios e títulos
2002
Best Paper, TCRE’02 - I International Workshop on Time-Constrained Requirements Engineering, Essen,
Germany.
1996
Best Paper, ICRE’96 - International Conference on Requirements Engineering, Colorado, USA..
Ver informações complementares
Produção em C,T & A
Produção bibliográfica
Produção técnica
Produção bibliográfica
Artigos completos publicados em periódicos
1.
2.
3.
4.
SILVA, Luzardo Pereira da ; Pinheiro, F. A. C. . Mapeando Estruturas Organizacionais em Categorias de Workflow. IP. Informática
Pública, Belo Horizonte, v. 6, n. 1, p. 11-32, 2004.
Pinheiro, F. A. C. ; LEITE, Julio Cesar Sampaio Do Prado ; CASTRO, Jaelson F B de . Requirements Engineering Technology
Transfer: An Experience Report. Journal of Technology Transfer, Kluwer Academic Publishers, v. 28, n. 2, p. 159-165, 2003.
Pinheiro, F. A. C. . Requirements Honesty. Requirements Engineering (London), Springer-Verlag, Heidelberg, v. 8, n. 3, p.
183-192, 2003.
Pinheiro, F. A. C. ; GOGUEN, J. A. . An Object-oriented Tool for Tracing Requirements. IEEE Software, IEEE Computer
Society, v. 13, n. 2, p. 52-64, 1996.
Livros publicados/organizados ou edições
1.
Pinheiro, F. A. C. . Fundamentos de Computação e Orientação a Objetos. 1. ed. Rio de Janeiro, RJ: LTC Livros Técnicos e
Científicos Ltda., 2006. 540 p.
Capítulos de livros publicados
1.
Pinheiro, F. A. C. . Database Support for Workflow Management Systems. In: Laura C. Rivero; Jorge H. Doorn; Viviana E.
Ferraggine. (Org.). Encyclopedia of Database Technologies and Applications. Hershey, PA, USA: Idea Group Reference, 2006, v. , p.
158-161.
2.
Pinheiro, F. A. C. . Riscos e Oportunidades no Desenvolvimento de uma Política para a Tecnologia da Informação. In: Conselho de
Altos Estudos da Camâra de Deputados. (Org.). O Mercado de Software no Brasil. Brasília, DF: Camâra dos Deputados, 2006, v. ,
p. -.
3.
Pinheiro, F. A. C. . Requirements Traceability. In: Julio Cesar Sampaio do Prado Leite; Jorge H. Doorn. (Org.). Perspectives on
Software Requirements. Dordrecht, The Netherlands: Kluwer Academic Publishers, 2004, v. , p. 91-113.
Trabalhos completos publicados em anais de congressos
1.
Pinheiro, F. A. C. . Situated Modelling of Scenarios. In: 28th Annual International Computer Software and Applications
Conference (COMPSAC 2004), 2004, Hong Kong. Proceedings, COMPSAC 2004: Developing Trustworthy Software Systems. Los
Alamitos, CA : IEEE Computer Society Press, 2004.
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
6 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
2.
SILVA, Luzardo Pereira da ; Pinheiro, F. A. C. . Eliciting Requirements for Identifying Workflow Categories. In: VI Workshop on
Requirements Engineering (WER’03), 2003, Piracicaba, SP. Proceedings, WER’03: Workshop on Requirements Engineering. Rio de
Janeiro : PUC Editora, 2003.
3.
Pinheiro, F. A. C. . Preliminary Thoughts on Using Situation Theory for Scenario Modelling. In: V Workshop Iberoamericano de
Ingeniería de Requisitos y Ambientes de Software (IDEAS’02), 2002, Havana, Cuba. Proceedings, V Workshop Iberoamericano de
Ingeniería de Requisitos e Ambientes Software. La Habana, Cuba : Universidad Nacional, 2002.
4.
Pinheiro, F. A. C. ; LOPEZ, Isabel Días . Writing Use Cases Modelled with Situation Theory. In: V Workshop on Requirements
Engineering, WER’02, 2002, Valencia, Espanha. Proceedings, V Workshop on Requirements Engineering, 2002. p. 29-39.
5.
Pinheiro, F. A. C. . Requirements Honesty. In: International Workshop on Time-Constrained Requirements Engineering (TCRE’02),
2002, Essen, Germany. Proceedings, International Workshop on Time-Constrained Requirements Engineering, online, 2002.
6.
Pinheiro, F. A. C. . Formal and Informal Aspects of Requirements Traceability. In: III Workshop on Requirements Engineering,
WER’02, 2000, Rio de Janeiro. Proceedings, III Workshop on Requirements Engineering, 2000.
7.
Pinheiro, F. A. C. . An Object-Oriented Library for Tracing Requirements. In: 28 JAIIO - Jornadas Argentinas de Informática e
Investigación Operativa, 1999, Buenos Aires. Proceedings, WER’99: II Ibero-American Workshop on Requirements Engineering,
1999. p. 187-197.
8.
MOURA, A. L. ; Pinheiro, F. A. C. . Modularizando a Gerencia de Configuracao de Software. In: XII SBES - Simposio Brasileiro de
Engenharia de Software, 1998, Maringá. Proceedings, XII SBES - Simposio Brasileiro de Engenharia de Software, 1998. p. 237-250.
9.
Pinheiro, F. A. C. . Da Importância dos Modelos de Desenvolvimento de Software para a Engenharia de Requisitos. In: I Workshop
on Requirements Engineering, WER’98, 1998, Maringá - PR. Proceedings, WER’98 - Workshop de Engenharia de Requisitos, 1998.
p. 99-107.
10.
Pinheiro, F. A. C. ; LUCENA FILHO, G. J. . Teoria das Situacoes e Analise Semantica das Linguagens de Representacao do
Conhecimento. In: VIII Simposio Brasileiro de Inteligencia Artificial, 1991, Brasília - DF. Anais do VIII Simposio Brasileiro de
Inteligencia Artificial, 1991. p. 73-81.
11.
Pinheiro, F. A. C. ; COSTA, F. D. P. ; FEITOSA, M. A. G. ; GADOTTI, A. . O Computador como Instrumento de Auxilio à Análise das
Funcoes Psicofísicas. In: XXI Reuniao Anual da Sociedade de Psicologia de Ribeirao Preto, 1991, Ribeirão Preto - SP. Anais XXI
Reuniao Anual da Sociedade de Psicologia de Ribeirao Preto, 1991.
12.
Pinheiro, F. A. C. ; LUCENA FILHO, G. J. ; RIVANO, N. S. . Grafos Conceituais Circunscritos. In: VII Simposio Brasileiro de
Inteligencia Artificial, 1990. Anais do VII Simposio Brasileiro de Inteligencia Artificial, 1990. p. 202-215.
Resumos publicados em anais de congressos
1.
Pinheiro, F. A. C. ; GOGUEN, J. A. . An Object-Oriented Tool for Tracing Requirements. In: International Conference on
Requirements Engineering (ICRE’96), 1996, Colorado Springs, Colorado. Proceedings, ICRE’96 International Conference on
Requirements Engineering. Los Alamitos, CA : IEEE Computer Society Press, 1996.
Demais tipos de produção bibliográfica
1.
Pinheiro, F. A. C. . Design of a Hyper-Environment for Tracing Object-Oriented Requirements. Oxford, UK: Oxford University
Computing Laboratory, 1997 (Tese de doutorado).
Produção técnica
Softwares sem registro de patente
1.
Pinheiro, F. A. C. . TOOR - Traceability of Object-Oriented Requirements. 1996.
Produtos tecnológicos
1.
Pinheiro, F. A. C. . Projeto parcial de arquitetura do SICOP. 2002.
Trabalhos técnicos
1.
Pinheiro, F. A. C. . Consultor ad hoc FAPESB, Fundação de Amparo à Pesquisa do Estado da Bahia. 2006.
2.
Pinheiro, F. A. C. . Revisor. Guide to Software Engineering Body of Knowledge (SWEBOK). 2004.
3.
Pinheiro, F. A. C. . Revisor. Journal of Brazilian Computer Society, special issue on Time-Constrained Software Processes. 2004.
4.
Pinheiro, F. A. C. . Revisor. Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Program in Software
Engineering. 2004.
5.
Pinheiro, F. A. C. . Consultor ad hoc CNPq, Projeto RHAE 1-99. 1999.
6.
Pinheiro, F. A. C. . Consultor ad hoc CNPq, PADCT III - subprograma CE. 1998.
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
7 of 10
7.
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Pinheiro, F. A. C. . Consultor ad hoc CNPq, PADCT III - subprograma PCRS. 1998.
Demais tipos de produção técnica
1.
Pinheiro, F. A. C. . Desenvolvimento de Software: Problemas e Oportunidades. 2005. (Apresentação de Trabalho/Seminário).
2.
Pinheiro, F. A. C. . Situated Modelling of Scenarios. 2004. (Apresentação de Trabalho/Conferência ou palestra).
3.
Pinheiro, F. A. C. . Parecer. Revalidação de diploma de graduação. 2004. (Parecer).
4.
Pinheiro, F. A. C. . Incorporating Traceability in Software Applications. 2001. (Apresentação de Trabalho/Comunicação).
5.
Pinheiro, F. A. C. . Situation Theoretical Scenarios. 2001. (Apresentação de Trabalho/Comunicação).
6.
Pinheiro, F. A. C. . Formal and Informal Aspects of Requirements Tracing. 2001. (Apresentação de Trabalho/Comunicação).
7.
Pinheiro, F. A. C. . A Requirements Engineering Hello World Program. 2001. (Apresentação de Trabalho/Comunicação).
8.
Pinheiro, F. A. C. . Técnicas de Captura, Análisis, Especificación y Evolución de Requisitos para Aplicaciones WEB. 2001. .
9.
Pinheiro, F. A. C. . Pesquisa Acadêmica. 2000. (Apresentação de Trabalho/Outra).
10.
Pinheiro, F. A. C. . A Pesquisa como Condição para o Desenvolvimento Tecnológico e Aprimoramento Profissional. 1999.
(Apresentação de Trabalho/Conferência ou palestra).
11.
Pinheiro, F. A. C. . Ética e Postura Profissional. 1999. (Apresentação de Trabalho/Conferência ou palestra).
12.
Pinheiro, F. A. C. . Modularizando o Processo de Desenvolvimento. 1998. (Apresentação de Trabalho/Conferência ou palestra).
13.
Pinheiro, F. A. C. . Rastreamento de Requisitos. 1997. (Apresentação de Trabalho/Seminário).
14.
Pinheiro, F. A. C. . Requirements Traceability and Quality Control of Software Systems. 1997. (Apresentação de
Trabalho/Conferência ou palestra).
15.
Pinheiro, F. A. C. . Formal and Informal Aspects of Requirements Tracing. 1996. (Apresentação de Trabalho/Conferência ou
palestra).
Bancas
Participação em bancas
examinadoras
Participação em bancas de
comissões julgadoras
Participação em bancas examinadoras
Dissertações
1.
CASTRO, Jaelson Freire Brelaz de; VASCONCELOS, Alexandre Marcos Lins de; Pinheiro, F. A. C.. Participação em banca de Ana
Alice Nascimento Spreafico Monteiro. Modelagem de Negócio na Prática: Um Método para Suportar a Compreensão e
Comunicação das Necessidades dos Negócios. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade
Federal de Pernambuco.
2.
MEIRA, Silvio Romero de Lemos; CASTRO, Jaelson Freire Brelaz de; Pinheiro, F. A. C.. Participação em banca de Carina Frota
Alves. Seleção de Produtos de Software Utilizando uma Abordagem Baseada em Engenharia de Requisitos. 2001. Dissertação
(Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
3.
LOYOLLA, Waldomiro P D de C; GUADAGNIN, Renato; Pinheiro, F. A. C.. Participação em banca de Brena Cristina Pereira Sobral.
Impactos Organizacionais na Implementação das Tecnologias do Trabalho em Grupo. 2001. Dissertação (Mestrado em Gestão do
Conhecimento e da Tecnologia da Informação) - Universidade Católica de Brasília.
4.
MATTOS, Luiz Antonio da Frota; Pinheiro, F. A. C.. Participação em banca de Rafael Almeida de Paula. LIKE, Uma Proposta mais
Eficiente para a Troca Segura e Autenticada de Chaves Criptográficas Através da Criptoassinatura. 2001. Dissertação (Mestrado
em Ciência da Computação) - Universidade de Brasília.
5.
MATTOS, Luiz Antonio da Frota; Pinheiro, F. A. C.. Participação em banca de Clóvis Freire Junior. Aplicação da CAPSL na
Especificação de Protocolos Criptográficos. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
8 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
6.
Pinheiro, F. A. C.. Participação em banca de Luiz Manoel Rocha Gadelha Júnior. Aplicações de Técnicas de Reescrita ao Problema
da Palavra em Teoria dos Grupos. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
7.
BURNETT, Roberto Carlisle; CALSAVARA, Alcides; CASTRO, Jaelson; LEITE, Julio Cesar Sampaio Do Prado; Pinheiro, F. A. C..
Participação em banca de Edna Pacheco Zanlorenci. Descrição e Qualificação de Requisitos: Um Modelo Aplicável à Análise e
Validação. 1999. Dissertação (Mestrado em Informática Aplicada) - Pontifícia Universidade Católica do Paraná.
8.
NASCIMENTO, Maria Elenita Menezes; Pinheiro, F. A. C.. Participação em banca de José Roberto Valentim. Avaliação de
Metodologias para Implementação de Projetos de Data Wharehouse: Um Estudo de Caso. 1999. Dissertação (Mestrado em
Ciência da Computação) - Universidade de Brasília.
9.
MOURA, Hermano Perrelli de; CARVALHO FILHO, Edson Costa de Barros; Pinheiro, F. A. C.. Participação em banca de Lúcia
Rosângela David Bastos. Proposta de Arquitetura de Sistemas Baseada na Metodologia de Processamento por Eventos. 1998.
Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
10.
SAMPAIO, Augusto César Alves; MEIRA, Silvio Romero de Lemos; Pinheiro, F. A. C.. Participação em banca de Denise de Oliveira
Dias Neves. Desenvolvimento de Software como um Processo Contínuo e Reversível Usando BON e Java. 1997. Dissertação
(Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
11.
RINCÓN, Maurício Ayala; POUBEL, Haydeé Werneck; Pinheiro, F. A. C.. Participação em banca de Yukiko Massago. Formalismos
do Paradigma de Programação Funcional-Lógica. 1997. Dissertação (Mestrado em Matemática) - Universidade de Brasília.
Teses de doutorado
1.
BERRY, Daniel; LEITE, Julio Cesar Sampaio Do Prado; Pinheiro, F. A. C.. Participação em banca de Karin Koogan Breitman.
Evolução de Cenários. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
2.
MEIRA, Silvio Romero de Lemos; NUNES, Daltro José; VASCONCELOS, Alexandre Marcos Lins de; CARVALHO FILHO, Edson
Costa de Barros; Pinheiro, F. A. C.. Participação em banca de Fernanda Maria Ribeiro Alencar. Mapeando a Modelagem
Organizacional em Especificação Precisa. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de
Pernambuco.
Qualificações de doutorado
1.
VASCONCELOS, Alexandre Marcos Lins de; LEITE, Julio Cesar Sampaio Do Prado; Pinheiro, F. A. C.. Participação em banca de
Victor Francisco Araya Santander. Integrando Modelagem Organizacional com Técnicas Baseadas em Cenários na Engenharia de
Requisitos. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
Trabalhos de Conclusão de Curso de graduação
1.
ALBUQUERQUE, Fernando; MELO, Alba; Pinheiro, F. A. C.. Participação em banca de Luciana Assis e Tiago Marques. A
Programação Orientada a Aspectos e uma Avaliação Prática de seus Benefícios. 2003. Trabalho de Conclusão de Curso
(Graduação em Ciência da Computação) - Universidade de Brasília.
2.
ALBUQUERQUE, Fernando; Pinheiro, F. A. C.. Participação em banca de Humberto Costa Tarchetti e André Benevenuto.
Testabilidade de Software: Conceitos, Aspectos e Aplicações. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da
Computação) - Universidade de Brasília.
Participação em bancas de comissões julgadoras
Concurso público
1.
NASCIMENTO, Maria Elenita Menezes; JACOBI, Ricardo Pezzuol; CARVALHO, Marco Aurélio de; Pinheiro, F. A. C.. Comissão
Examinadora do Concurso Público para Docentes Universidade de Brasília, Departamento de Ciência da Computação. 2002.
Universidade de Brasília.
Eventos
Participação em eventos
1.
Situated Modelling of Scenarios.28th Annual International Computer Software and Applications Conference (COMPSAC 2004). 2004.
(Participações em eventos/Congresso).
2.
V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software.V Workshop Iberoamericano de Ingeniería de
Requisitos y Ambientes de Software (IDEAS’02). 2002. (Participações em eventos/Oficina).
3.
Workshop on Requirements Engineering.V Workshop on Requirements Engineering, WER’02. 2002. (Participações em
eventos/Oficina).
4.
VIII Jornadas Iberoamericanas de Informática: Tecnología de Software para Ambiente WEB.VIII Jornadas Iberoamericanas de
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
9 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Informática: Tecnología de Software para Ambientes Web. 2001. (Participações em eventos/Encontro).
5.
III Workshop on Requirements Engineering.III Workshop on Requirements Engineering, WER’02. 2000. (Participações em
eventos/Oficina).
6.
II Ibero-American Workshop on Requirements Engineering.28 JAIIO - Jornadas Argentinas de Informática e Investigación Operativa.
1999. (Participações em eventos/Oficina).
7.
XII SBES - Simpósio Brasileiro de Engenharia de Software.XII SBES - Simposio Brasileiro de Engenharia de Software. 1998.
(Participações em eventos/Simpósio).
8.
WER’98 - I Workshop em Engenharia de Requisitos.I Workshop on Requirements Engineering, WER’98. 1998. (Participações em
eventos/Oficina).
9.
International Workshop on Requirements Engineering: Franeworks for Quality.Workshop on Requirements Engineering: Frameworks
for Quality. 1997. (Participações em eventos/Oficina).
10.
Workshop on Formal Methods and Requirements Engineering: Challenges and Synergies.Workshop on Formal Methods and
Requirements Engineering: Challenges and Synergies. 1996. (Participações em eventos/Oficina).
11.
XXI Reunição Anual da Sociedade de Psicologia de Ribeirão Preto.XXI Reuniao Anual da Sociedade de Psicologia de Ribeirao
Preto. 1991. (Participações em eventos/Simpósio).
12.
.Inteligência Artificial, Cérebro e Cognição. 1989. (Participações em eventos/Simpósio).
13.
.I Encontro de Arte e Tecnologia da UnB. 1989. (Participações em eventos/Encontro).
14.
.XVI Semana de Filosofia Heidegger Cem Anos. 1989. (Participações em eventos/Encontro).
Organização de eventos
1.
Pinheiro, F. A. C. ; OLIVEROS, A. . II Workshop on Requirements Engineering, WER’99. 1999. (Organização de evento/Congresso).
2.
Pinheiro, F. A. C. ; LEITE, Julio Cesar Sampaio Do Prado ; CASTRO, J. F. B. . I Workshop on Requirements Engineering, WER’98.
1998. (Organização de evento/Congresso).
3.
Pinheiro, F. A. C. . IV Workshop on Requirements Engineering, WER’01. 2001. (Organização de evento/Congresso).
4.
Pinheiro, F. A. C. . V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, IDEAS’02. 2002.
(Organização de evento/Congresso).
5.
Pinheiro, F. A. C. . III Workshop on Requirements Engineering, WER’00. 2000. (Organização de evento/Congresso).
6.
Pinheiro, F. A. C. . V Workshop on Requirements Engineering, WER’02. 2002. (Organização de evento/Congresso).
7.
Pinheiro, F. A. C. . VI Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, IDEAS’03. 2003.
(Organização de evento/Congresso).
8.
Pinheiro, F. A. C. . International Workshop on Time-Constrained Requirements Engineering (TCRE’02). 2002. (Organização de
evento/Congresso).
9.
Pinheiro, F. A. C. . Workshop on Requirements Engineering for Adaptative Architectures. 2003. (Organização de evento/Congresso).
10.
Pinheiro, F. A. C. . VI Workshop on Requirements Engineering, WER’03. 2003. (Organização de evento/Congresso).
11.
Pinheiro, F. A. C. . VII Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, IDEAS’04. 2004.
(Organização de evento/Congresso).
12.
Pinheiro, F. A. C. . VIII Workshop Ibero-Americano de Ingeniería de Requisitos y Ambientes de Software, IDEAS’05. 2005.
(Organização de evento/Congresso).
13.
Pinheiro, F. A. C. . VII Workshop on Requirements Engineering, WER’04. 2004. (Organização de evento/Congresso).
14.
Pinheiro, F. A. C. . VIII Workshop on Requirements Engineering, WER’05. 2005. (Organização de evento/Congresso).
15.
Pinheiro, F. A. C. . IX Workshop on Requirements Engineering, WER’06. 2006. (Organização de evento/Congresso).
16.
Pinheiro, F. A. C. . 29th Annual International Computer Software and Application Conference (COMPSAC). 2005. (Organização de
evento/Congresso).
17.
Pinheiro, F. A. C. . 30th Annual International Computer Software and Application Conference (COMPSAC). 2006. (Organização de
evento/Congresso).
02-05-2007 10:11
Currículo do Sistema de Currículos Lattes (Francisco de Assis Cartaxo P...
10 of 10
http://buscatextual.cnpq.br/buscatextual/visualizacv.jsp?id=K4793937T5
Orientações
Orientações concluídas
Supervisões e orientações concluídas
Dissertação de mestrado
1.
Luzardo Pereira da Silva. Uma Proposta para Mapeamento de Estruturas Organizacionais Clássicas em Categorias de Workflow.
2003. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, . Orientador: Francisco de Assis Cartaxo
Pinheiro.
2.
Edigar Antonio Diniz Junior. Requisitos para Facilitar a Utilização de Métodos Formais Aplicados à Linguagem de Especificação
FOOPS. 2001. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, . Orientador: Francisco de Assis
Cartaxo Pinheiro.
3.
João Alberto de Oliveira Lima. Modelo para Especificação de Requisitos de Negócios Baseado em Regras de Negócios Utilizando
RM-ODP. 2000. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, . Orientador: Francisco de
Assis Cartaxo Pinheiro.
4.
Andre Luiz Moura. Um Modelo para Contextualizar a Gerência de Configuração de Software. 1999. 0 f. Dissertação (Mestrado em
Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador:
Francisco de Assis Cartaxo Pinheiro.
5.
Vicente de Paulo Brandão Fernandes. Modelo Espiral aplicado à Construção de um Data Wharehouse. 1999. 0 f. Dissertação
(Mestrado em Ciência da Computação) - Universidade de Brasília, . Orientador: Francisco de Assis Cartaxo Pinheiro.
Trabalho de conclusão de curso de graduação
1.
Bruno Teixeira Guimarães e Henrique Evaristo Matos. Sistema de Apoio à Geração de Cursos Baseados na Internet. 2003. 0 f.
Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de
Assis Cartaxo Pinheiro.
2.
André Veiga e Rafael Farnes. Jmetrics - Analisador de Qualidade de Projetos Java. 1999. 0 f. Trabalho de Conclusão de Curso.
(Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
3.
Ana Cecília Brito T Rodrigues e Mariana de Souza Medeiros. TOOL - Biblioteca Orientada a Objetos para Rastreamento de
Requisitos. 1999. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília.
Orientador: Francisco de Assis Cartaxo Pinheiro.
4.
Márcio de Farias Magalhães e Marcelo Matos Viana. Desenvolvimento Orientado a Objetos de Sistemas Funcionais: um estudo de
caso. 1998. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador:
Francisco de Assis Cartaxo Pinheiro.
Outras informações relevantes
Secretário-Geral da Associção dos Docentes da Universidade de Brasília - Seção Sindical (ADUnB-S.Sind.),
eleito para o biênio 2006-2008..
Página gerada pelo Sistema Currículo Lattes em 02/05/2007 às 10:08:56
02-05-2007 10:11