Постусловие
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Промышленная безопасность
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
ПОСТУСЛОВИЕ
Логический предикат, который должен быть истинным непосредственно после выполнения операции или непосредственно после создания сообщения.
ПОСТУСЛОВИЕ
(postcondition)
<процесс> Условие, которое является результатом успешного выполнения процесса.
