EA02: Követelmények kezelése és a specifikáció ellenőrzése

Semester: 
2011. ősz

Az előadás tartalma:

  • Motiváció
    • Miért fontosak a tervezési folyamat ezen szakaszai?
    • Milyen elvárások vannak a specifikációval szemben?
    • Milyen módszerei vannak a specifikáció készítésnek?
  • Az általános követelménykezelés feladatai
    • Követelmények nyilvántartása
    • Követhetőség a verifikációhoz
  • Félformális specifikáció
    • Specifikus technikák: SysML
  • A követelményspecifikáció verifikációja
    • Általános kritériumok
    • Specifikus kritériumok UML állapottérképekre (mintapélda)