En programvare utviklingsteknikk som består av isolere en systemfunksjon eller et sett med data og operasjoner på de dataene i en modul, og gir nøyaktige spesifikasjoner for modulen.