Arquitectura e Cálculo 2017/18

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.

Programa resumido

Material de apoio

Slides
Exercícios e projectos
Links úteis
Bibliografia
Anos anteriores

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.

Funcionamento

Docentes
Avaliação
Atendimento