• Kezdő oldal
• Bevezetés
• Specifikációk
• Összetett kifejezések
  • Tuple,Set
  • Hatványhalmaz , direkt szorzat
  • Lambda,mu kifejezések
  • Halmaz rövidítés
  • Lokális definíciók
  • Függvények
  • Szelekció
  • Kötések
  • Séma referenciák mint kifejezések
  • Feltételes kifejezések
  • Infix,postfix operátor szabályok
  • Sorozat, zsák kifejezések
• Szinatktikai konvenciók
• Beépített opertátorok
• Nagyobb rendszerek modellezése
  • Schema inclusion
  • Kombinálás
  • Tevékenységek kiterjesztése
  • Alrendszerek
  • Teljes Rendszerek
• Sémák és séma kalkulus

A Z notation

Sémák és séma kalkulus

Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék