Terms for subject Information technology containing утверждение

Russian	English
база данных для утверждений	assertional database
база данных для хранения утверждения	assertional database (в экспертных системах)
база данных для хранения утверждений	assertional database (в экспертных системах)
безусловное утверждение	unconditional statement
блок контроля утверждений	assertion checker
блок проверки утверждений	assertion checker
блок проверки утверждения	assertion checker
выполнимое утверждение	satisfiable statement
выходное утверждение	output assertion
глобальное утверждение	global assertion (содержащееся среди описателей программы)
добавлять утверждение	assert (в базу данных или знаний)
индуктивное утверждение	inductive assertion
конечное утверждение	final assertion
локальное утверждение	local assertion (содержащееся в теле программы)
начальное утверждение	input assertion
начальное утверждение	initial assertion
несовместные утверждения	inconsistent statements
окончательное утверждение программы	program validation
основное утверждение	basic statement
переформулировать утверждение	reassert
поддержка проверки утверждений	concept of assertions (Alex_Odeychuk)
политика утверждения контента	content approval policy (financial-engineer)
политика утверждения содержимого	content approval policy (financial-engineer)
правило-утверждение	statement rule
произвольное утверждение	arbitrary statement
промежуточное утверждение	intermediate assertion
простое утверждение	simple statement
пустое утверждение	null statement
пустое утверждение	dummy statement
ревизор утверждений	assertion checker (программная или аппаратная система)
сложное утверждение	molecular statement
совместные утверждения	consistent statements
составное утверждение	compound statement
составное утверждение	composite statement
условное утверждение	conditional statement
утверждение контента	content approval (financial-engineer)
утверждение программы	program validation (окончательное)
утверждение проекта одобрение проектного решения	design approval
утверждение содержимого	content approval (financial-engineer)