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 ...
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 ...
Publications Reports Formal Methods for Specifications and Architectures EVOLVE Final Report. 2011. Papers Ana Garis, Alcino Cunha, and Daniel Riesco ...
Evolutionary Verification, Validation and Certification EVOLVE project has as main goal the production of a framework of methodologies to be used in the verification ...
Research/EVOLVE Web Preferences The following settings are web preferences of the Research/EVOLVE web. These preferences overwrite the site level preferences ...