50 Recent Changes in TWiki Web retrieved at 20:22 (GMT)
| WebHome | 19 Oct 2012 - 09:22 - r31 | JoseNunoOliveira |
| Evolutionary Verification, Validation and Certification EVOLVE project has as main goal the production of a framework of methodologies to be used in the verification ... | ||
| Publications | 19 Oct 2012 - 09:17 - r12 | JoseNunoOliveira |
| Publications Reports Formal Methods for Specifications and Architectures EVOLVE Final Report. 2011. Papers Ana Garis, Alcino Cunha, and Daniel Riesco ... | ||
| LocalTeam | 26 Oct 2011 - 13:56 - r3 | AlcinoCunha |
| Local Team Alcino Cunha Nuno Oliveira Soares Barbosa Collaborators Sousa Pinto João Frade Melo de Sousa Students Ana Garis ... | ||
| WebSideBar | 26 Oct 2011 - 13:54 - r14 | AlcinoCunha |
| Home Local Team Local Tasks Publications | ||
| LocalTasks | 26 Oct 2011 - 13:50 - r3 | AlcinoCunha |
| Definição de métodos formais para especificações e arquitectura Esta tarefa propõe a introdução de métodos formais na definição e modelação de requisitos e arquitectura ... | ||
| Grants | 26 Jan 2011 - 11:57 - r2 | JoseNunoOliveira |
| Plano Integração em artigo de síntese de todas as grants prevista Junho / Julho 2011. Grant 1 Este projecto enquadra se no tema da verificação de programas para sistemas ... | ||
| WebPreferences | 27 Mar 2010 - 21:48 - r21 | AlcinoCunha |
| Research/EVOLVE Web Preferences The following settings are web preferences of the Research/EVOLVE web. These preferences overwrite the site level preferences ... | ||
| WebCss | 16 Jan 2008 - 01:12 - r2 | JoseBacelarAlmeida |
| .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... | ||
| WebStatistics | 16 Jan 2008 - 00:55 - r125 | JoseBacelarAlmeida |
| Statistics for Research/EVOLVE Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... | ||
| 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 Research/EVOLVE web | ||
| WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " else "TWiki's Research/EVOLVE web"}% /Research/EVOLVE | ||
| WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
| TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration | ||
| WebLeftBar | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " warn "off"}% | ||
Number of topics: 19 See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes