50 Recent Changes in TWiki Web retrieved at 18:22 (GMT)
| WebStatistics | 30 Oct 2020 - 14:39 - r2228 | TWikiGuest |
| Statistics for Education/MFES0910 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... | ||
| WebSideBar | 26 Sep 2012 - 19:23 - r25 | JoseNunoOliveira |
| Tópicos Benvindo a MFES Docentes Contacto principal Alunos Funcionamento Programa Sumários Material Projecto (PI) ... | ||
| Material | 15 Jul 2012 - 18:12 - r51 | JoseNunoOliveira |
| Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ... | ||
| Funcionamento | 11 Apr 2011 - 10:52 - r15 | JoseNunoOliveira |
| Índice: Onde As aulas desta UCE decorrem todas num só dia, à 5ª feira , das 9h00 18h00 e numa só sala, o Laboratório DI 1.08 . Os meios audiovisuais estão localizados ... | ||
| ProjectoIntegrado | 19 Nov 2010 - 23:35 - r36 | JoseNunoOliveira |
| Projecto Integrado (II) 15 July Milestone Workshop schedule Morning: Begin End Description External(s) Medium 10h00 10h30 SIG1 J.Visser ... | ||
| Avisos | 06 Oct 2010 - 19:51 - r21 | JoseNunoOliveira |
| 03 Set Lancamento das classificações finais ver secção Funcionamento 19 Jul As notas da 2ª milestone de PI1 foram (finalmente) lançadas. 12 Jul A data de ... | ||
| Alunos | 29 Jul 2010 - 21:37 - r25 | JoseNunoOliveira |
| Alunos Número Nome Foto E mail 10934 Gonçalo Veiga gjveiga.lesi AT gmail DOT com 13405 Manuel Costa mane costa AT hotmail DOT com ... | ||
| Calendario | 15 Jul 2010 - 15:40 - r4 | JoseNunoOliveira |
| WebHome | 28 Jun 2010 - 09:36 - r27 | JoseNunoOliveira |
| Bem vindo a MFES Bem vindo à página da edição de 2009/10 da UCE de Métodos Formais em Engenharia de Software . O meu nome é José Nuno Oliveira e sou o responsável ... | ||
| EquipaDocente | 28 May 2010 - 16:32 - r5 | JoseNunoOliveira |
| Equipa docente Soares Barbosa Bernardo Barros Alcino Cunha João Frade Nuno Oliveira Sousa Pinto ... | ||
| Programa | 25 May 2010 - 11:09 - r4 | JoseNunoOliveira |
| Módulos A UCE consta dos módulos seguintes, CSI Cálculo de Sistemas de Informação AMT Análise, Modelação e Teste VFS Verificação Formal de Software ... | ||
| Sponsors | 17 May 2010 - 12:01 - NEW | JoseNunoOliveira |
| Parcerias JoseNunoOliveira 17 May 2010 | ||
| WebPreferences | 01 Oct 2009 - 11:32 - r18 | JoseNunoOliveira |
| Education/MFES0910 Web Preferences The following settings are web preferences of the Education/MFES0910 web. These preferences overwrite the site level preferences ... | ||
| WebTopicActions | 29 Sep 2009 - 16:53 - r2 | AlcinoCunha |
| MetodosFormais | 10 May 2007 - 22:38 - r5 | JoseNunoOliveira |
| Métodos Formais Preâmbulo A ciência tem a ver com o perceber se como o mundo e as suas coisas funcionam e a tecnologia com o garantir que certas coisas que se ... | ||
| CalculoSistemasInformacao | 10 May 2007 - 22:13 - r4 | JoseNunoOliveira |
| Cálculo de Sistemas de Informação O objectivo deste módulo é mostrar como, de modelos abstractos, puramente declarativos, como os que se estudaram em Formais , se ... | ||
| AnaliseTesteSoftware | 10 May 2007 - 11:55 - r4 | JoseNunoOliveira |
| Análise e Teste de Software Neste módulo, convidam se os alunos a trocar a visão construtiva do arquitecto de software pela visão do avaliador , ou gestor de ... | ||
| Modulos | 04 May 2007 - 10:58 - r3 | AlcinoCunha |
| Módulos Os conteúdos programáticos desta UCE são agrupados em 4 módulos temáticos e um de projecto integrador, de acordo com a seguinte estrutura: Métodos Formais ... | ||
| ProcessosArquitecturasSoftware | 04 May 2007 - 10:47 - r3 | AlcinoCunha |
| Processos e Arquitecturas de Software Este módulo constitui uma introdução ao estudo da arquitectura dos sistemas na dupla perspectiva da estrutura das suas intera ... | ||
| 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/MFES0910 web | ||
| WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " else "TWiki's Education/MFES0910 web"}% /Education/MFES0910 | ||
| WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
| TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration | ||
Number of topics: 31 See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes