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.

50 Recent Changes in TWiki Web retrieved at 23:28 (GMT)

WebHome 19 Nov 2018 - 00:34 - r48 JoseNunoOliveira
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou ...
WebSideBar 10 Sep 2018 - 15:15 - r85 JoseNunoOliveira
Tópicos Bem vindo a MFES principal Docentes Sumários Análise e Teste de Software Especificação e Modelação Arquitectura e C ...
ATS 09 Sep 2017 - 12:00 - r22 JoseNunoOliveira
Análise e Teste de Software A disciplina de Análise e Teste de Software estuda métodos e ferramentas para a análise e teste de sistemas de software. A parte de an ...
Avisos 04 Sep 2017 - 10:22 - r33 JoseNunoOliveira
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 ...
EM 04 Sep 2017 - 10:19 - r40 JoseNunoOliveira
Especificação e Modelação Classificações do exame da época especial: a64287 R; pg22842 R. Classificações finais: (Apenas dos alunos avaliados ...
AC 29 Jun 2017 - 10:40 - r33 JoseProenca
Arquitectura e Cálculo Funcionamento Docentes Proença Nuno Oliveira Método de avaliação Teste individual escrito (60%) 3 trabalhos (40%) ...
LEI 07 Jun 2017 - 13:50 - r18 JoseNunoOliveira
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 ...
VF 25 May 2017 - 15:37 - r12 MariaJoaoFrade
Verificação Formal Docentes: Jorge Sousa Pinto e Maria João Frade Slides Apresentação Logic and SAT solvers Logic and SMT solvers and ...
EquipaDocente 16 Feb 2017 - 13:27 - r5 JoseNunoOliveira
Equipa docente Alcino Cunha Couto João Frade Nuno Oliveira Cunha Mendes Pereira Sousa Pinto ...
WebPreferences 14 Feb 2017 - 16:38 - r21 JoseNunoOliveira
Education/MFES1617 Web Preferences The following settings are web preferences of the Education/MFES1617 web. These preferences overwrite the site level preferences ...
Calendario 01 Dec 2016 - 19:40 - r2 JoseNunoOliveira
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 22 Sep 2016
WebStatistics 10 Sep 2011 - 18:37 - r1184 TWikiGuest
Statistics for Education/MFES1617 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
WebCss 03 May 2007 - 08:33 - r4 AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1617 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1617 web"}% /Education/MFES1617
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 25 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM