tem uma área de assunto Ciências Exatas - Ciências da Computação e da Informação Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
palavras-chave Alloy Lightweight formal methods Model-driven development Scenario exploration Software engineering Verification and validation