EA04: Részletes szoftver tervek ellenőrzése
Semester:
2011. ősz
Az előadás anyaga:
-
A részletes tervek elkészítése
- Szoftver konstrukció
- Modul tervezés
-
Ellenőrzések
- Verifikációs lépések
- Formális verifikáció
-
Alapszintű formalizmusok
- KS, LTS, KTS
- Automaták
Letöltés:
