http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES The Education/MFES web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/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 #03: ... (last changed by JoseNunoOliveira) 2020-10-30T08:45:10Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/CSI 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) 2020-10-30T08:39:33Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/ATS 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) 2020-10-29T15:14:35Z JoaoSaraiva http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/EM 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) 2020-10-29T12:53:46Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebSideBar 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) 2020-10-21T16:39:16Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebHome 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) 2020-10-17T10:43:15Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/EquipaDocente Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Macedo Nuno Oliveira Sousa Pinto Alexandre ... (last changed by JoseNunoOliveira) 2020-09-22T15:25:15Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/Calendario Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 22 Sep 2020 (last changed by JoseNunoOliveira) 2020-09-22T15:02:11Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebPreferences 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) 2020-09-22T14:32:58Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopicActions (last changed by AlcinoCunha) 2009-09-29T16:53:07Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebCss .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha) 2007-05-03T08:33:47Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopBar (last changed by AlcinoCunha) 2007-02-13T14:43:04Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebLeftBar Apresentação Sumários Projectos Material (last changed by AlcinoCunha) 2007-02-13T10:35:33Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebSearchAdvanced (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES/WebTopicCreator (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor