The Education/MFES1617 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617 Copyright 2020 by contributing authors 2018-11-19T00:34:33Z http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebHome 2018-11-19T00:34:33Z

Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebSideBar 2018-09-10T15:15:50Z

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

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/ATS 2017-09-09T12:00:31Z

Análise e Teste de Software A disciplina de Análise e Teste de Software estuda métodos e ferramentas para a análise e teste de sistemas de software. A parte de an ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/Avisos 2017-09-04T10:22:17Z

04 Set Lançadas a classificações do exame da época especial de E M . 15 Jul Exames da época especial: ver Sumários. 22 Jun Notas dos testes e do TP2 já sairam ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/EM 2017-09-04T10:19:09Z

Especificação e Modelação Classificações do exame da época especial: a64287 R; pg22842 R. Classificações finais: (Apenas dos alunos avaliados ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/AC 2017-06-29T10:40:38Z

Arquitectura e Cálculo Funcionamento Docentes Proença Nuno Oliveira Método de avaliação Teste individual escrito (60%) 3 trabalhos (40%) ... (last changed by JoseProenca)

JoseProenca http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/LEI 2017-06-07T13:50:15Z

Cohesive Project (Laboratório de Engenharia Informática) The main aim of this course unit (10 ECTS) is for students to engage in group work around a project proposed ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/VF 2017-05-25T15:37:50Z

Verificação Formal Docentes: Jorge Sousa Pinto e Maria João Frade Slides Apresentação Logic and SAT solvers Logic and SMT solvers and ... (last changed by MariaJoaoFrade)

MariaJoaoFrade http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/EquipaDocente 2017-02-16T13:27:04Z

Equipa docente Alcino Cunha Couto João Frade Nuno Oliveira Cunha Mendes Pereira Sousa Pinto ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebPreferences 2017-02-14T16:38:49Z

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

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/Calendario 2016-12-01T19:40:24Z

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

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

Statistics for Education/MFES1617 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/MFES1617/WebTopicActions 2009-09-29T16:53:07Z

(last changed by AlcinoCunha)

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

(last changed by AlcinoCunha)

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

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

AlcinoCunha