Russian ⇄ English

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я   <<  >>

Terms for subject Programming (134787 entries)

верификация с непрерывным временем	continuous-time model checking	ssn
верификация систем непрерывного реального времени	verifying continuous real-time systems	ssn
верификация систем реального времени	real-time system verification	ssn
верификация систем реального времени	verifying real-time systems	ssn
верификация систем с конечным числом состояний	verification of finite-state systems	ssn
верификация соблюдения стандарта оформления кода	code standard verification	Alex_O­deychuk
верификация согласованности иерархии классов	verification of class hierarchy consistency	Alex_O­deychuk
верификация состояния выхода	output verification	ssn
верификация точно определённой конфигурации	precisely defined verification configuration	ssn
верификация трактов прохождения данных	data-path verification	ssn
верификация устройства управления	verifying a CPU controller	ssn
верификация функциональной корректности	functional correctness verification	ssn
верификация функциональной эквивалентности	functional equivalence verification	ssn
верификация функциональных свойств программы	property verification	Alex_O­deychuk
верифицируемая диаграмма	verifiable diagram	Alex_O­deychuk
верифицируемая программа	verifiable program	Alex_O­deychuk
верифицируемое многопоточное выполнение	verifiable concurrency	Alex_O­deychuk
верифицируемое обновление	verified update	ssn
верифицируемый управляемый код, безопасный по отношению к типам	verifiable type-safe managed code	ssn
верная оценка стоимости	good cost readings	ssn