Projetos em Andamento
- Chameleon: tem como objetivo realizar pesquisa básica na área de Computação Bioinspirada, Meta-heurísticas e Aprendizagem de Máquina, e verificar suas possibilidades de aplicação na área de Engenharia de Software. A pesquisa realizada inclui diferentes sub-projetos e resultados obtidos podem ser diretamente aplicados em empresas facilitando a cooperação do grupo com as mesmas. Realizado em colaboração com a professora Aurora R. T. Pozo. Apoio financeiro: Fundação Araucária-PR, CNPq.
- ValiPVM: tem como objetivo a proposição de critérios de teste, desenvolvimento de ferramentas e condução de experimentos para aplicações paralelas, desenvolvidas em ambientes de passagem de mensagens (PVM e MPI). Realizado em colaboração com a USP – São Carlos e UEPG (Universidade Estadual de Ponta Grossa) e com os professores, Simone R.R.S. Souza, Paulo Souza, Adenilso Simão. Financiado pelo CNPq.
- CoMTemp: tem como objetivo realizar pesquisa em técnicas e ferramentas de Computação Evolucionária, tais como Algorimtos Genéticos, Programação Genética e verificar a aplicação dessas técnicas dentro da Engenharia de Software, mais particularmente no teste e avaliação da confiabilidade de software. Realizado em colaboração com a UEPG (Universidade Estadual de Ponta Grossa) e com os professores, Aurora R.T. Pozo e Alaine Guimarães.. Financiado pela Fundação Araucária-PR.
- eeXML: Evolução de Esquemas XML: tem como objetivo é a definição de uma ferramenta para a evolução incremental de esquemas XML, a ser utilizada por um administrador de dados que é especialista no domínio de aplicação dos documentos e esquemas, mas que não é necessariamente especialista em computação. Dado um esquema (expresso na forma de uma DTD, por exemplo), e uma seqüência de atualizações a um documento válido em relação a esse esquema, de forma tal que o resultado dessa atualização é um documento XML que não é válido, essa ferramenta deve propor mudanças ao esquema, de forma a (i) preservar a validade de documentos em relação ao esquema original e (ii) verificar a validade do documento atualizado. Realizado em colaboração com a Universidade Federal do Rio Grande do Norte (UFRN) e Universite de Tours (Universite Francois Rabelais), com os professores, Aurora R.T. Pozo, Martin Musicante, Mirian H.F. Alves. Financiado pelo CNPq.