| | |
Especificação e Modelação (H507O2)
Programa
- Lógicas para especificação e modelação
- Lógica de primeira ordem
- Lógica relacional
- Lógica temporal
- Técnicas de análise e verificação
- Model-finding para lógica relacional
- Model-checking para lógica temporal
- Linguagens e ferramentas principais
- Alloy (Electrum) e o respectivo Analyzer
- Outras linguagens e ferramentas
- TLA+ e a respectiva Toolbox
- SMV e NuSMV
Docente / Horário
Alunos
| # | Nome | Curso |
|---|
| a83916 | Ana João Dias de Almeida | MiEI |
| a85516 | António Manuel Carvalho Gonçalves | MiEI |
| a80453 | Bárbara Andreia Cardoso Ferreira | MiEI |
| a82529 | Carlos Manuel Marques Afonso | MiEI |
| a34900 | Cecília da Conceição de Oliveira Soares | MiEI |
| a67683 | César Eduardo da Silva Magalhães | MiEI |
| pg41842 | César Hugo Moreira da Silva | MEI |
| a80970 | Davide da Silva Matos | MiEI |
| a76089 | Etienne da Silva Filipe Amado da Costa | MiEI |
| a85731 | Gonçalo José Azevedo Esteves | MiEI |
| a86617 | Gonçalo Pinto Nogueira | MiEI |
| a81283 | Hugo Filipe Oliveira de Sousa Faria | MiEI |
| a85573 | Jorge Gabriel Alves Cerqueira | MiEI |
| a84776 | José Emanuel Silva Rodrigues | MiEI |
| pg42839 | José Gonçalo Macedo Costa | MEI |
| a84577 | José Pedro Oliveira Silva | MiEI |
| pg42840 | Leandro Filipe Pereira Lima | MEI |
| pg42842 | Luís Marques | MEI |
| a78566 | Marcos Daniel Teixeira da Silva | MiEI |
| a71407 | Maurício Zulueta Lima Salgado | MiEI |
| a85700 | Pedro Miguel Araújo Costa | MiEI |
| a84783 | Pedro Miguel Borges Rodrigues | MiEI |
| a86266 | Rafael Inácio Lourenço | MiEI |
| a75411 | Ricardo Guerra Leal | MiEI |
| a81716 | Rodolfo António Vieira da Silva | MiEI |
| a80789 | Rui Filipe Brito Azevedo | MiEI |
| pg36086 | Vítor Hugo Gonçalves Silva | MMC |
Método de avaliação
- 1 teste individual escrito (60%, ≥ 8)
- 1 trabalhos a realizar em grupos de 2 alunos (20%)
- Avaliação contínua (20%)
Material pedagógico
Acetatos
Exercícios
Bibliografia
Outras leituras recomendadas
Ferramentas
|
|
|
 Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
|
|
| | |
#03: ler secções 5.6 a 5.8 de Program Design by Calculation.
23 Out - CSI: aconselha-se os alunos a prestar atenção às FAQs que já começaram a sair na página da disciplina.
20 Out - CSI: foi enviado um e-mail aos alunos que estão listados na página de CSI. Quem porventura o não tiver recebido deve pf entrar em contacto com o docente.
17 Out - CSI: preparação para as aulas #02: ler secções 5.2 a 5.5 de Program Design by Calculation.
17 Out - CSI: como preparação para as aulas ver os sumários previstos e seguir as indicações semanais aqui nestes avisos. (Em CSI segue-se o método 'Flipped Classroom')
12 Out - As aulas iniciam-se esta semana.
17 Set - Vídeo de apresentação da edição 2020/21 de MFES.
