Terms for subject Programming containing program behavior

English	Russian
analysis of the program behavior	анализ поведения программы (ssn)
behavior of a program	поведение программы (ssn)
behavior of programs	поведение программ (ssn)
complex behavior in event-driven programs	сложное поведение в управляемых событиями программах (ssn)
designing and implementing complex behavior in event-driven programs	разработка и реализация сложного поведения в управляемых событиями программах (ssn)
discovery of the program's runtime behavior	выявление поведения программы во время выполнения (ssn)
Finite state machines have long been used as an organizing principle for designing and implementing complex behavior in event-driven programs	Конечные автоматы уже давно используются в качестве организационного принципа при разработке и реализации сложного поведения в управляемых событиями программах (таких как сетевые адаптеры и компиляторы ssn)
functional properties about the program's behavior	функциональные свойства поведения программы (Alex_Odeychuk)
important role in explaining the run-time behavior of programs	важная роль в объяснении поведения программ во время исполнения (ssn)
meet a formal specification of the program's required behavior.	соответствовать формальной спецификации требуемого поведения программы (корпорации AdaCore Alex_Odeychuk)
module-definition file describing a program's segment behavior	файл определения модулей, описывающий поведение сегмента программы (ssn)
observing the program behavior	наблюдение за поведением программы (ssn)
observing the program behavior during its execution	наблюдение за поведением программы во время её выполнения (ssn)
organizing principle for designing and implementing complex behavior in event-driven programs	организационный принцип при разработке и реализации сложного поведения в управляемых событиями программах (ssn)
program's runtime behavior	поведение программы во время выполнения (ssn)
run-time behavior of programs	поведение программ во время исполнения (ssn)
the retentive behavior can declare for all variables contained in the variable sections VAR_INPUT, VAR_OUTPUT, and VAR of functions blocks and programs to be either retentive or non-retentive by using the RETAIN or NON_RETAIN qualifier	Свойства в части сохранения могут объявлять переменные, содержащиеся в секциях переменных VAR_INPUT, VAR_OUTPUT и VAR функциональных блоков и программ, сохраняемыми или несохраняемыми, используя квалификаторы RETAIN или NON_RETAIN (см. IEC 61131-3:2013 Programmable Controllers – Programming Languages)