Uma técnica de desenvolvimento de software em que inter-faces de cada módulo revelam o menos possível sobre o funcionamento interno do módulo e outros módulos são impedidos de usar informações sobre o módulo que não está na especificação da interface do módulo.