Una técnica de desarrollo de software que consiste en una función de sistema o un conjunto de datos y operaciones en los datos dentro de un módulo de aislamiento y proporcionar especificaciones precisas para el módulo.