Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
тестирование отдельных компонентов программного обеспечения [Согласно IEEE 610].
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
идентификатор объекта, включающий идентификаторы классов, которые вложены друг в друга.
задает очередность выполнения операций, указанных в выражении.