Uma técnica de desenvolvimento de software que consiste em isolar uma função de sistema ou um conjunto de dados e operações sobre esses dados dentro de um módulo e fornecendo especificações precisas para o módulo.