Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos.

------------------------------------------------------------------------------------------
 Seminário do Grupo de Lógica, Inteligência Artificial
 e Métodos Formais - LIAMF
 Seminário Registrado na CPG do IME/USP
 Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-------------------------------------------------------------------------------------------

Palestrante: Paulo de Tarso Guerra Oliveira
Título: Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos.

Data: 28/05/09, 14:00hrs
Local: Sala 241A IME-USP

Resumo:

       A especificação formal de um sistema traz uma série de vantagens ao processo de
desenvolvimento de software, dentre elas a possibilidade de verificar ainda em
fase de projeto a existência de inconsistências de especificação, isto é,
divergências entre a especificação do sistema e o comportamento desejado.
Diversos métodos de verificação de inconsistência foram propostos, e embora
muitos deles sejam eficazes, não há neles qualquer mecanismo que indique como
tornar a especificação consistente.

       Iremos apresentar uma abordagem desenvolvida no nosso instituto: o uso de
técnicas de Revisão de Crença para gerar sugestões de mudança em um dado
conjunto de especificações. O objetivo deste seminário é mostrar conceitos
relacionados a essa abordagem, explorar um pouco dos trabalhos desenvolvidos
sobre o tema e exibir os desafios a serem enfrentados.