EA14 Adatfolyam hálók
Semester:
2011. tavasz
Az előadás tartalma:
Adatfolyam hálók:
- Felépítésük és formális definíciójuk.
- Informális szemantika: Engedélyezettség és tüzelés.
Adatfolyam hálók finomítása:
- A finomítás módszerei, értelmezési tartomány (állapot- és tokenfinomítés) és struktúra finomítása.
- Konzisztencia ellenőrzés finomítás után.
