Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (14/15)

Tópicos

Avisos

20 Jul - Publicadas em Lab. de EI as respectivas classificações finais.

13 Jul - tinynew.gif Milestone 3 de LEI: está marcada para quarta-feira, 15 de Julho, das 9h00-13h00, na sala DI 1.08. Ver o escalonamento das apresentações no Calendário.

01 Jun - Milestone 2 de LEI: está marcada para quarta-feira, 17 de Junho, às 9h, na sala DI 1.08.

11 Abr - Milestone 1 de LEI: está marcada para quarta-feira, 15 de Abril, às 9h, na sala DI 1.08.

03 Mar - Publicada na página do Laboratório EI a alocação dos grupos aos projectos.

22 Fev - A "Workshop 0" de arranque dos projectos de MFES terá lugar na sala Di 1.08 no dia 25-Fev, ver Calendário.

50 Recent Changes in TWiki Web retrieved at 23:18 (GMT)

VF 09 Feb 2017 - 20:47 - r32 MariaJoaoFrade
Verificação Formal Docente: Maria João Frade Slides Apresentação Propositional Logic and SAT solvers First Order Logic and SMT SMT solvers ...
LEI 09 Feb 2017 - 20:04 - r7 MariaJoaoFrade
Laboratório de Engenharia Informática (Cohesive Project) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft ...
AC 29 Sep 2016 - 22:15 - r10 LuisSoaresBarbosa
Arquitectura e Cálculo Índice Objectivos Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...
Avisos 20 Jul 2015 - 11:38 - r6 JoseNunoOliveira
20 Jul Publicadas em Lab. de EI as respectivas classificações finais. 13 Jul Milestone 3 de LEI: está marcada para quarta feira, 15 de Julho, das 9h00 13h00 ...
WebSideBar 12 Apr 2015 - 10:09 - r73 JoseNunoOliveira
Tópicos Benvindo a MFES Sumários Análise e Teste de Software e Modelação Arquitectura e Cálculo Verificação Formal ...
EquipaDocente 13 Mar 2015 - 11:33 - NEW JoseNunoOliveira
Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Oliveira Visser (docente convidado SIG)
Calendario 03 Mar 2015 - 20:23 - r2 JoseNunoOliveira
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 03 Mar 2015
ATS 03 Mar 2015 - 10:53 - NEW JoseNunoOliveira
Análise e Teste de Software JoseNunoOliveira 03 Mar 2015
WebHome 03 Mar 2015 - 10:15 - r44 JoseNunoOliveira
Bem vindo a MFES Bem vindo à página da edição de 2013/14 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ...
WebPreferences 03 Mar 2015 - 08:11 - r19 AlcinoCunha
Education/MFES1415 Web Preferences The following settings are web preferences of the Education/MFES1415 web. These preferences overwrite the site level preferences ...
WebStatistics 10 Sep 2011 - 18:37 - r1184 TWikiGuest
Statistics for Education/MFES1415 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopicActions 29 Sep 2009 - 16:53 - r2 AlcinoCunha
WebCss 03 May 2007 - 08:33 - r4 AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...
WebTopBar 13 Feb 2007 - 14:43 - NEW AlcinoCunha
WebLeftBar 13 Feb 2007 - 10:35 - r5 AlcinoCunha
Apresentação Sumários Projectos Material
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Education/MFES1415 web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Education/MFES1415 web"}% /Education/MFES1415
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
Found 24 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM