Una técnica de desarrollo de software en el que revelan lo menos posible sobre el funcionamiento interno del módulo y otros módulos de inter-faces de cada módulo se impide mediante información acerca del módulo que no está en la especificación de la interfaz del módulo.