assertion checker Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
Russian-English Modern Computing dictionary
задание начальных условий
initialization Установка программных переменных (адресов, счетчиков, переключателей, индикаторов, указателей) в нуль или задание им других начальных значений перед выполнением программы.
Russian-English Modern Computing dictionary
запрограммированный по техническим условиям заказчика
custom-programmed
Russian-English Modern Computing dictionary
переход по выполнению условия НЕ БОЛЬШЕ
jump if not above (для чисел без знака)
Russian-English Modern Computing dictionary
условие прерывания цикла
truncation condition Условие, в зависимости от выполнения которого происходит повторение шага цикла или выход из цикла.
Russian-English Modern Computing dictionary
цикл с условием завершения
repeat - until loop, repeat - statement В языках программирования - конструкция, обеспечивающая повторение последовательности действий до тех пор, пока не станет истинно заданное условие, причем условие проверяется после каждого выполнения цикла.