Спецификация программы (Specification) по ГОСТ 19781-90
Формализованное представление требований, предъявляемых к программе, которые должны быть удовлетворены при ее разработке, а также описание задачи, условия и эффекта действия без указания способа ее достижения [из 49 табл. 1 ГОСТ 19781—90]
Трансляция программы (Translation) по ГОСТ 19781-90
Преобразование программы, представленной на одном языке программирования, в программу на другом языке и в определенном смысле равносильную первой [из 50 табл. 1 ГОСТ 19781—90]
Компиляция (Compilation) по ГОСТ 19781-90
Трансляция программы с языка высокого уровня в форму, близкую к программе на машинном языке [из 51 табл. 1 ГОСТ 19781—90]
Ассемблирование (Assembly) по ГОСТ 19781-90
Компиляция программ с языка ассемблера [из 52 табл. 1 ГОСТ 19781—90]
Поиск ошибок в программе (Error detection) по ГОСТ 19781-90
Деятельность, в результате которой выявляются ошибки в программе с целью их последующего исправления [из 53 табл. 1 ГОСТ 19781—90]
Верификация программы (Program verification) по ГОСТ 19781-90
Доказательство того, что поведение программы соответствует спецификации на эту программу [из 54 табл. 1 ГОСТ 19781—90]
Дамп (Dump) по ГОСТ 19781-90
Данные, представляющие собой полное или частичное содержимое оперативной памяти, выводимое на периферийное устройство [из 55 табл. 1 ГОСТ 19781—90]
Аварийный дамп (Postmortem dump) по ГОСТ 19781-90
Дамп, полученный в результате ненормального завершения программы [из 56 табл. 1 ГОСТ 19781—90]
Тупиковая ситуация (Deadlock) по ГОСТ 19781-90
Ситуация, в которую попадают две или несколько асинхронных процедур, характеризующаяся невозможностью дальнейшего выполнения из–за взаимных зависимостей [из 57 табл. 1 ГОСТ 19781—90]
