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