Disciplina Curricular
Desenvolvimento Formal de Software DFS
Diploma de Estudos Avançados em Engenharia Informática e de Computadores - DEAEIC2006
Peso
6.0 (para cálculo da média)
Objectivos
Introdução ao desenvolvimento formal de software: utilização de técnicas de especificação matemática para a modelação de artefactos de software nas suas várias fases de desenvolvimento. Após a frequência desta disciplina os alunos devem ser capazes de: desenvolver um sistema de software desde a fase de especificação até à geração de código aplicando técnicas de modelação formal; utilizar as ferramenta Atelier-B e B-Toolkit no desenvolvimento de software.
Programa
Introdução aos métodos formais Introdução à semantica das linguagens (semantica axiomática, operacional, denotacional) Método B Máquinas abstractas Estruturação de máquinas abstractas (INCLUDES, SEES, USES, ...) Refinamento Casos de estudo: sistemas sequenciais, distribuídos e de tempo-real Utilização das seguintes ferramentas de supporte ao método B: B-Toolkit, Atelier-B e ProB
Metodologia de avaliação
Artigo (50%), Projecto (50%)