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 ces données au sein d'un module et en fournissant des spécifications précises pour le module.