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.

Cohesive Project (Laboratório de Engenharia Informática)

The main aim of this course unit (10 ECTS) is for students to engage in group work around a project proposed by industrial or R&D partners.

Students thus have the opportunity to apply the theoretical background of the other MFES modules to real problems, bridging their background with industry and research problems.

Groups will have an external adviser from the partner proposing their theme and a local tutor.

Interesting and useful slides for preparing your milestone presentations:

List of Projects

Company / Institution Proponent Project themes
ESA (NL) Tiago Jorge On-board software component interaction (OSCI)
ASML (NL) Andre Passos Alloy for ASML machine sequence generation
OU (NL) Stef Joosten Design of an argument assistance system for legal reasoning
INTO-CPS (IR) Luís Couto Verifying communication within FMI co-Simulations (INTO-CPS)
Bosch (PT) Francisco Duarte Formal specification and implementation of processes at BOSCH using Spreadsheets

Brochure of project themes: tinynew.gif PDF

Start-up Workshop

The start-up MFES workshop will take place on Feb 9th, between 10h-13h, with the following schedule:

10h00 - Welcome
10h15 - ASML (NL) - André Passos tinynew.gif (Slides)
10h35 - ESA (NL) - Tiago Jorge
10h55 - BOSCH (PT) - J.A. Saraiva
11H15 - Break
12h00 - INTO-CPS (IR) - L. Couto
12h20 - OU (NL) - Stef Joosten tinynew.gif (Slides)
12h40 - Closing

Milestones

Dates TBA

Students of the MFES specialization

(List to be confirmed.)

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

-- JoseNunoOliveira - 21 Jan 2017

r18 - 07 Jun 2017 - 13:50:15 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM