Entscheidungs-Verzweigung (Forts.)

• Zusatzbedingungen müssen

  • disjunkt sein (sonst nichtdeterministisches Verhalten)
  • vollständig sein(sonst eventuell Hängen des Systems)

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen