En teknik som utveckling programvara som består av isolera en system-funktion eller en uppsättning data och operationer på dessa uppgifter inom en modul och ger exakta specifikationer för modulen.