CENTRO DE PESQUISA E DESENVOLVIMENTO EM T E C N O L O G I A ELETRNICA E DA INFORMA O

Workshop em Verificao Formal de Software

Objetivo:
O programa de competncia em Verificao Contnua tem como objetivo promover e divulgar a qualidade de software na regio.

Pblico Alvo:
Acadmicos dos cursos de computao e profissionais da indstria.

Informaes do Evento:
Data: 27/09/2012 (Quinta-feira). Local: Auditrio do CETELI - Faculdade de Tecnologia UFAM. Entrada liberada.

Programao:
Ttulo: Verificao de Programas C++ usando Representao Intermediria. Palestrante: Felipe Sousa e Hendrio Marques (CETELI/UFAM). Horrio: 14:00 15:00. Ttulo: Modelo de Objeto para Herana e Polimorfismo em C++. Palestrante: Mauro Lopes e Bruno Savino (PPGEE/UFAM). Horrio: 15:00 15:30. Ttulo: Anlise de Excees e Templates para Programas C++. Palestrantes: Mikhail Ramalho (PPGEE/UFAM). Horrio: 16:00 16:45. Ttulo: Gerao automtica de relatrios baseado em testes automatizados. Palestrantes: Herbert Rocha (PPGI/UFAM). Horrio: 16:45 17:00.

Maiores Informaes:
Lucas Cordeiro lucascordeiro@ufam.edu.br