Disciplina Curricular

Software Fiável SFia

Curso de Especialização em Informática - 11_Plano actual

Contextos

Grupo: 11_Plano actual > Especialização > Optativas > 833_Curso de Especialização em Informática

Período:

Grupo: 11_Plano actual > Especialização > Optativas > 829_Curso de Especialização em Informática - CTP

Período:

Peso

6.0 (para cálculo da média)

Objectivos

Pretende-se que o aluno fique a conhecer as principais técnicas sistemáticas (métodos formais) e ferramentas que, correntemente, podem ser usadas no processo de desenvolvimento de software de forma a aumentar a fiabilidade dos sistemas desenvolvidos. A ênfase será essencialmente em instrumentos que permitem verificar a correcção dos sistemas desenvolvidos relativamente aos requisitos para os quais foram concebidos. Pretende-se ainda que o aluno seja capaz de utilizar as seguintes ferramentas: JML, ESC/Java2, Spin.

Programa

1. Fiabilidade de sistemas de software: problemas, desafios e soluções. 2. Verificação dedutiva de programas: cálculo de Hoare. 3. JML: The Java Modeling Language. 4. ESC/Java2: The Extended Static Checker for Java. 5. Verificação automática de modelos.

Metodologia de avaliação

1 aula semanal de 3,5h.Três trabalhos.3 trabalhos (40%)exame final (60%)

Disciplinas Execução

2018/2019 - 1 Semestre

2017/2018 - 1 Semestre

2016/2017 - 1 Semestre