Информационные и компьютерные технологии (Бикеева Н.Г.)

Работы, связанные с обслуживанием программ в процессе их эксплуатации.

- процесс модификации существующей программы для ЭВМ, обусловленный необходимостью устранения выявленных в ней ошибок и/или изменения ее функциональных возможностей.

Метод разработки программ, в частности, требующий разбиения программы на небольшие независимые части (модули). Обеспечивает возможность проведения строгого доказательства правильности программ, повышает уверенность в правильности конечной программы.