Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [17/18]

Tópicos

Avisos

4 Fev - tinynew.gif As notas finais de UC2 - CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente.

30 Jan - tinynew.gif As notas finais de UC1 - EM já se encontram na respectiva página. Os exames podem ser consultados dia 2 de Fevereiro às 14:00 no gabinete do docente.

25 Jan - A aula de dúvidas de UC2 - CSI já está narcada no calendário (30-Jan de tarde, na sala do costume).

24 Jan - A hora do exame de UC1 - EM foi alterada para as 9h00 do dia 25 de Janeiro (sala CP2 111).

24 Jan - A hora do exame de UC2 - CSI foi alterada para as 11h00 do dia 1 de Fevereiro (sala CP2-105).

18 Jan - A entrega do trabalho de Alloy foi adiada para o dia 21 de Janeiro.

18 Jan - As notas do teste de UC1 - EM já se encontram na respectiva página. Os testes podem ser consultados dia 19 de Janeiro às 14:00 no gabinete do docente.

10 Jan - As notas do teste de UC2 - CSI já se encontram na respectiva página.

8 Jan - Colocados na página de CSI os enunciados das provas de avaliação com propostas de resolução .

4 Jan - A aula suplementar de hoje terá lugar na sala DI 1.09

23 Dez - As notas do miniteste de UC2 - CSI já se encontram na respectiva página.

11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na Sala de Reuniões do DIUM do 3º andar (não foi possível obter nenhuma sala comum, está tudo cheio nesse dia).

11 Dez - Preparação em casa ('Flipped Classroom') das aulas de CSI desta semana (2 dias): ler até ao slide 172 (para 4ª-feira) e daí fazer os exercícios que estão nesta folha.

04 Dez - CSI: sessão de dúvidas - amanhã à tarde, após as 16h30, o docente estará disponível para tirar dúvidas para o mimi-teste.

03 Dez - CSI: pf vejam as FAQs que vão aparecendo ao fundo da página de CSI.

27 Nov - CSI: Por colisão de agenda com um júri da FEUP em que o docente participa, o miniteste terá que ser adiado 1 semana. Esta semana apenas permanece a aula T das 17h-18h.

13 Nov - As aulas de reposição da próxima 4ª-feira dia 15 terão lugar no Anfiteatro DI-1.01 (vulg. A2).

12 Out - Preparação em casa das aulas de CSI desta semana (2 dias): ler até ao slide 114 e preparar os exercícios 28-31 e 43-44. NB: há uma nova versão dos slides, com algumas alterações (204 slides no total).

29 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 92 e preparar os exercícios 19, 21, 22 e

16 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.

7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.

30 Set - Os slides de UC2 - CSI já estão disponíveis.

22 Set - Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.

19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).

17 Set - Início das aulas: 19-Set.

09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.

06 Set - Slides da apresentação do perfil.

Análise e Teste de Software

Docentes

João Saraiva homepage

Alunos

Afonso João Borges Cabral Cerejeira da Silva a70387
Afonso Pires Pontes pg35389
André Brandão de Pinho a71841
André Ricardo Covelo Germano a71150
Axel da Silva Ferreira a53064
Bruno Rafael Lamas Corredoura Dantas a74207
Carlos Jorge Rodrigues Martins a68913
César Augusto Lourenço Cachulo a72384
Daniel Cerveira Furtado Malhadas a72293
Daniel Pinheiro Casanova a54003
Fernando Daniel Freitas da Silva pg32994
Francisco Sampaio da Costa a70922
Guilherme Vasconcelos da Silva Guerreiro a73860
Hugo Alves Carvalho a74219
Hélder João Moreira de Sousa a58148
Jorge Fernando Vieira Cardoso a75876
José Carlos Pedrosa Lima de Faria a67638
João Filipe Campos Lameiras pg35398
João Pedro Monteiro Miranda a67714
João Tiago Cruz Cunha a67741
Leonel da Cruz Gonçalves pg33003
Lisandra Maria Pereira da Silva a73559
Luís Miguel Fontão Martins a71754
Luís Miguel da Cunha Lima a74260
Mvovi Lucas Patricio tmp201706
Nuno Gabriel da Silva Areal a74714
Nuno José Vilela da Cunha a72376
Pedro Daniel Gomes Fonseca a74166
Pedro Miguel Lopes Pereira a70951
Ricardo Araújo Silva a60995
Ricardo Jorge Barroso Certo a75315
Thiago Alexandria Sposito tmp201703
Tiago Manuel Sampaio Branco pg35391
Tiago Miguel Alves Cruz pg35397
Tomás Moreira Ferreira a67701
Vitor Emanuel Nogueira Brochado tmp201709

Material Pedagógico

Expressões Regulares como "_Embedded DSL_": RegExp.tgz

Gramáticas e Técnicas Genéricas de Parsing: Parsing.tgz

ASTs, Travessias e Transformações Genéricas: TOM REg Exp Normalization

Control Flow Graphs: Slides Haskell

Source Code Smells: Source Code Smells

Program Refactoring: Program Refactoring

Green Software (RAPL): Rapl.tgz

Teste de Software:

JUnit: slides JUnit-Examples.zip

Automated Testing: AutomatedTesting.pdf

Fault Localization: FaultLocalization.pdf

Slides

slides

Trabalho Prático

Enunciado do Projecto:

Projeto.pdf

Software disponibilizado para "case studies" para cada um dos projetos propostos::

Programa Java (código fonte):

Aplicação UMer: Projeto Java!

Aplicações Android (código fonte):

Google Authenticator: https://github.com/google/google-authenticator-android/
Continuous audiorecorder: https://github.com/lassana/continuous-audiorecorder
0xBench: https://github.com/josephcc/0xbench

Programa Haskell (código fonte):

Infelizmente a ferramenta de refactoring do Haskell não está a ser actualizada e não pode ser utilizada. O(s) grupo(s) que pretendam mesmo fazer o projeto em Haskell devem contactar o docente para definir um projeto alternativo.

Fichas de Exercícios

Ficha: Gramáticas e Parsers: Ficha 1

Ficha: Travessias e Transformações Genéricas de ASTs: Ficha 2

Ficha: Refabricação de Programas - Ficha 3

Avaliação

Teste do ano passado: Teste 2016/2017

Notas do Teste Individual: Teste.pdf

Notas Finais:

NotasFinais.pdf

r17 - 16 Feb 2018 - 10:59:32 - JoaoSaraiva
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM