http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617 The Education/MFES1617 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/MFES1617 http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebHome 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) 2018-11-19T00:34:33Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebSideBar 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) 2018-09-10T15:15:50Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/ATS 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) 2017-09-09T12:00:31Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/Avisos 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) 2017-09-04T10:22:17Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/EM 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) 2017-09-04T10:19:09Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/AC 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) 2017-06-29T10:40:38Z JoseProenca http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/LEI 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) 2017-06-07T13:50:15Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/VF 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) 2017-05-25T15:37:50Z MariaJoaoFrade http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/EquipaDocente Equipa docente Alcino Cunha Couto João Frade Nuno Oliveira Cunha Mendes Pereira Sousa Pinto ... (last changed by JoseNunoOliveira) 2017-02-16T13:27:04Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebPreferences 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) 2017-02-14T16:38:49Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/Calendario Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 22 Sep 2016 (last changed by JoseNunoOliveira) 2016-12-01T19:40:24Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/WebTopicActions (last changed by AlcinoCunha) 2009-09-29T16:53:07Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/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/MFES1617/WebTopBar (last changed by AlcinoCunha) 2007-02-13T14:43:04Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1617/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/MFES1617/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor