Une technique de développement de logiciel dans lequel les interfaces de chaque module révèlent aussi peu que possible sur le fonctionnement interne du module et d'autres modules sont empêchés d'utiliser les informations sur le module qui n'est pas dans la spécification d'interface du module.