Примечание: объекты состоят из данных и операций над данными
21
Логическое программирование
–
метод построения программ
как совокупности логических правил с предварительно определенными
алгоритмами для обработки входных данных программы в соответствии с ее
правилами
22
Спецификация программы
– формализованное
представление
требований, предъявляемых к программе, которые должны быть
удовлетворены при ее разработке, а также описание задачи,
условия и
эффекта действии без указания способа его достижения
23
Трансляция программы
– преобразование программы,
представленной на одном языке программирования, в
программу на другом
языке и в определенном смысле равносильную первой
24
Компиляция
– трансляция программы с языка высокого уровня
в форму, близкую к программе на машинном языке
25
Ассемблирование
– компиляция программ с языка ассемблера
26
Поиск ошибок (в программе)
– деятельность, в
результате
которой выявляются ошибки в программе с
целью их последующего
исправления
27
Верификация программы
– доказательство того, что работа
программы соответствует спецификации на эту программу
28
Дамп –
данные, представляющие
собой полное или частичное
содержимое оперативной памяти, выводимое на периферийное устройство
29
Аварийны дамп –
дамп, полученный в результате
ненормального завершения программы
30
Тупиковая ситуация –
ситуация, в которую попадают две или
несколько асинхронных процедур, характеризующаяся невозможностью
дальнейшего выполнения из-за взаимных зависимостей
31
Достарыңызбен бөлісу: 
