Sobre o Teorema da Modularização: Importância e uma Prova por Quociente

Abstract

Especificações são tratadas como apresentação de teorias, ou seja, teorias em linguagens poli-sortidas de primeira ordem definidas por um conjtinto de axiomas. Discutimos o papel fundamental desempenhado pelo Teorema dá Modularização no processo de implementação pelo paradigma do passo canônico e na passagem de parâmetros nas especificações parametrizadas. Apresentamos uma demonstração do Teorema da Modularização que introduz uma nova forma de se construir teorias: a teoria quociente induzida por uma interpretação.