Designação | Código | Curso | Regime | Regente |
---|---|---|---|---|
10864 [8506O7] | S6 | |||
Objetivos | A complexidade, ubiquidade e criticidade dos sistemas integrados por componentes que concorrem e interagem entre si, justificam um investimento na formação de profissionais dotados de conhecimentos adequados ao seu desenvolvimento rigoroso, análise e verificação. Nesta UC os alunos tomam contacto com a álgebra de processos, com foco na paradigmática CCS e na recente mCRL2 e respetivas ferramentas. | |||
Programa | 1. Sistemas de transição de estados; | |||
Bibliografia | Aceto, L., Ingolfsdottir, A., Larsen, K. G., Srba, J. (2007). Reactive Systems: Modelling, Specification and Verification. Cambridge Univ. Press. | |||
Resultados da aprendizagem | - Desenhar sistemas reativos compostos por módulos concorrentes comunicantes; | |||
Método de avaliação | A avaliação tem duas componentes, um teste escrito e um projeto de modelação suportado por uma ferramenta computacional. Esta componente prática envolve a apresentação de um relatório escrito e a sua discussão oral. Informação mais detalhada, incluindo as ponderações das duas componentes, é dada aos estudantes em cada ano letivo. | |||
Funcionamento | Turno: T 1; Docente: Olga Maria Gomes Martins Pacheco; Dep.: DI; Horas: 30. |