Métodos Formais em Engenharia de Software

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

Tópicos

29 Nov - Os avisos de CSI estão agora nesta página: https://haslab.github.io/MFES/CSI/2021/index

27 Out - EM: o servidor do alloy4fun já está a funcionar.

12 Out - As aulas iniciam-se esta semana.

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

Education/MFES Web	Changed	Changed by

ATS	22 Feb 2021 - 08:55 - r33	JoaoSaraiva
Análise e Teste de Software (H507O9) Equipa Docente Saraiva: Aulas teóricas José Nuno Macedo: Aulas laboratoriais Sumários Aula 1 (14/10) (T PL) Apresenta ...

Avisos	16 Dec 2020 - 15:06 - r12	JoseNunoOliveira
29 Nov Os avisos de CSI estão agora nesta página: https://haslab.github.io/MFES/CSI/2021/index 27 Out EM: o servidor do alloy4fun já está a funcionar. 12 Out ...

CSI	06 Dec 2020 - 19:51 - r20	JoseNunoOliveira
Devido a problemas de segurança identificados pelos administradores deste wiki, o conteúdo desta página passa a estar disponível em https://haslab.github.io/MFES ...

Calendario	16 Dec 2020 - 15:05 - r3	JoseNunoOliveira
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 22 Sep 2020

EM	30 Nov 2020 - 08:18 - r28	AlcinoCunha
Especificação e Modelação (H507O2) Devido a problemas de segurança identificados pelos administradores deste wiki, a página de EM migrou para aqui.

EquipaDocente	22 Sep 2020 - 15:25 - NEW	JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Macedo Nuno Oliveira Sousa Pinto Alexandre ...

WebAtom	24 Jan 2006 - 06:07 - r2	TWikiContributor
TWiki's Education/MFES web

WebChanges	15 Nov 2006 - 19:43 - r3	TWikiContributor

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 ...

WebHome	17 Oct 2020 - 10:43 - r59	JoseNunoOliveira
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2020/21 do perfil de Métodos Formais em Engenharia de Software . Para uma primeira impressão sobre o perfil ...

WebIndex	15 Nov 2006 - 19:43 - r4	TWikiContributor

WebLeftBar	13 Feb 2007 - 10:35 - r5	AlcinoCunha
Apresentação Sumários Projectos Material

WebNotify	28 Mar 2005 - 09:40 - r5	TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration

WebPreferences	22 Sep 2020 - 14:32 - r25	AlcinoCunha
Education/MFES Web Preferences The following settings are web preferences of the Education/MFES web. These preferences overwrite the site level preferences ...

WebRss	28 Mar 2005 - 09:40 - r4	TWikiContributor
" else "TWiki's Education/MFES web"}% /Education/MFES

WebSearch	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSearchAdvanced	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSideBar	21 Oct 2020 - 16:39 - r99	JoseNunoOliveira
Tópicos Bem vindo a MFES anteriores Sumários Docentes OC Análise e Teste de Software UC1 Especificação e Modelação UC2 ...

WebStatistics	10 Sep 2011 - 18:37 - r1184	TWikiGuest
Statistics for Education/MFES Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...

WebTopBar	13 Feb 2007 - 14:43 - NEW	AlcinoCunha

WebTopicActions	29 Sep 2009 - 16:53 - r2	AlcinoCunha

WebTopicCreator	15 Nov 2006 - 19:43 - r2	TWikiContributor

WebTopicList	15 Nov 2006 - 19:43 - r3	TWikiContributor

Found 23 topics.