Техника разработки программного обеспечения, который состоит из изоляции функции системы или набора данных и операций на этих данных в модуле и предоставления точных спецификаций для модуля.