The Education/MFES web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES Copyright 2020 by contributing authors 2020-10-30T08:45:10Z http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/Avisos 2020-10-30T08:45:10Z

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: ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/CSI 2020-10-30T08:39:33Z

Cálculo de Sistemas de Informação Information Systems by Calculation (H507R1) Horário Timetable Docente Foto Horário Sala Nuno Oliveira ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/ATS 2020-10-29T15:14:35Z

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 ... (last changed by JoaoSaraiva)

JoaoSaraiva http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/EM 2020-10-29T12:53:46Z

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 ... (last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebSideBar 2020-10-21T16:39:16Z

Tópicos Bem vindo a MFES anteriores Sumários Docentes OC Análise e Teste de Software UC1 Especificação e Modelação UC2 ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebHome 2020-10-17T10:43:15Z

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 ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/EquipaDocente 2020-09-22T15:25:15Z

Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Macedo Nuno Oliveira Sousa Pinto Alexandre ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/Calendario 2020-09-22T15:02:11Z

Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 22 Sep 2020 (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebPreferences 2020-09-22T14:32:58Z

Education/MFES Web Preferences The following settings are web preferences of the Education/MFES web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebStatistics 2011-09-10T18:37:19Z

Statistics for Education/MFES Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)

TWikiGuest http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopicActions 2009-09-29T16:53:07Z

(last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebCss 2007-05-03T08:33:47Z

.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopBar 2007-02-13T14:43:04Z

(last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebLeftBar 2007-02-13T10:35:33Z

Apresentação Sumários Projectos Material (last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopicList 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebSearchAdvanced 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor