Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021

Tópicos

Avisos

30 Out - CSI: módulo RelCalc.als já está disponível.

27 Out - EM: o servidor do alloy4fun já está a funcionar.

24 Out - CSI: preparação para as aulas tinynew.gif #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.

Education » MFES » WebHome » EM

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

Docenteup Foto Horário Sala
Manuel Alcino Cunha Alcino 5a-feira, 9h-11h CP1 1.21

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

r10 - 29 Oct 2020 - 12:53:46 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM