Métodos Formais em Engenharia de Software

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

Tópicos

Avisos

30 Out - CSI: módulo RelCalc.als já está disponível.

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

24 Out - CSI: preparação para as aulas tinynew.gif #03: ler secções 5.6 a 5.8 de Program Design by Calculation.

23 Out - CSI: aconselha-se os alunos a prestar atenção às FAQs que já começaram a sair na página da disciplina.

20 Out - CSI: foi enviado um e-mail aos alunos que estão listados na página de CSI. Quem porventura o não tiver recebido deve pf entrar em contacto com o docente.

17 Out - CSI: preparação para as aulas #02: ler secções 5.2 a 5.5 de Program Design by Calculation.

17 Out - CSI: como preparação para as aulas ver os sumários previstos e seguir as indicações semanais aqui nestes avisos. (Em CSI segue-se o método 'Flipped Classroom')

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 29 Oct 2020 - 15:14 - r12 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 30 Oct 2020 - 08:45 - r9 JoseNunoOliveira
30 Out CSI: módulo RelCalc.als já está disponível. 27 Out EM: o servidor do alloy4fun já está a funcionar. 24 Out CSI: preparação para as aulas #03: ...
CSI 30 Oct 2020 - 08:39 - r15 JoseNunoOliveira
Cálculo de Sistemas de Informação Information Systems by Calculation (H507R1) Horário Timetable Docente Foto Horário Sala Nuno Oliveira ...
Calendario 22 Sep 2020 - 15:02 - NEW JoseNunoOliveira
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 22 Sep 2020
EM 29 Oct 2020 - 12:53 - r10 AlcinoCunha
Especificação e Modelação (H507O2) Programa Lógicas para especificação e modelação Lógica de primeira ordem Lógica relacional Lógica ...
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.

See also the faster WebTopicList

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