Melhoria da Infra-estrutura do Grupo de Pesquisa em Métodos Formais em Engenharia de Software (MEFES@UFBA).

Este projeto visa o fortalecimento do grupo de pesquisa MEFES@UFBA (Métodos Formais em Engenharia de Software), em forma de melhoria da infra-estrutura básica para a realização de atividades de pesquisa, difusão tecnológica, e gerenciamento de projetos. O MEFES@UFBA está cadastrado como Grupo de Pesquisa do CNPq deste 2005, e é sediado na Universidade Federal da Bahia. Com este projeto pretendemos potencializar a participação da Bahia no circuito de pesquisa em Métodos Formais, consolidando o grupo de pesquisa e fazendo parte da comunidade colaborativa que atua nesta área, contribuindo para solucionar os problemas relativos à construção de sistemas críticos verificáveis. Com a melhoria da infra-estrutura do MEFES@UFBA, será possível a articulação de uma rede cooperativa que agregue outros grupos, instituições de pesquisa e ensino, centros tecnológicos e empresas, com o intuito de aumentar a competência do Estado nesta área, além de estarmos colaborando para a construção de um cenário mais favorável à captação e fixação de novos doutores em Engenharia de Software para atuar em futuros programas de pós-graduação em Ciência da Computação na Bahia.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (8) . Integrantes: Adolfo Almeida Duran - Coordenador / Antonio Lucas de Oliveira Barros - Integrante / Daniel Coelho Cunha - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.Número de orientações: 3

2006 - 2009