En software udvikling teknik, der består af isolere en systemfunktion eller et sæt af data og operationer på disse data inden for et modul og giver præcise specifikationer for modulet.