EA02: Követelmény-specifikáció készítés és ellenőrzés
Semester:
2011. ősz
Az előadás anyaga:
-
A fázis ki- és bemenetei
- A szoftverkövetelmény-specifikáció elkészítése
- Formális nyelvek (áttekintés)
- Félformális és strukturált technikák
-
Példa: SysML
- Ellenőrzési feladatok
- Általános szempontok és módszerek
-
Teljesség és ellentmondás-mentesség
- Követelménykezelés
- Feladatok
- Automatikus eszközök
Letöltés: