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

Funcionamento

Docentes
Avaliação
Atendimento