palavras-chave Alloy Ciências Naturais::Ciências da Computação e da Informação Data Warehousing Systems ETL Processes Specification and Validation Especificação Formal de Software Especificação e Validação de Processos de ETL Formal Specification of Software Populating a Data Warehouse Povoamento de Data Warehouse Sistemas de Data Warehousing
