| Topics in Education/MFES web: | Changed: now 18:22 | 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 |