1. assertion, statement Предикат; условие; предложение языка программирования; логическое выражение, которое предполагается истинным. 2. lament Предложение программы на языке Пролог. 3. reassert
Phrases with утверждению
база данных для утверждений assertional database (в экспертных системах)
база данных для хранения утверждений assertional database (в экспертных системах)
безусловное утверждение unconditional statement
блок проверки утверждений assertion checker Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
глобальное утверждение global assertion (содержащееся среди описателей программы)
истинное утверждение true statement
конечное утверждение final assertion
ложное утверждение false statement
локальное утверждение local assertion (содержащееся в теле программы)
начальное утверждение initial assertion
несовместные утверждения inconsistent statements
окончательное утверждение программы program validation Авторитетное подтверждение качества программы по общепринятой или официальной процедуре; комплекс проверок, обеспечивающий получение гарантии соответствия программы своему назначению.
ревизор утверждений assertion checker Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
утверждение программы program validation Авторитетное подтверждение качества программы по общепринятой или официальной процедуре; комплекс проверок, обеспечивающий получение гарантии соответствия программы своему назначению.