EA21: Modellfinomítás helyességellenőrzéssel

Semester: 
2011. ősz

Az előadás tartalma:

  • A fejlesztés koncepciója
  • A finomítás helyességének ellenőrzése
  • Mintapélda
  • Forráskód generálás
  • Eszközök