Technika vývoje softwaru, izolace funkce systému nebo soubor dat a operace v těchto datech v rámci modulu a poskytuje přesné specifikace pro modul.