Disciplina Curricular

Análise de Software AS

Doutoramento Bolonha em Informática - 3_DI 2020/21

Contextos

Grupo: 3_DI 2020/21 > 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

Disciplinas Execução

2024/2025 - 2 Semestre

2023/2024 - 2 Semestre

2022/2023 - 2 Semestre

2022/2023 - 1 Semestre

2021/2022 - 2 Semestre

2021/2022 - 1 Semestre

2020/2021 - 2º semestre

2020/2021 - 1º semestre