Une technique de développement de logiciel qui consiste à isoler une fonction système ou un ensemble de données et les opérations sur les données au sein du module et en fournissant des spécifications précises pour le module.