Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Integration of Z-Based Semantics of OO-Notations

Jan Bosch;Stuart Mitchell (Hrsg). Object-Oriented TechnologysECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings. Berlin: Springer 1998 S. 173 - 177

Erscheinungsjahr: 1998

ISBN/ISSN: 978-3-540-64039-4

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/3-540-69687-3_36

Volltext über DOI/URN

GeprüftBibliothek

Inhaltszusammenfassung


  • EER/GRAL
  • Z
  • abstract syntax
  • declarative modeling
  • integrity conditions
  • object-oriented methods
  • operational semantics

Autoren


Ebert, Jürgen (Autor)
Süttenbach, Roger (Autor)

Beteiligte Einrichtungen