EVOLVE

Evolutionary Verification, Validation and Certification

50 Recent Changes in TWiki Web retrieved at 12:24 (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"}%
Found 19 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