Une technique de développement de logiciel où les interfaces de chaque module révèlent autant que possible sur le fonctionnement interne du module et d'autres modules ne peuvent pas en utilisant les informations sur le module qui n'est pas dans la spécification de l'interface du module.