EA05 Állapottérképek

Semester: 
2011. tavasz

Az előadás tartalma:

Állapottérképek

  • Modell elemek
  • Informális szemantika
  • Formális szemantika (kiegészítő anyag)

Forráskód generálás

  • Forráskód generálás időzített automaták alapján (áttekintés)
  • Kódgenerálási minták állapottérképekhez
  • Monitorkód generálás állapottérkép referencia alapján
Download: