Francisco de Assis Cartaxo Pinheiro

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 Ciência da Computação pela Universidade de Oxford, Reino Unido (1997). 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)

Última atualização do currículo em 16/04/2009
Endereço para acessar este CV:
http://lattes.cnpq.br/4822809874067919
Dados pessoais
NomeFrancisco de Assis Cartaxo Pinheiro
Nome em citações bibliográficasPinheiro, F. A. C.
SexoMasculino
Endereço profissionalUniversidade 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

Formação acadêmica/Titulação
1992 - 1996Doutorado 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, , .
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 - 1992Mestrado 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 - 1987Graduaçã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.
Atividades
01/2004 - AtualAtividades de Participação em Projeto, Departamento de Ciência da Computação, .
Projetos de pesquisa
SITSCENE - Situated Modelling of Scenarios
9/1997 - AtualPesquisa 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 - AtualEnsino, Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Programação Sistemática
Banco de Dados
Computação Básica
Engenharia de Software
Estudos em Sistemas de Computação
Estudos em Sistemas de Informação
Trabalho de Graduação
9/2001 - 9/2003Atividades de Participação em Projeto, .
Projetos de pesquisa
WEST - Web-oriented Software Technology
9/1997 - 1/2003Ensino, 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/2001Atividades de Participação em Projeto, .
Projetos de pesquisa
PER - Plataforma em Engenharia de Requisitos
9/1999 - 9/2001Conselhos, Comissões e Consultoria, Decanato de Assuntos Comunitários, .
Cargo ou função
Membro supleto do IE junto ao Conselho de Assuntos Comunitários.
9/1998 - 9/2000Conselhos, Comissões e Consultoria, Instituto de Exatas, .
Cargo ou função
Representante do departamento junto ao conselho do instituto.
9/1999 - 3/2000Conselhos, 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/1997Serviç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/1989Direçã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
Atividades
8/1987 - 6/1988Direçã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/1987Serviços técnicos especializados .
Serviço realizado
Análise de sistemas de informação.
12/1984 - 5/1987Serviços técnicos especializados .
Serviço realizado
Modelagem de banco de dados.
1/1982 - 11/1984Serviç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/1979Serviç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/1978Serviços técnicos especializados .
Serviço realizado
Programação assembler para máquinas Burroughs (Unisys).
1/1977 - 5/1977Estágios .
Estágio realizado
Estagiário em programação.

Linhas de Pesquisa
1. 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
2003 - AtualSITSCENE - 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.
Financiador(es): Fundação de Empreendimentos Científicos e Tecnológicos - Outra.
Número de produções C, T & A: 2.
2001 - 2003WEST - 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.
Financiador(es): Programa de Ciencia y Tecnología Para El Desarrollo - Cooperação.
Número de produções C, T & A: 9.
2000 - 2001PER - 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.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
Número de produções C, T & A: 8.

Revisor de periódico
2004 - Atual Periódico: IET Software

Á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
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Prêmios e títulos
2002Best Paper, TCRE'02 - I International Workshop on Time-Constrained Requirements Engineering, Essen, Germany.
1996Best Paper, ICRE'96 - International Conference on Requirements Engineering, Colorado, USA..


Produção em C,T & A
Produção bibliográfica
Citações
Web of Science
Total de trabalhos2Total de citações24  
PINHEIRO, F e PINHEIRO, FAC  Data: 18/10/2007
Outras
Total de trabalhos1Total de citações21  
pinheiro  Data: 10/03/2008
Artigos completos publicados em periódicos
1. 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.
2. 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.
3.   Pinheiro, F. A. C. . Requirements Honesty. Requirements Engineering (London), Springer-Verlag, Heidelberg, v. 8, n. 3, p. 183-192, 2003.
4.   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. . Politically Oriented Database Applications. In: Viviana E. Ferraggine; Jorge H. Doorn; Laura C. Rivero. (Org.). Handbook of Research on Innovations in Database Technologies andApplications: Current and Future Trends. Hershey, PA,: Information Science Reference, 2009, v. 1, p. 214-220.
2. Pinheiro, F. A. C. . Database Support for Workflow Management Systems. In: Viviana E. Ferraggine;; Jorge Horacio Doorn;; Laura C. Rivero. (Org.). Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. Hershey, PA, USA: Information Science Reference, 2009, v. 2, p. 208-213.
3. Pinheiro, F. A. C. . Desenvolvimento de Software: Problemas e Oportunidades. In: Conselho de Altos Estudos e Avaliação Tecnológica, Camâra dos Deputados. (Org.). O Mercado de Software no Brasil. Brasília, DF: Camâra dos Deputados, 2007, v. 3, p. 105-113.
4. 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.
5.   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.
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.
Apresentações de Trabalho
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. . Incorporating Traceability in Software Applications. 2001. (Apresentação de Trabalho/Comunicação).
4. Pinheiro, F. A. C. . Situation Theoretical Scenarios. 2001. (Apresentação de Trabalho/Comunicação).
5. Pinheiro, F. A. C. . Formal and Informal Aspects of Requirements Tracing. 2001. (Apresentação de Trabalho/Comunicação).
6. Pinheiro, F. A. C. . A Requirements Engineering Hello World Program. 2001. (Apresentação de Trabalho/Comunicação).
7. Pinheiro, F. A. C. . Pesquisa Acadêmica. 2000. (Apresentação de Trabalho/Outra).
8. 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).
9. Pinheiro, F. A. C. . Ética e Postura Profissional. 1999. (Apresentação de Trabalho/Conferência ou palestra).
10. Pinheiro, F. A. C. . Modularizando o Processo de Desenvolvimento. 1998. (Apresentação de Trabalho/Conferência ou palestra).
11. Pinheiro, F. A. C. . Rastreamento de Requisitos. 1997. (Apresentação de Trabalho/Seminário).
12. Pinheiro, F. A. C. . Requirements Traceability and Quality Control of Software Systems. 1997. (Apresentação de Trabalho/Conferência ou palestra).
13. Pinheiro, F. A. C. . Formal and Informal Aspects of Requirements Tracing. 1996. (Apresentação de Trabalho/Conferência ou palestra).
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. . Revisor. IET Software, The Institution of Engineering and Technology, UK, ISSN 1751-8806.. 2009.
2. Pinheiro, F. A. C. ; Ladeira, Marcelo . Parecer técnico sobre o objeto do contrato 40/2004, processo 44000.000806/2004-13, firmado entre o Ministério da Previdência Social e o Instituto Virtual de Estudos Avançados. 2009.
3. Pinheiro, F. A. C. . Revisão técnica da tradução do livro Leen Ammeraal and Kang Zhang, Computer Graphics for Java Programmers, John Wileu & Sons, Ltd., 2nd edition, 2007.. 2008.
4. Pinheiro, F. A. C. . Revisor. IET Software, The Institution of Engineering and Technology, UK, ISSN 1751-8806.. 2008.
5. Pinheiro, F. A. C. . Revisor. IET Software, The Institution of Engineering and Technology, UK, ISSN 1751-8806.. 2008.
6. Pinheiro, F. A. C. . Revisor. IET Software, The Institution of Engineering and Technology, UK, ISSN 1751-8806.. 2007.
7. Pinheiro, F. A. C. . Consultor ad hoc. FAPESB, Fundação de Amparo a Pesquisa do Estado da Bahia. 2007.
8. Pinheiro, F. A. C. . Revisor. IET Software, The Institution of Engineering and Technology, UK, ISSN 1751-8806.. 2007.
9. Pinheiro, F. A. C. . Consultor ad hoc FAPESB, Fundação de Amparo à Pesquisa do Estado da Bahia. 2006.
10. Pinheiro, F. A. C. . Revisor. Guide to Software Engineering Body of Knowledge (SWEBOK). 2004.
11. Pinheiro, F. A. C. . Revisor. Journal of Brazilian Computer Society, special issue on Time-Constrained Software Processes. 2004.
12. Pinheiro, F. A. C. . Revisor. Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Program in Software Engineering. 2004.
13. Pinheiro, F. A. C. . Revisor. IET, The Institution of Engineering and Technology, UK, ISSN 1751-8806. 2004.
14. Pinheiro, F. A. C. . Consultor ad hoc CNPq, Projeto RHAE 1-99. 1999.
15. Pinheiro, F. A. C. . Consultor ad hoc CNPq, PADCT III - subprograma CE. 1998.
16. 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. . Parecer. Revalidação de diploma de graduação. 2004. (Parecer).
2.
Pinheiro, F. A. C. . Técnicas de Captura, Análisis, Especificación y Evolución de Requisitos para Aplicaciones WEB. 2001. .

Bancas
Participação em bancas examinadoras
Dissertações
1. LUCENA FILHO, G. J.; FIGUEIREDO, R. C.; PRADO, H. A.; Pinheiro, F. A. C.. Participação em banca de George Marsicano Corrêa. Mapeamento e Construção de um Processo de Aprendizagem Baseado em Competências Conversacionais para a Realização da Elicitação de Requisitos. 2007. Dissertação (Mestrado em Pós-Graduação em Gestão do Conhecimento e TI) - Universidade Católica de Brasília.
2. 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.
3. 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.
4. 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.
5. 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.
6. POUBEL, Haydeé Werneck; Pinheiro, F. A. C.. Participação em banca de Wellington Barros e Barbosa. Uma Modelagem Categórica para a Modularidade da Confluência em Sistemas de Reescrita de Termos. 2001. Dissertação (Mestrado em Matemática) - Universidade de Brasília.
7. 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.
8. 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.
9. 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á.
10. 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.
11. 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.
12. 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.
13. 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.
14. Pinheiro, F. A. C.. Participação em banca de Vaston Gonçalves da Costa. Critérios de Confluência de Sistemas de Reescrita de Termos, Lineares-Esquerdo, Não-Terminantes. 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. Pinheiro, F. A. C.. Participação em banca de Thiago Chaves de Oliveira Horta. Um estudo das Transformadas Wavelets de Haar e Gabor para Detecção de Objetos. 2007.
2. ALBUQUERQUE, Fernando; RALHA, J. C.; Pinheiro, F. A. C.. Participação em banca de Athos Reiser Rodrigues Silva. Frameworks de Persistência de Objetos - Java Persistent Objects (JPOX) e Hibernate. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
3. 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.
4. 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.
5. ALBUQUERQUE, Fernando; Pinheiro, F. A. C.. Participação em banca de George Atsushi Murakami e Henrique Rebêlo Gama. Padrões de Projeto - Conceitos e Aplicações. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
6. ALBUQUERQUE, Fernando; Pinheiro, F. A. C.. Participação em banca de Kelly Prudente Pereira e Luciano Soares Bohnert. Banco de Dados Orientado a Objetos. 2000. 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. O Mercado de Software no Brasil.Riscos e Oportunidades no Desenvolvimento de uma Política para a Tecnologia da Informação. 2005. (Simpósio).
2. Situated Modelling of Scenarios.28th Annual International Computer Software and Applications Conference (COMPSAC 2004). 2004. (Congresso).
3. 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. (Oficina).
4. Workshop on Requirements Engineering.V Workshop on Requirements Engineering, WER'02. 2002. (Oficina).
5. VIII Jornadas Iberoamericanas de Informática: Tecnología de Software para Ambiente WEB.VIII Jornadas Iberoamericanas de Informática: Tecnología de Software para Ambientes Web. 2001. (Encontro).
6. III Workshop on Requirements Engineering.III Workshop on Requirements Engineering, WER'02. 2000. (Oficina).
7. II Ibero-American Workshop on Requirements Engineering.28 JAIIO - Jornadas Argentinas de Informática e Investigación Operativa. 1999. (Oficina).
8. XII SBES - Simpósio Brasileiro de Engenharia de Software.XII SBES - Simposio Brasileiro de Engenharia de Software. 1998. (Simpósio).
9. WER'98 - I Workshop em Engenharia de Requisitos.I Workshop on Requirements Engineering, WER'98. 1998. (Oficina).
10. International Workshop on Requirements Engineering: Franeworks for Quality.Workshop on Requirements Engineering: Frameworks for Quality. 1997. (Oficina).
11. Workshop on Formal Methods and Requirements Engineering: Challenges and Synergies.Workshop on Formal Methods and Requirements Engineering: Challenges and Synergies. 1996. (Oficina).
12. XXI Reunição Anual da Sociedade de Psicologia de Ribeirão Preto.XXI Reuniao Anual da Sociedade de Psicologia de Ribeirao Preto. 1991. (Simpósio).
13. .Inteligência Artificial, Cérebro e Cognição. 1989. (Simpósio).
14. .I Encontro de Arte e Tecnologia da UnB. 1989. (Encontro).
15. .XVI Semana de Filosofia Heidegger Cem Anos. 1989. (Encontro).
Organização de eventos
1. Pinheiro, F. A. C. . XII Conferencia Iberoamericana de Ingeniería de Requisitos y Ambientes de Software, IDEAS 2009. 2009. (Congresso).
2. Pinheiro, F. A. C. . XII WER, Workshop on Requirements Engineering. 2009. (Congresso).
3. Pinheiro, F. A. C. . XI WER, Workshop on Requirements Engineering. 2008. (Congresso).
4. Pinheiro, F. A. C. . XI Conferencia Iberoamericana de Ingeniería de Requisitos y Ambientes de Software, IDEAS 2008. 2008. (Congresso).
5. Pinheiro, F. A. C. . X WER, Workshop on Requirements Engineering. 2007. (Congresso).
6. Pinheiro, F. A. C. . IX Workshop on Requirements Engineering, WER'06. 2006. (Congresso).
7. Pinheiro, F. A. C. . 30th Annual International Computer Software and Application Conference (COMPSAC). 2006. (Congresso).
8. Pinheiro, F. A. C. . VIII Workshop Ibero-Americano de Ingeniería de Requisitos y Ambientes de Software, IDEAS'05. 2005. (Congresso).
9. Pinheiro, F. A. C. . VIII Workshop on Requirements Engineering, WER'05. 2005. (Congresso).
10. Pinheiro, F. A. C. . 29th Annual International Computer Software and Application Conference (COMPSAC). 2005. (Congresso).
11. Pinheiro, F. A. C. . VII Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, IDEAS'04. 2004. (Congresso).
12. Pinheiro, F. A. C. . VII Workshop on Requirements Engineering, WER'04. 2004. (Congresso).
13. Pinheiro, F. A. C. . VI Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, IDEAS'03. 2003. (Congresso).
14. Pinheiro, F. A. C. . Workshop on Requirements Engineering for Adaptative Architectures. 2003. (Congresso).
15. Pinheiro, F. A. C. . VI Workshop on Requirements Engineering, WER'03. 2003. (Congresso).
16. Pinheiro, F. A. C. . V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, IDEAS'02. 2002. (Congresso).
17. Pinheiro, F. A. C. . V Workshop on Requirements Engineering, WER'02. 2002. (Congresso).
18. Pinheiro, F. A. C. . International Workshop on Time-Constrained Requirements Engineering (TCRE'02). 2002. (Congresso).
19. Pinheiro, F. A. C. . IV Workshop on Requirements Engineering, WER'01. 2001. (Congresso).
20. Pinheiro, F. A. C. . III Workshop on Requirements Engineering, WER'00. 2000. (Congresso).
21. Pinheiro, F. A. C. ; OLIVEROS, A. . II Workshop on Requirements Engineering, WER'99. 1999. (Congresso).
22. Pinheiro, F. A. C. ; LEITE, Julio Cesar Sampaio Do Prado ; CASTRO, J. F. B. . I Workshop on Requirements Engineering, WER'98. 1998. (Congresso).

Orientações
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. Altamir Araújo Guimarães Júnior. Ferramenta para Geração de Testes de Unidade em Linguagem C. 2008. 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. Wagner Ferreira Carneiro Júnior. Proposta de Modificações de Sistema Grenciador de Conteúdo Baseada em Análise de Cenários. 2008. 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. Eviston Borges Pinto. Mapeamento de Métricas Propostas na Série de Normas ISO/IEC 9126 para o Domínio de Educação a Distância. 2008. 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. Giuseppe Dutra Junior Janino e Cleyton Divino Dimas Santana. Proposta de Automatização de Modelos Sistêmicos da Metodologia Soft Systems. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
5. Yuri Oliveira Carneiro. As Catorze Ferramentas da Qualidade Aplicadas à Casa da Qualidade. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
6. Matheus Soares Canto. ITIL x COBIT: Um Estudo Comparativo. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
7. Edson Marques da Rocha. Avaliação de usabilidade de sítios web. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
8. Rafael L. A. Souza. Construção de ferramenta para automatização do mapeamento de estruturas organizacionais em categorias de workflow. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
9. Carlos Rafael Costa e Hugo Rocha Junior. Análise Comparativa entre Métodos de Engenharia de Requisitos Baseados em Cenários. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
10. André Luis Nascimento Such. Projeto de Ambiente de Auxílio à Definição de Modelos de Desenvolvimento. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
11. Bruno Fracasso e João Belloti Fialho. Caronas UnB - Uma Ilustração do Estudo de Comunidades Virtuais e sua Implementação. 2006. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
12. 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.
13. Frederico Mello S. Barbosa e Carlos Antônio C. dos Santos. Organizador SRE Mailing List. 2000. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade de Brasília. Orientador: Francisco de Assis Cartaxo Pinheiro.
14. 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.
15. 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.
16. 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.), julho de 2006 a fevereiro de 2007..
Página gerada pelo Sistema Currículo Lattes em 14/03/2010 às 13:04:56