Formális módszerek - Zárthelyik (2019 tavasz)

Tartalom:

Követelmények

A tantárgy követelményeinek teljesítéséhez két zárthelyi sikeres megírása szükséges..

  • Mindkét zárthelyi pótolható a tanulmányi teljesítményértékelési terv szerinti ütemezésben.
  • Sikeres zárthelyi javító célzattal történő újraírására is van lehetőség, ez esetben a legutolsó kapott osztályzat lesz érvényes (tehát rontani is lehet).

Az első zárthelyi

  • Időpont: 2019. március 12. kedd, 18:15-19:45
  • Helyszín: Névsor szerint (betűrendben elosztva) a következő termekben:
    • Q-I: Alekszejenkó Levente - Polgár Balázs Tibor
    • Q.B.F13: Pozderka Dávid - Tajti Balázs
    • I.B.025: Tegzes Tamás - Zsámár Olivér, valamint az angol kurzus hallgatói
  • A zárthelyi témája: Az első 5 oktatási hét anyaga (EA01 - EA05):
    • Alapszintű modellezési formalizmusok.
    • Követelmények formalizálása temporális logikákkal.
    • Modellellenőrzési módszerek.
    • Hatékony modellellenőrzés.
    • Állapottérképek.
  • Mintapéldák, gyakorló feladatok:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Házi feladatok és jegyzőkönyvek leadása oldalon leírtak szerint a portálra belépve megtalálható a tárgyhoz kapcsolódó "ZH1 Első zárthelyi" feladat, valamint ennek értékelésében a pontszámok és a zárthelyi jegye.
    • Pontozás: [0-22) elégtelen, [22-28) elégséges, [28-34) közepes, [34-40) jó, [40-50] jeles.
  • Megtekintés:
    • 2019. március 25. hétfő, 16:15-16:30, I.L.405

Az első zárhelyi pótlása

  • Időpont: 2019. április 2. kedd, 18:15-19:45
  • Helyszín: A következő teremben:
    • Q-I (mindenkinek)
  • A zárthelyi témája: A pótolandó zárthelyi témájával egyezik meg.
  • Mintapéldák:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Házi feladatok és jegyzőkönyvek leadása oldalon leírtak szerint a portálra belépve megtalálható a tárgyhoz kapcsolódó "ZH1P Első zárthelyi pótlása" feladat, valamint ennek értékelésében a pontszámok és a pótzárthelyi jegye.
    • Pontozás: Mint a pótolandó zárthelyi pontozása: [0-22) elégtelen, [22-28) elégséges, [28-34) közepes, [34-40) jó, [40-50] jeles.
  • Megtekintés:
    • 2019. április 8. hétfő, 16:15-16:30, I.L.405

A második zárthelyi

  • Időpont: 2019. május 14. kedd, 18:15-19:45
  • Helyszín: TBD
  • A zárthelyi témája: A 6-13. oktatási hetek anyaga (EA06-EA13):
    • Szoftverek modellellenőrzése.
    • Petri hálók alapelemei és kiterjesztései.
    • Petri hálók dinamikus tulajdonságai. Petri hálók redukciója.
    • Petri hálók strukturális tulajdonságai.
    • Modellezés Petri hálókkal. Hierarchikus Petri hálók.
    • Színezett Petri hálók.
    • Sztochasztikus Petri-hálók.
  • Mintapéldák, gyakorló feladatok:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények: TBD
    • Pontozás: TBD
  • Megtekintés:
    • TBD

A második zárthelyi pótlása

  • Időpont: 2019. május 23. csütörtök, 10:15-11:45
  • Helyszín: TBD
  • A zárthelyi témája: A pótolandó zárthelyi témájával egyezik meg.
  • Mintapéldák:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények: TBD
    • Pontozás: Mint a pótolandó zárthelyi pontozása.
  • Megtekintés:
    • TBD