Parametrização de Componentes de Especificação com Preservação de Semântica.