TWiki's Research/EVOLVE web

TWiki's Research/EVOLVE web The Research/EVOLVE web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE Copyright 2020 by contributing authors 2012-10-19T09:22:15Z WebHome http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/WebHome 2012-10-19T09:22:15Z

Evolutionary Verification, Validation and Certification EVOLVE project has as main goal the production of a framework of methodologies to be used in the verification ... (last changed by JoseNunoOliveira)

JoseNunoOliveira Publications http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/Publications 2012-10-19T09:17:32Z

Publications Reports Formal Methods for Specifications and Architectures EVOLVE Final Report. 2011. Papers Ana Garis, Alcino Cunha, and Daniel Riesco ... (last changed by JoseNunoOliveira)

JoseNunoOliveira LocalTeam http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/LocalTeam 2011-10-26T13:56:55Z

Local Team Alcino Cunha Nuno Oliveira Soares Barbosa Collaborators Sousa Pinto João Frade Melo de Sousa Students Ana Garis ... (last changed by AlcinoCunha)

AlcinoCunha WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/WebSideBar 2011-10-26T13:54:34Z

Home Local Team Local Tasks Publications (last changed by AlcinoCunha)

AlcinoCunha LocalTasks http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/LocalTasks 2011-10-26T13:50:29Z

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 ... (last changed by AlcinoCunha)

AlcinoCunha Grants http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/Grants 2011-01-26T11:57:51Z

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 ... (last changed by JoseNunoOliveira)

JoseNunoOliveira WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/WebPreferences 2010-03-27T21:48:44Z

Research/EVOLVE Web Preferences The following settings are web preferences of the Research/EVOLVE web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)

AlcinoCunha WebCss http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/WebCss 2008-01-16T01:12:30Z

.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida WebStatistics http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/WebStatistics 2008-01-16T00:55:32Z

Statistics for Research/EVOLVE Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by JoseBacelarAlmeida)

JoseBacelarAlmeida WebTopicList http://wiki.di.uminho.pt/twiki/bin/view/Research/EVOLVE/WebTopicList 2006-11-15T19:43:52Z