Vorlesung Generierung von Software aus Spezifikationen WS 2002 - Folie Nr. 509

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 501-515 als PDF

Ziele:
Systematik der Env-Attribute

in der Vorlesung:
Themen der Folie erläutern:

  • Range-Rolle,
  • geschachtelte Umgebung mit NewEnv(),
  • Envir-Eigenschaft später.