Programas por catedrasaes.inf.um.es/trac/wiki/ProjectsGuiVerification

Este projeto implementa uma camada de verificação. Deteta alterações no GUI e desencadeia processos de verificação para verificar os requisitos de dados. Esta camada também realiza intervenções GUI para melhorar a experiência