___ - процесс, позволяющий получить программу, функционирующую с требующимися характеристиками в заданной области входных данных.

Вписать ответ: