Arquitectura e Cálculo 2015/16

Perfil de Métodos Formais em Engenharia de Software

Dep. Informática, Universidade do Minho

Objectivos

Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos.

Os sumários já estão disponíveis online.

Programa resumido

Material de apoio

Slides
Exercícios e projectos
Links úteis
Bibliografia
MFES: outros anos

AC está a acabar - e agora?

Se gostas de especificação formal de software e de uma vertente matemática na análise de programas, então temos vários projectos com bolsas de investigação no nosso grupo. E a lista está sempre a crescer.

Funcionamento

Docente
Avaliação
Atendimento