Spezifikation

• „Sprachelemente“ sind mit eindeutiger Semantik versehen

• Spezifikation in verschiedenen Detaillierungsgraden möglich(sehr abstrakt bis sehr implementierungsnah)

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen