Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

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.

Education » MFES » WebHome » AC

Arquitectura e Cálculo

Funcionamento

Docentes

Método de avaliação

Teste individual escrito (60%) + 3 trabalhos (40%)

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

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

a64287 David António Cardoso Moreira P MiEI
a72227 Diogo Filipe da Silva Vilaça P MiEI
pg32996 Hugo Filipe da Silva Ribeiro P MEI
pg31577 Isac Pereira Oliveira Meira P MEI
a70430 João Bernardo Machado Quintas Dias da Costa P MiEI
a64293 Jorge Miguel Sol Ferreira P MiEI
a72424 José Nuno Castro de Macedo P MiEI
a72204 José Paulo Queiroga Amorim Fernandes P MiEI
a70441 Mário Jorge Viana Ferreira P MiEI
a71580 Rafael Alexandre Antunes Barbosa P MiEI

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

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

r16 - 20 Mar 2017 - 10:02:11 - JoseProenca
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM