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
- Introduction to software architecture
- Background
- (Semantics) Introduction to transition systems (mCRL2).
- (Logic) Introduction to modal, hybrid and dynamic logic (mCRL2).
- Models and calculi of reactive systems
- Timed (with real time constraints) (Uppaal).
- Probabilistic (PRISM).
- Architecture for reactive systems
- Component-oriented architectural design.
- Paradigm: Software components as monadic Mealy machines
- Method: The mMm calculus; prototyping in Haskell
- Coordination-oriented architectural design. (ECT)
- Paradigm: The Reo exogenous coordination model
- Method: Compositional specification of the glue layer
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
- Projecto 1 (10%)
- Projecto 2 (15%)
- Entrega: 15 Maio @ 23:59
- Demo: 19 Maio @ 14h
- RESULTADOS
- Projecto 3 (15%)
- Entrega: 16 Junho @ 14h
- Demo: 16 Junho @ 14h
- RESULTADOS
- Prova individual escrita (60%) - 9 Junho @ 14h
- Exame de recurso (60%) - 30 Junho @ 14h (DI.0.03)
- As notas finais superiores ou iguais a 19 valores terão que ser defendidas em prova oral.
- PAUTA PROVISÓRIA com resultados da prova escrita.
Atendimento
- Horário: 4ª 10h-12h (por marcação)
- Marcação: jose at proenca dot org