The Education/MFES1819 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819 Copyright 2020 by contributing authors 2020-10-19T10:41:26Z http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/WebHome 2020-10-19T10:41:26Z

Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2018/19 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/CSI 2020-10-17T09:08:19Z

UC2 Cálculo de Sistemas de Informação Information Systems by Calculation (E Learning) Programa da UC / Course syllabus Métodos formais ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/Avisos 2020-10-17T08:50:29Z

14 Jun VF : O exame de VF realiza se no dia 19 de Junho (4ª feira), às 14:00, na sala CP2 1.12 . Os alunos deverão trazer os seus computadores pessoais com ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/VF 2020-05-07T13:52:23Z

UC3 Verificação Formal Programa Resumido Lógica e Sistemas de Prova Sistemas de prova automática: lógica proposicional; SAT solvers; ... (last changed by MariaJoaoFrade)

MariaJoaoFrade http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/EM 2020-01-08T17:23:29Z

Especificação e Modelação Docente / Horário Docente Foto Horário Sala Moreira Macedo 5a feira, 9h 12h Sala E7 1.10 NB: poderá haver ... (last changed by NunoMacedo)

NunoMacedo http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/EquipaDocente 2019-05-20T14:04:16Z

Equipa docente Soares Barbosa João Frade Moreira Macedo Nuno Oliveira Alexandre Saraiva JoseNunoOliveira ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/LEI 2019-05-02T11:07:22Z

Cohesive Project (Lab. EI) Material Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/WebSideBar 2019-04-18T16:25:55Z

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

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/ATS 2019-02-15T11:06:28Z

Análise e Teste de Software Finais Teste Projeto Recurso Exame de Recurso 1 Docentes João Saraiva (homepage) Aula Teórica: 3a feira, 14:00 15:00 ... (last changed by JoaoSaraiva)

JoaoSaraiva http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/Calendario 2018-10-04T17:00:35Z

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

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/WebPreferences 2018-09-25T22:35:13Z

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

JoseBacelarAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/AC 2018-09-15T12:03:56Z

UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ... (last changed by JoseNunoOliveira)

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

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

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

(last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1819/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/MFES1819/WebTopBar 2007-02-13T14:43:04Z

(last changed by AlcinoCunha)

AlcinoCunha