SafeOperations

TransformDestinationConstraintSafeOperation

Abbildung von Zustandsautomaten Absicherung korrekter Programmablauf (API-Benutzung, Protokoll) Beispiele: Tic-Tac-Toe SchiffeVersenken StateChart IFB (auf Anfrage) (alle Beispiele sind im Download-Zip enthalten)
Anfang weiter