Rua Bione, 220
Porto Digital - Recife/PE
contato@cesar.edu.br
+55 81 3425.4700

notícias

C.E.S.A.R realiza palestra sobre verificação e validação de sistemas

O estado da arte e da prática em verificação e validação de sistemas computacionais é o tema em destaque na próxima edição do C.E.S.A.R’s Seminars que será realizada dia 29 de outubro, no auditório do C.E.S.A.R Tiradentes. C.E.S.A.R's Seminars - Closing the Gap between University and Industry é uma série de encontros que o C.E.S.A.R.EDU -unidade de ensino do C.E.S.A.R- está realizando para diminuir o tempo de entre a produção do conhecimento na universidade e a adoção desse conhecimento pelo mercado. A iniciativa faz parte do programa de intercâmbio do C.E.S.A.R.EDU com instituições de excelência em ensino e pesquisa.

A próxima palestra será proferida pelos professores Augusto Sampaio e Alexandre Mota, do Centro de Informática da UFPE. Augusto Sampaio é PhD pela Universidade de Oxford, atualmente é professor titular de engenharia de software no CIn-UFPE, coordenador de pesquisa do CIn, coordenador do projeto de cooperação CIn-Motorola, bolsista de produtividade em pesquisa do CNPq e sócio da Qualiti Software Processes. Alexandre Mota é doutor pela UFPE, professor adjunto em engenharia de software no CIn-UFPE, coordenador da graduação em Ciência da Computação, coordenador do projeto de pesquisa CIn-Embraer e pesquisador colaborador do projeto de pesquisa CIn-Motorola.

Os palestrantes vão apresentar motivação para a necessidade crescente de garantir a confiabilidade de sistemas computacionais, através de técnicas de verificação e validação, que variam desde testes informais e manuais até técnicas mais elaboradas como análise estática e verificação de modelos e de código -software model checking. “Consideramos vários cenários e estratégias de aplicação de verificação e validação, partindo de um contexto ideal, onde o código é gerado a partir de modelos, preservando o comportamento por construção”, afirma Augusto Sampaio. “Progressivamente consideramos cenários mais realistas, onde o código proprietário é gerado de forma ad hoc, sem uma garantia de aderência ao modelo, ou mesmo quando o único artefato disponível é o código legado. Apresentamos soluções de verificação e validação para cada cenário com base na integração de testes com técnicas mais elaboradas de análise. O escopo inclui tanto verificação e validação de componentes isolados, como da integração e coordenação de componentes”, completa Alexandre Mota.

Serviço:
“O estado da arte e da prática em verificação e validação de sistemas computacionais”
Palestrantes: Augusto Sampaio e Alexandre Mota
Local: Auditório do C.E.S.A.R - Tiradentes (Rua Bione, 220 - Bairro do Recife)
Data: 29 de outubro de 2007 (segunda-feira)
Horário: 18h30
Inscrições: 3425-4573 ou imprensa@cesar.org.br