Interacção e Concorrência 2017/18

Licenciatura em Ciências da Computação

Dep. Informática, Universidade do Minho

Objectivos

Este curso tem por objectivo o estudo de sistemas reactivos, com ênfase na sua composição concorrente e no controlo da interacção continuada com o ambiente.

Serão introduzidas técnicas de especificação de propriedades, modelação, análise e verificação deste tipo de sistemas, assim como lógicas apropriadas.

O curso aborda, essencialmente, sistemas reactivos clássicos; serão brevemente mencionados sistemas com requisitos de resposta em tempo real e de reacção probabilística.

Resultados de Aprendizagem

Programa

Apoio

Slides (2017-18)
Exercícios
Lições (versão 2014-15)
Bibliografia base
Bibliografia complementar
Links

Funcionamento

Docente
Avaliação
Contacto