palavras-chave Alloy Data warehousing ETL systems Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Especificação e verificação de sistemas de ETL Sistemas de ETL Specification and Validation of ETL
