Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2019/2020

Tópicos

Avisos

17 Set - Vídeo de apresentação da edição de tinynew.gif 2020/21.

30 Mar - VF: alteração do método de avaliação. tinynew.gif

21 Fev - VF: aula de substituição será, 4ª feira, 26-Fev, às 14:00, na sala 0.04 do DI.

10 Fev - CSI: afixadas as notas finais na página de CSI.

4 Fev - As aulas de AC e VF iniciam-se esta quinta-feira, 6-Fev.

28 Jan - CSI: o exame de recurso terá lugar na sala E2-1.10 às 9h00.

26 Jan - CSI: estão lançadas as classificações após a realização do teste - ver página CSI. Atendimento para mostrar os testes: dia 27-Jan, às 16h.

13 Jan - CSI: a aula de dúvidas amanhã de tarde será às 17h, na sala 0.09, e não às 16h, como por lapso disse a alguns alunos. Pf ver Sumarios.

13 Jan - CSI: matéria para a parte 2 do teste - ver FAQ 9 na página de CSI.

13 Jan - CSI: o teste terá lugar no dia 16-Jan às 14h, na sala E7-0.07.

13 Jan - CSI: haverá uma aula de dúvidas amanhã de tarde, na sala 0.09, pf ver Sumarios.

5 Jan - EM: o prazo para a entrega do TP2 foi adiado uma semana.

2 Jan - CSI: estão lançadas as classificações do mini-teste na página CSI.

3 Dez - CSI: os alunos devem prestar atenção ao material pedagógico que vai aparecendo na página da disciplina.

24 Nov - CSI: os alunos devem prestar atenção às FAQs que vão saindo na página da disciplina.

12 Nov - CSI: mini-teste terá lugar no dia 28-Nov às 14h, na sala E7-0.07. Haverá aula depois até às 17h.

10 Nov - CSI: Caso de estudo da aula de 7-Nov ('campeonato de futebol') adicionado ao material da disciplina.

29 Out - CSI: Formulário actualizado colocado na página respectiva.

2 Out - Atenção à mudança de sala de ATS: passa para CP2.-2.08.

26 Set - Atenção à mudança de sala de CSI: passa da 1.10 para a 0.07 (Edifício 7).

17 Set - Início das aulas: 17-Set (ATS).

-- JoseNunoOliveira - 17 Sep 2019

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

EM 05 Nov 2020 - 08:27 - r37 AlcinoCunha
Especificação e Modelação Programa Lógicas para especificação e modelação Lógica de primeira ordem Lógica relacional Lógica temporal ...
CSI 30 Sep 2020 - 19:14 - r36 JoseNunoOliveira
UC2 Cálculo de Sistemas de Informação Information Systems by Calculation (E Learning) Programa da UC / Course syllabus Métodos formais ...
WebHome 22 Sep 2020 - 15:00 - r59 JoseNunoOliveira
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2019/20 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ...
Avisos 17 Sep 2020 - 14:29 - r21 JoseNunoOliveira
17 Set Vídeo de apresentação da edição de 2020/21. 30 Mar VF: alteração do método de avaliação. 21 Fev VF: aula de substituição será, 4ª feira, 26 Fev ...
ATS 17 Sep 2020 - 10:21 - r43 JoaoSaraiva
Análise e Teste de Software AVISO (31/1): Final do torneio do CodeDefender Live : foto. AVISO (27/1): A final do torneio do CodeDefender é 6a feira, dia 31/1 ...
VF 26 May 2020 - 09:59 - r19 MariaJoaoFrade
UC3 Verificação Formal Programa Resumido Lógica e Sistemas de Prova Sistemas de prova automática: lógica proposicional; SAT solvers; ...
AC 04 Feb 2020 - 15:20 - r2 JoseNunoOliveira
UC4 Arquitectura e Cálculo A página desta cadeira encontra se em http://arca.di.uminho.pt/ac 1920/.
LEI 14 Jan 2020 - 19:53 - r4 JoseNunoOliveira
Cohesive Project (Lab. EI) Material Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj ...
WebSideBar 13 Jan 2020 - 16:27 - r94 JoseNunoOliveira
Tópicos Bem vindo a MFES principal Docentes Contacto Sumários OC Análise e Teste de Software UC1 Especificação e Modelação ...
EquipaDocente 17 Sep 2019 - 11:04 - NEW JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Moreira Macedo Nuno Oliveira Sousa Pinto ...
Calendario 17 Sep 2019 - 10:53 - NEW JoseNunoOliveira
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 17 Sep 2019
WebPreferences 17 Sep 2019 - 09:16 - r25 AlcinoCunha
Education/MFES1920 Web Preferences The following settings are web preferences of the Education/MFES1920 web. These preferences overwrite the site level preferences ...
WebStatistics 10 Sep 2011 - 18:37 - r1184 TWikiGuest
Statistics for Education/MFES1920 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/MFES1920 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1920 web"}% /Education/MFES1920
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 26 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