O tehnica de dezvoltare software-ul care constă dintr-o funcţie de sistem sau un set de date şi operaţiuni pe aceste date într-un modul de izolare şi furnizarea de specificaţii precise pentru modulul.