Een software ontwikkeling techniek die bestaat uit een systeemfunctie of een pakket van gegevens en bewerkingen op die gegevens binnen een module te isoleren en het verstrekken van nauwkeurige specificaties voor de module.