формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях ( contract ); precondition , postcondition , class invariant , loop invariant
ASSERTION
Англо-русский перевод ASSERTION
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012