Disciplina Curricular

Análise de Software AS

Doutoramento Bolonha em Informática - 2_Plano 2015/16

Peso

6.0 (para cálculo da média)

Objectivos

Compreender os desafios científicos e tecnológicos associados à análise de software. Visão abrangente às diferentes abordagens dos métodos de análise que conduzem a software fiável. Capacidade de utilizar métodos formais para estabelecer propriedades de programas Proficiência no uso de diferentes ferramentas de verificação de software.

Programa

Em cada edição da disicplina serão considerados um conjunto de tópicos de entre os seguintes: Sistemas do tipo: cálculo lambda simplesmente tipado, extensões, subtipos, objetos imperativos. Especificações de comportamentos Raciocínio sobre estruturas heap O fluxo de informação e controle de acesso Verificação de sistemas orientados a objetos Programação Concorrente Ferramentas e casos de estudo: Dafny, Verifast, Jif, Why3, Typescript, Chalice, Spec#.

Métodos de ensino e avaliação

Aulas teóricas e trabalho autónomo. Avaliação: Uma série de trabalhos de programação ou outros exercícios, a ser entregue na aula. Projeto independente. Apresentações, em sala de aula, sobre temas de outra forma não directamente abrangidos pela disciplina. Não há testes ou exames