Disciplina Curricular

Software Fiável SFia

Mestrado Bolonha em Segurança Informática - 2_Plano Atual

Contextos

Grupo: 2_Plano Atual > 2º Ciclo > Parte Escolar > - > Optativas > 842_1º Ano do Mest.Segurança Informática - Grupo AE > 1º Semestre

Período:

Grupo: 2_Plano Atual > 2º Ciclo > Parte Escolar > - > Optativas > 789_1º Ano do Mest.Segurança Informática - Grupo OG > 1º Semestre

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

2019/2020 - 1 Semestre

2018/2019 - 1 Semestre

2017/2018 - 1 Semestre

2016/2017 - 1 Semestre