01 / дизайн
Дизайн.
Определите задачу, границы среды, доступные инструменты и предикат успеха.
Договор задания и приемки
04 / от намерения к доказательствам
Методика проверки
Эпизод допускается только в том случае, если его схема, сброс, воспроизведение, проверка и проверка происхождения пройдены. Неисправные ворота остаются неудачными воротами.
Последовательность ниже объясняет метод производства. Выполненные доказательства производства и иллюстративная модель процесса идентифицируются отдельно.
01 / дизайн
Определите задачу, границы среды, доступные инструменты и предикат успеха.
Договор задания и приемки
02 / генерировать
Создайте версионное начальное состояние из контролируемых входных данных и записанного начального состояния.
Исходное состояние и зависимости
03 / выполнить
Записывайте фактические переходы и результаты использования инструмента в соответствии с согласованными ограничениями.
Эталонная траектория
04 / провал
Сохраните конкретное прерывание и его доказательства. Неудачное дело никогда не становится успешным.
Состояние сбоя и причина отклонения
05 / выздороветь
Выполнить действия, восстанавливающие прогресс; храните восстановление отдельно от эталонного пути.
Траектория восстановления
06 / проверить
Проверка схемы, сброс, воспроизведение, проверка конечного состояния и происхождение.
Приемные ворота
07 / доставить
Пакет принимает только записи с указанием версии, границ прав и воспроизводимых интерфейсов.
Версионный пакет поставки
Согласуйте задачу, интерфейс действия и предикат успеха.
Входные данные и начальные состояния, контролируемые версией.
Записывайте действия, переходы, сбои и восстановления.
Применить схему, сброс, воспроизведение, верификатор и шлюзы происхождения.
Опубликовать принятые записи с указанием их доказательств и границ прав.
Неудача и восстановление относятся к исполнению. Результат признается только тогда, когда необходимые проверки пройдены.