Rede de Colaboração
Diretório de grupos de pesquisa|
Adalberto Cajueiro de Farias Possui graduação em Ciências da Computação pela Universidade Federal de Pernambuco (2000), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2003) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (2009). Atualmente é professor adjunto do Departamento de Sistemas e Computação da Universidade Federal de Campina Grande. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: métodos formais, padrões de projeto, java, cspz, model checking e ferramenta de suporte.
Última
atualização do currículo em 12/04/2011
Endereço para acessar este CV: http://lattes.cnpq.br/9462873740250320 |
Dados pessoais
| Nome | Adalberto Cajueiro de Farias |
| Nome em citações bibliográficas | A. FARIAS;Farias, Adalberto |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal de Campina Grande. Rua Aprígio Veloso, 882 Universitário 58429-140 - Campina Grande, PB - Brasil Telefone: (83) 21011120 Ramal: 216 Fax: (83) 8321011120 URL da Homepage: http://www.ufcg.edu.br |
Formação acadêmica/Titulação
| 2004 - 2009 | Doutorado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Abstraction of Infinite and Communicating CSPZ Processes, Ano de Obtenção: 2009. Orientador:  Alexandre Cabral Mota.
Palavras-chave: CSP-Z; model checking; Abstração de Dados; Mecanização; Especificação formal. 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: Métodos Formais. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Desenvolvimento de Programas (Software); Outro. |
| 1995 - 2000 | Graduação em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. |
Formação complementar
| 2005 - 2005 | Extensão universitária em Curso de Atualização Didática. (Carga
horária: 40h). Faculdade Integrada do Recife. |
Atuação profissional
| Universidade Federal de Campina Grande, UFCG, Brasil. |
| Vínculo institucional |
| 2010 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Universidade Federal Rural de Pernambuco, UFRPE, Brasil. |
| Vínculo institucional |
| 2009 - 2010 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 01/2009 - 09/2010 | Conselhos, Comissões e Consultoria, Unidade Academica de Garanhuns, . |
|
Cargo ou função
COMISSAO DE DIVULGACAO DOS CURSOS DA UNIDADE ACADEMICA DE GARANHUNS. |
| 05/2010 - 08/2010 | Direção e administração, Unidade Academica de Garanhuns, . |
| Cargo ou função Coordenador de Curso. |
| 01/2009 - 08/2010 | Ensino, Bacharelado em Ciencia da Computacao, Nível: Graduação. |
| Disciplinas ministradas Algoritmos e Estruturas de Dados I Algoritmos e Estruturas de Dados II Introdução a Ciência da Computação Introdução a Informática Introdução ao Processamento de Dados Laboratorio de Informática Linguagem de Programação Programação Orientada a Objetos |
| 03/2010 - 07/2010 | Extensão universitária , Unidade Academica de Garanhuns, . |
|
Atividade de extensão realizada Orientacao de Monitoria em Algoritmo e Estrutura de Dados I. |
| 10/2009 - 04/2010 | Direção e administração, Unidade Academica de Garanhuns, . |
| Cargo ou função Substituto Eventual do Coordenador do Bacharelado em Ciencia da Computacao. |
| Instituto Federal de Pernambuco - Reitoria, IFPE, Brasil. |
| Vínculo institucional |
| 2008 - 2009 | Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 03/2008 - 01/2009 | Ensino, Tecnologo em Analise e Desenvolvimento de Sistemas, Nível: Graduação. |
| Disciplinas ministradas Algoritmos I Desenvolvimento de Sistemas em Ambiente Web Engenharia de Software Orientada a Objetos Linguagem de Programacao Orientada a Objetos para Web Linguagem de Programacao para Web Projeto de Sistemas de Informacao e Prototipagem |
| Unibratec, UNIBRATEC, Brasil. |
| Vínculo institucional |
| 2003 - 2007 | Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 4 |
| Atividades |
| 10/2003 - 02/2007 | Ensino, Ctds, Nível: Graduação. |
| Disciplinas ministradas Linguagens de Programação Multiplataforma |
| Faculdade Integrada do Recife, FIR, Brasil. |
| Vínculo institucional |
| 2001 - 2007 | Vínculo: Celetista, Enquadramento Funcional: Outro (professor), Carga horária: 20 |
| Outras informações | Professor da instituição |
| Atividades |
| 8/2001 - 7/2007 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Laboratório de Programação Laboratório de Programação Orientada a Objetos Programação Orientada a Objetos |
| 6/2005 - 2/2007 | Direção e administração, Copesq, . |
| Cargo ou função Supervisor de Pós-Graduação. |
| 1/2003 - 7/2005 | Pesquisa e desenvolvimento , Copesq, . |
|
Linhas de pesquisa Engenharia de Software Padrões para desenvolvimento Web Algoritmos e estruturas de dados |
| Universidade Federal de Pernambuco, UFPE, Brasil. |
| Vínculo institucional |
| 1999 - 2002 | Vínculo: Outro, Enquadramento Funcional: Outro (Monitor de curso de especialização), Carga horária: 4 |
| Vínculo institucional |
| 1997 - 2000 | Vínculo: Outro, Enquadramento Funcional: Outro (Iniciação Científica), Carga horária: 20, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1997 - 1999 | Vínculo: Outro, Enquadramento Funcional: Outro (Monitor de graduação), Carga horária: 20 |
| Atividades |
| 2009 - 2011 | Atividades de Participação em Projeto, Centro de Informática, . |
|
Projetos de pesquisa Análise de Segurança de Sistemas Aviônicos com Métodos Formais Análise de Segurança Baseada em Modelos para Sistemas Autônomos |
| 8/1999 - 9/2002 | Extensão universitária , Centro de Informática, . |
|
Atividade de extensão realizada Monitoria de curso de especialização. |
| 7/1999 - 6/2000 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática. |
|
Linhas de pesquisa Engenharia de Software Métodos Formais |
| 7/1997 - 6/1999 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática. |
|
Linhas de pesquisa Teoria da Computação Inteligência Artificial |
Linhas de Pesquisa
| 1. | Teoria da Computação |
| 2. | Inteligência Artificial |
| 3. | Engenharia de Software |
| Objetivos: Aplicação de métodos formais na indústria aviônica. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software / Especialidade: Métodos formais. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software. |
| 4. | Métodos Formais |
| Objetivos: Aplicacao de métodos formais na indústria aviônica. |
| 5. | Engenharia de Software |
| 6. | Padrões para desenvolvimento Web |
| 7. | Algoritmos e estruturas de dados |
Projetos de Pesquisa
| 2009 - 2011 | Análise de Segurança de Sistemas Aviônicos com Métodos Formais |
| Descrição: Este projeto tem como enfoque empregar técnicas de Métodos Formais e de Análise de Segurança de Sistemas em sistemas aeronáuticos. O principal objetivo é promover avanços teórico-práticos nestas áreas de pesquisa. Em particular, procuramos com este projeto permitir que sistemas aeronáuticos sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, entretanto requerendo
um custo menor do que o empregado atualmente. Resumo A Embraer (Empresa Brasileira de Aeronáutica S.A.) tem utilizado como meio de cumprimento de requisitos de desenvolvimento e certificação de sistemas os padrões FAR 25.1309 (Federal Aviation Regulations)[FAR25] e ARP 4754, 4761 (Aerospace Recommended
Practice) [ARP4754, ARP4761]. Esses padrões definem guias para a produção de sistemas e equipamentos de aviação, os quais que devem executar suas funções esperadas (comportamento nominal ou normal) com um nível de confiança em segurança (comportamento com falhas ou anormal) de acordo com os requisitos
aeronáuticos determinados. Desta forma, a Embraer manifestou interesse em colaborar com o presente projeto de pesquisa com o objetivo de diminuir o custo com o desenvolvimento de seus sistemas aeronáuticos e ao mesmo tempo aumentar a confiabilidade e segurança sobre os mesmos.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 2) . Integrantes: Alexandre Cabral Mota - Coordenador / Augusto Cesar Alves Sampaio - Integrante / Juliano Manabu Iyoda - Integrante / Adalberto Cajueiro de Farias - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2009 - 2011 | Análise de Segurança Baseada em Modelos para Sistemas Autônomos |
| Descrição: O projeto é direcionado ao emprego integrado e complementar de técnicas de Métodos Formais e Confiabilidade para sistemas aeroespaciais. O principal objetivo é a definição de estratégias para a modelagem formal e análise de aspectos funcionais e não-funcionais (segurança) de sistemas aeroespaciais. Em particular, procuramos com este projeto permitir que sistemas aeroespaciais sejam desenvolvidos com ainda mais qualidade, onde corretude e segurança são os principais fatores envolvidos, no entanto requerendo um custo menor do que o empregado atualmente. Avanços são esperados em vários aspectos e norteados pela alta competitividade do mercado e pelos estudos existentes sobre o custo da não-conformidade dos softwares. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 2) . Integrantes: Alexandre Cabral Mota - Coordenador / Augusto Cesar Alves Sampaio - Integrante / Juliano Manabu Iyoda - Integrante / Adalberto Cajueiro de Farias - Integrante. Financiador(es): Agência Espacial Brasileira - Auxílio financeiro.. |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Engenharia de Software. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Linguagens de Programação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Linguagem Formais e Autômatos. |
| 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. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Arquitetura de Sistemas de Computação. |
| 6. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Sistemas de Informação. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2009 | Best paper of the Brazilian Symposium on Formal Methods., Sociedade Brasileira de Computacao. |
| 2004 | 3o lugar no Concurso de Teses e Dissertacoes, Sociedade Brasileira de Computacao. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   Didier, André ; A. FARIAS ; MOTA, Alexandre . Checking Z Data Refinements Using Traces Refinement. Electronic Notes in Theoretical Computer Science , v. 240, p. 129-148, 2009. |
| 2. | DAMASCENO, A. ; A. FARIAS ; A. Mota . A Mechanized Strategy for Safe Abstraction of CSP Specifications. Lecture Notes in Computer Science, v. 5902, p. 118-133, 2009. |
| 3. | A. FARIAS ; A. Mota ; A. Sampaio . Compositional Abstraction of CSPZ Processes. Journal of the Brazilian Computer Society, v. 14, p. 23-44, 2008. |
| 4. | A. FARIAS ; A. Mota ; A. Sampaio . Um Conversor da Notação CSPZ para CSPM. REIC. Revista Eletrônica de Iniciação Científica, v. 1, p. 105-120, 2001. |
| Trabalhos completos publicados em anais de congressos |
| 1. | DAMASCENO, A. ; A. FARIAS ; A. Mota . A Mechanyzed Strategy for Safe Abstraction of CSP Specifications. In: Brazilian Symposium on Formal Methods, 2009, Gramado.
A Mechanyzed Strategy for Safe Abstraction of CSP Specifications, 2009. v. 12. p. 118-133. |
| 2. | DIDIER, A. ; A. FARIAS ; A. Mota . Checking Z Refinements Using Traces Refinement. In: Brazilian Symposium on Formal Methods, 2008, Salvador.
Proceeding of the Brazilian Symposium on Formal Methods. Salvador :
Editora Gráfica da UFBA, 2008. v. 1. p. 67-82. |
| 3. | A. FARIAS ; A. Mota ; A. Sampaio . Efficient CSPz Data Abstraction. In: Integrated Formal Methods, 2004, Canterbury. Proceedings of the 4th International Conference on Integrated Formal Methods, 2004. p. 108-127. |
| 4. | A. FARIAS ; A. Mota ; A. Sampaio . Efficient Analysis of Infinite CSPZ Specifications. In: Workshop On Formal Methods, 2002, Gramado. Proceedings Of 5th Workshop On Formal Methods, 2002. v. 5. p. 113-128. |
| 5. | A. FARIAS ; A. Mota ; A. Sampaio . De CSPZ para CSPM: Uma Ferramenta Transformacional Java. In: Workshop de Métodos Formais, 2001, Rio de Janeiro. Proceedings Of 4th Workshop On Formal Methods, 2001. v. 4. p. 1-10. |
| 6. | A. FARIAS ; FERRAZ, C. A. G. ; OLIVEIRA, J. P. ; SIMÕES, M. A. C. ; ALMEIDA, M. P. ; ROSA, N. S. . TNS: Um serviço de Nomes CORBA Tolerante a Falhas.. In: Workshop de Objetos Distribuídos, 2001. Anais do 1o Workshop de Objetos Distribuídos. |
| 7. | A. FARIAS ; P. LUCENA . Sistemas Dedutivos Rotulados e suas Aplicações ao Raciocínio Abdutivo. In: VII CONIC (Congresso Nacional de Iniciação Científica), 1999, Recife. Anais do VII CONIC, 1999. p. 148-149. |
| Resumos expandidos publicados em anais de congressos |
| 1. | A. FARIAS ; A. Mota ; A. Sampaio . A Support Tool for CSP-Z Data Abstraction. In: FME Symposium, 2003, Pisa. The 12th International FME Symposium, 2003. p. 11-14. |
| Apresentações de Trabalho |
| 1. | A. FARIAS . Efficient Analysis of Infinite CSPZ Specifications: strategy and tool support. 2004. (Apresentação de Trabalho/Seminário). |
| 2. | A. FARIAS ; A. Mota ; A. Sampaio . Efficient Analysis of Infinite CSPZ Specifications. 2002. (Apresentação de Trabalho/Seminário). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | A. FARIAS ; Lucas Caliari . Programa de Calculo de Fundacoes. 2007. |
Bancas
| Participação em bancas examinadoras |
| Monografias de cursos de aperfeiçoamento/especialização |
| 1. | Celso Roberto Perez; A. FARIAS. Participação em banca de Osman de Oliveira Lira Junior. Interoperabilidade entre J2EE e .NET. 2007. Monografia (Aperfeiçoamento/Especialização em Sistemas de Informação) - Faculdade Integrada do Recife. |
| 2. | Celso Roberto Perez; A. FARIAS. Participação em banca de Leonardo de Paula Gomes Filho. Análise de Decisão e Resolução para Seleção de Arquiteturas de Software. 2007. Monografia (Aperfeiçoamento/Especialização em Sistemas de Informação) - Faculdade Integrada do Recife. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | A. FARIAS; M. Andrade; A. Araújo. Participação em banca de Janaina de Barros Tenório Silva. Uma proposta de utilizacao de vídeo educativo e webquest para o ensino de ciência nas séries iniciais numa perspectiva ausubeliana. 2009. Trabalho de Conclusão de Curso (Graduação em LIcenciatura Plena em Pedagogia) - Universidade Federal Rural de Pernambuco. |
| 2. | A. FARIAS; NÓBREGA, Obionor; ARAÚJO, Telmo; MEDEIROS, Érika. Participação em banca de Bruna Maciel Campos. Estudo comparativo de tecnologias sem fio para aplicações da computação ubíqua.. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. |
| 3. | A. FARIAS; NEIVA, Juliana; ARAÚJO, Telmo; SIEBRA, Sandra. Participação em banca de Antônio Paulo. Um Agente Companheiro para Guiar em Estudo Tópicos da língua Inglesa. 2003. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | A. FARIAS; SIEBRA, Sandra; A. Sarmento. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA PROFESSOR EFETIVO DA UAG. 2009. Universidade Federal Rural de Pernambuco. |
| 2. | A. FARIAS; A. Sarmento; ESPINOLA, T.. CONCURSO PARA PROFESSOR ASSISTENTE PARA UAG/UFRPE. 2009. |
Eventos
| Participação em eventos |
| 1. | Brazilian Symposium on Formal Methods. 2009. (Simpósio). |
| 2. | Simposio Brasileiro de Métodos Formais.Checking Z Refinements Using Traces Refinement. 2008. (Simpósio). |
| 3. | II Pernambuco School on Software Engineering: Testing. 2007. (Outra). |
| 4. | Simposio Brasileiro de Métodos Formais. 2006. (Simpósio). |
| 5. | Simposio Brasileiro de Métodos Formais. 2005. (Simpósio). |
| 6. | Concurso de Teses e Dissertações.Efficient Analysis of Infinite CSPZ Specifications: strategy and tool support. 2004. (Congresso). |
| 7. | I Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio). |
| 8. | Pernambuco School on Software Engineering:Refinement. 2004. (Outra). |
| 9. | Workshop de Métodos Formais.Efficient Analysis of Infinite CSPZ Specifications. 2002. (Outra). |
| Organização de eventos |
| 1. | A. Sampaio ; A. Mota ; Ana Lucia Caneca Cavalcanti ; A. FARIAS . Simpósio Brasileiro de Métodos Formais. 2004. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Diego Machado Dias. Métodos Formais em Sistemas Aviônicos. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Co-orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Adriana Carla Damasceno. Geração mecanizada de abstrações seguras para sistemas CSP. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Adalberto Cajueiro de Farias. |
| Trabalho de conclusão de curso de graduação |
| 1. | Cesar Martins de Albuquerque. Proposta para Geracao Automática de Mapeamento para Hibernate em Aplicacoes Java. 2007. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| 2. | Dalton Nicodemos Jorge. Migração de Sistemas Locais para Distribuídos: padrão de Migração e Ferramenta de Apoio. 2006. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| 3. | Rita de Cassia Acioli de Lima. Uso de Padrões de Projetos e Técnicas de Reengenharia para Reduzir Acoplamento de Sistemas. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| 4. | Aurino de Souza Ferreira. Aplicando Padrões de Projeto para Abstrair a Utilização da Microsoft Enterprise Library 1.1. 2005. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| 5. | Arthur Orlando de Miranda Henriques. Utilização de Recursos de Groupware nos Serviços do Poder Judiciário de Pernambuco. 2004. 80 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| 6. | Rodolfo Layme Sobrinho Junior. Padronização do Modelo de 3 camadas : sugestão de mudanças. 2004. 90 f. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| Iniciação Científica |
| 1. | Webster Silva Compelo Junior. Migração de sistemas locais Java para sistemas distribuídos CORBA: padrão de migração e ferramenta de apoio. 2004. Iniciação Científica. (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Adalberto Cajueiro de Farias. |
| 2. | Renato Cezar Alves Guimarães. Algoritmos de aproximação para problemas NP-difíceis em grafos. 2003. 0 f. Iniciação Científica. (Graduando em Sistemas de Informação) - Faculdade Integrada do Recife. Orientador: Adalberto Cajueiro de Farias. |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 9:52:54 |