Программирование по контракту

Материал из Викиконспекты
Версия от 15:27, 15 июня 2013; Sergej (обсуждение | вклад) (Новая страница: «Программирование по контракту обеспечивает проверку предусловий и постусловий при вып...»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Программирование по контракту обеспечивает проверку предусловий и постусловий при выполнении методов классов, пользовательских функций.

Предусловие

Определение:
{{{definition}}}

Постусловие

Определение:
{{{definition}}}