EA08: Állapottérképek és forráskód generálás

Semester: 
2012. tavasz

Az előadás anyaga:

  • Alkalmazás forráskód generálás automaták alapján
  • Monitor forráskód generálás formális modell és követelmények alapján
  • UML állapottérképek szintaxisa és szemantikája
  • Kódgenerálás állapottérképek alapján