Kontekst
Dane wejściowe są jawne
Źródła, ograniczenia i aktywne środowisko pozostają dostępne do inspekcji.
Simplicio / Simplicio Pętla
Praca, która potrafi się wyjaśnić.
Praca, która potrafi się wyjaśnić.
Mapuj
kontekst i zależności
kontekst i zależności
gotowePodejmij decyzję
zakres i kryteria
zakres i kryteria
ustaloneWykonaj
narzędzia Runtime i workery
narzędzia Runtime i workery
objęte bramkamiZweryfikuj
dowód i potwierdzenie
dowód i potwierdzenie
7f3aMetoda
Kroki są kontrolowane
Narzędzia i bramki tworzą sekwencję zamiast nieprzejrzystej czarnej skrzynki.
Potwierdzenie
Twierdzenia wymagają dowodu
Przy każdym wyniku przeczytaj metodę, wersję, ograniczenia i źródło.