Techniką rozwoju oprogramowania, składająca się z izolowanie funkcji systemu lub zestawu danych i operacji na tych danych w module i zapewniając dokładne specyfikacje dla modułu.