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 » ATS

Análise e Teste de Software (H507O9)

Equipa Docente

João Saraiva: Aulas teóricas

José Nuno Macedo: Aulas laboratoriais

Sumários

Aula 1 (14/10)

(T + PL) Apresentação da disciplina. Combinadores de Parsing. "Embedded Domain Specific Languages". Gramáticas (BNF) como uma EDSL em Haskell: Combinadores de Parsing.

Material

Combinadores de Parser - Slides: Slides-Parsing.pdf

Combinadores de Parsing - Library: Parser.hs

Parser para a linguage Let: Parser_Let.hs

Combinadores de Parsing - Exercícios: *Parsing.pdf*

Aula 2 (21/10)

T: Métricas de Software e Smells de Código.

PL: O Sistema SonarQube.

Material

Software Metrics - Slides: SoftwareMetrics.pdf

Code Smells - Slides: CodeSmells.pdf

Sonarqube - Slides: SonarQube.pdf

Aula 3 (28/10)

T: Catálogo de Smells de Código e Program Refactoring.

PL: Program Refactoring em intelliJ.

Material

Program Refactoring - Slides: ProgramRefactoring.pdf

Program Refactoring - _ Exercícios_: Refactoring.pdf

Exemplos de Programas: Contactos.zip, Poligono.zip

Regime de Avaliação

A avaliação consiste em duas componentes: prova individual (PI) (teste ou exame escritos) e Projeto em Grupo (PG) (a resolver durante o semestre). As provas escritas são de consulta de material impresso, apenas.

A Nota final é calcula de acordo com a seguinte fórmula: 50% PI + 50% PG, com nota mínima de 8 valores em todas as componentes de avaliação.

O projeto em grupo será desnvolvido por grupos de 3 alunos.

Datas da Avaliação

Prova Individual: 06/01/2021 (última aula do semestre)

Entrega do Projeto em Grupo: 06/01/2021

Exame:: 27/01/2021 (a confirmar)

Alunos | Students

# Nome Curso Grupo
a84584 Alexandra de Barros Reigada MiEI 5
a84462 Alexandre Esteves Miranda MiEI  
a83916 Ana João Dias de Almeida MiEI 3
a85762 Ana Afonso MiEI 1
a84807 André Sousa Figueiredo MiEI 3
a78352 Bruno Cruz Veloso MiEI 4
pg42818 Carolina Resende Marques MiEI 6
pg39286 Emely da Mata Mendonça MEI 6
a76089 Etienne da Silva Filipe Amado da Costa MiEI 8
a81015 Filipa Barbosa Ferraz Silva MiEI  
a65277 Flávio Manuel Machado Martins MiEI 1
a85370 Hugo Fernandes Matias MiEI  
a85579 Hugo Filipe Duarte Carvalho MiEI 2
a81898 Hugo Manuel Gomes Nogueira MiEI  
a85573 Jorge Gabriel Alves Cerqueira MiEI 6
a84776 José Emanuel Silva Rodrigues MiEI  
a85501 José Manuel Pires Rodrigues MiEI 7
a84577 José Pedro Oliveira Silva MiEI  
a80791 João Diogo Mendes Teixeira da Mota MiEI 4
pg42834 João Filipe Mendes da Silva MEI  
a83581 João Miguel Fernandes Cerqueira Soares MiEI  
a80397 João Nuno Alves Lopes MiEI 1
pg42840 Leandro Filipe Pereira Lima MEI  
a84241 Luís Manuel Azevedo Maia MiEI  
pg42842 Luís Marques MEI  
a86265 Luís Pedro Barbosa Ferreira MiEI 3
pg38347 Luís Pedro Novais Freitas MEI  
e9867 Maria Medvidova Erasmus  
a85242 Maria Miguel Albuquerque Regueiras MiEI 5
a71407 Maurício Zulueta Lima Salgado MiEI 8
miguelribeiroai@gmail.com Miguel Mateus Ribeiro MEI  
a83819 Miguel Rúben Silva de Oliveira MiEI 7
pg42845 Moisés Manuel Borba Roriz Ramires MEI  
a84727 Nelson Correia Faria MiEI 7
a85493 Pedro Alexandre Gonçalves Ribeiro MiEI 2
a82535 Pedro Mendes Pinto MiEI  
a85700 Pedro Miguel Araújo Costa MiEI  
a84783 Pedro Miguel Borges Rodrigues MiEI  
a84556 Peter Ferreira Vala MiEI  
a86266 Rafael Inácio Lourenço MiEI 4
a83765 Rodrigo da Silva Pimentel MiEI  
a80789 Rui Filipe Brito Azevedo MiEI 8
a83712 Rui Filipe Moreira Mendes MiEI 2
a84930 Rui Pedro Neto Reis MiEI  
a85176 Tânia Filipa Amorim da Rocha MiEI 5
pg42647 Valeriy Apostolyuk MEI  

r12 - 29 Oct 2020 - 15:14:35 - JoaoSaraiva
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM