Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

04 Set - Lançadas a classificações do exame da época especial de E&M .

15 Jul - Exames da época especial: ver Sumários.

22 Jun Notas dos testes e do TP2 já sairam - A&C.

06 Jun Nova data para apresentações dos trabalhos - 20 Junho, ver Sumários.

24 Mai Datas para entrega e apresentações dos trabalhos adiada - para 15 e 16 Junho, respectivamente.

9 Mai Anunciadas datas para as apresentações dos trabalhos (1 Junho) e para o teste (8 Junho).

9 Mai Disponíveis os slides mostrados até ao momento no último módulo de A&C.

25 Abr Entrega do trabalho prático (UPPAAL) adiado para 3 Maio @ 23:59.

6 Abr Notas do trabalho prático 1 já estão disponíveis - A&C.

20 Mar Trabalho prático 1: entregar até dia 23 Março; Trabalho prático 2: disponível em Material - A&C.

24 Fev - Primeiro trabalho prático já saiu, em "Material" de A&C.

14 Fev - Ver Material em A&C.

10 Fev - Lançadas a classificações finais de E&M.

10 Fev - Importante: as aulas das disciplinas do perfil de MFES passam, a partir da próxima semana (inclusive), para a sala DI 1.08.

6 Fev - WS de apresentação de temas MFES/LEI: ver Sumários.

6 Fev - Apresentações dos trabalhos: ver Sumários. Cada apresentação não pode demorar mais que 20 min, discussão incluída. No caso de desejarem apresentar slides devem enviá-los para o responsável da disciplina no dia anterior.

28 Jan - Trabalho de E&M: a data de entrega passou para 3-Fev até às 12h.

21 Jan - Enunciado do teste de E&M disponível, com correcção de algumas perguntas.

15 Jan - Estão disponíveis duas bolsas para desenvolver trabalho no projeto Green Software Laboratory GSL. Se tens licenciatura (ou os 3 primeiros anos do mestrado) completos concorre! Mais informações aqui.

06 Dez - E&M, T+TP suplementar de amanhã: por falta de salas a aula só poderá ser às 16h00, na sala 1.09, ver Sumários.

30 Nov - E&M: já está disponível o enunciado do TP.

29 Nov - ATS, aula extra esta 4a feira, dia 30/11 às 14:00.

29 Nov - E&M, grupos de trabalho: os alunos que ainda o não fizeram devem enviar ao responsável da disciplina a constituição do seu grupo (de dois alunos cada). O TP será anunciado amanhã, 30-Nov.

20 Nov - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides (PDF) até ao 115; fazer os exercícios 37, 40, 46 e 47.

3 Nov - Está disponível uma bolsa para desenvolver trabalho na plataforma Alloy4Fun. Se tens licenciatura (ou os 3 primeiros anos do mestrado) completos concorre! Mais informações aqui.

13 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 97; fazer os exercícios 32, 33, 34.

3 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 79; fazer os exercícios 25, 28, 30, 31.

29 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 65; fazer os exercícios 20, 22, 25-26.

14 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 45; fazer os exercícios 7 a 10.

6 Out - O teste de ATS será no dia 5 de Janeiro e o teste de E&M será no dia 12 de Janeiro.

20 Set - As aulas das disciplinas do primeiro semestre iniciam-se a 22-Set.

Arquitectura e Cálculo

Funcionamento

Docentes

Método de avaliação

  • Teste individual escrito (60%) + 3 trabalhos (40%)
    • Prazo de entrega do trabalho 2: 31 Maio 15 Junho @ 23:59
    • Apresentação do trabalho 2: 1 Junho 16 Junho - 10 min por grupo
    • Prazo de entrega do trabalho 3: 22 Junho @ 23:59
    • Teste individual com consulta: 8 Junho
    • Exame com consulta: 29 Junho @ 9:00

Atendimento

  • Horário: 4ª 10h-12h (por marcação)
  • Marcação: jose at proenca dot org

Objectivos

Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos.

Programa Resumido

  • Introdução aos sistemas reactivos
  • Fundamentos
  • Modelação e análise de sistemas reactivos
  • Arquitectura de sistemas reactivos
  • Projecto e integração de ferramentas.

Material de apoio

Slides

Material

Software

Links úteis

Bibliografia

Resultados de aprendizagem

  • Conhecer e caracterizar modelos para computação reactiva baseados em diferentes tipos de sistemas de transição, nomeadamente com evolução não-determinística, em tempo real ou estocástica.
  • Formular propriedades sobre esses modelos e analisar a sua satisfação.
  • Familiarizar-se com a noção de coordenação de software e utilizá-la produtivamente na definição de arquitecturas de sistemas reactivos.
  • Conhecer e utilizar ferramentas computacionais de suporte.
  • Integrar os conhecimentos adquiridos para utilização no projecto de engenharia de sistemas reactivos.

Alunos - pautas provisórias

Número Nome TP1 10% TP2 20% TP3 10% Teste 60% Recurso Média Final
a70058 Daniel Torres 18.7 - - - - - F
a64287 David Moreira 17.1 11.1 0 - 6.4 7.8 R
a72227 Diogo Vilaça 18.1 13.2 16 11.6 - 13.0 13
pg28842 Fátima Cristiana Conceição 15.5 19.7 17 7.8 - 11.8 12
pg32996 Hugo Ribeiro 18.6 14.4 16 9.0 - 11.7 12
pg31577 Isac Meira 18.6 14.4 16 10.0 - 12.3 12
a70430 João Costa 15.2 14.0 16 8.7 - 11.1 11
a64293 Jorge Ferreira 16.0 11.2 16 6.0 - 9.0 10
a72424 José Macedo 18.1 13.2 16 14.3 - 14.6 15
a72204 José Paulo Fernandes 18.1 12.1 13 6.7 - 9.5 10
a72205 Luís Martinho Silva 15.1 13.2 16 9.7 - 11.6 12
a70441 Mário Ferreira 18.1 12.1 13 7.6 - 10.1 10
a71580 Rafael Barbosa 15.2 14.0 16 12.6 - 13.5 14
pg30869 Rúben Cruz 16.0 19.7 17 16.4 - 17.1 17

[ Acesso às edições anteriores de 2014-15 e 2015-16 ]

-- Página criada por LuisSoaresBarbosa - 28 Sep 2016

r33 - 29 Jun 2017 - 10:40:38 - JoseProenca
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM