Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 483: | Строка 483: | ||
*** [http://en.wikipedia.org/wiki/Assertion_%28computing%29 asserts]: | *** [http://en.wikipedia.org/wiki/Assertion_%28computing%29 asserts]: | ||
**** локальные ассерты процессов | **** локальные ассерты процессов | ||
- | **** | + | **** инварианты системы процессов |
*** метки терминальных состояний | *** метки терминальных состояний | ||
**** задаём допустимые точки останова прочесса | **** задаём допустимые точки останова прочесса |