Disciplina Curricular
Análise de Software AS
Doutoramento Bolonha em Informática - 2_Plano 2015/16
Contextos
Grupo: 2_Plano 2015/16 > 3º Ciclo > Parte Escolar > Optativas > 82_Doutoramento em Informática
Período:
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