Англо-русский перевод ASSERTION

ASSERTION

ООП формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях (contract); см. precondition, postcondition, class invariant, loop invariant

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.