Выполнение символьное
Выполнение символьное (symbolic execution) — процесс, позволяющий анализировать работу программного обеспечения путем эмуляции выполнения всей программы или ее части, проводящейся с использованием символов для входных
Выполнение символьное (symbolic execution) — процесс, позволяющий анализировать работу программного обеспечения путем эмуляции выполнения всей программы или ее части, проводящейся с использованием символов для входных
Символ прицела (aiming symbol) — окружность или другая высвечиваемая на поверхности визуализации фигура, используемая для обозначения области, в которой в данный момент может быть обнаружено
Символ трассировки (tracking symbol) — символ на поверхности визуализации, который указывает позицию, соответствующую координатным данным, предоставленным устройством ввода позиции. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии
Символ прицеливания (aiming symbol, aiming circle, aiming field) — окружность или другая высвечиваемая на поверхности визуализации фигура, используемая для обозначения области, в которой в данный
Примитив ввода (input primitive) — совокупность данных, полученных от устройства ввода. Примечание. В качестве устройства ввода могут быть: клавиатура, устройство ввода альтернативы, устройство ввода позиции,
Средство прикладное, программное (application software, application program) — программное средство, которое отражает специфику приложения и скомпоновано из соответствующих программ, данных и документации. [ГОСТ 33707-2016. (ISO/IEC
Приемник перфокарт (card stacker) — часть устройства обработки перфокарт, предназначенное для приема перфокарт по завершении цикла обработки. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Команда привилегированная (privileged instruction) — команда, которая может быть выполнена только в определенном режиме. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Приемник данных (data sink) — устройство, осуществляющее прием сигналов с линией интерфейса для последующего использования. [ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Запись префиксная (parenthesis-free notation, Lukasiewicz notation) — метод формирования математических выражений, при котором каждый оператор предшествует ему операндам и обозначает операцию, которая должна быть выполнена