Техніка розробки програмного забезпечення, яка складається з ізоляцію системної функції або набору даних та операцій на ці дані в рамках модуль і надання точних специфікацій для модуля.