tem uma área de assunto Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
palavras-chave Alloy Feature-oriented design Formal specification Lightweight formal methods Software product lines Specification refactoring
