Oktatás

Oktatási hírek

Rendszermodellezés HF ellenőrzés - 05.04

A Rendszermodellezés házi feladat előzetes ellenőrzésének eredményei elérhetőek itt. Felhívjuk a figyelmet, hogy az esemény (trigger) nélküi átmenet tiltott elemnek számít, továbbá ezen probléma "after 0 s" triggerrel való áthidalása sem engedélyezett.

MDSD jövő heti átszervezés, vendégelőadás

Jövő héten újabb ipari esettanulmányokat mutatunk be az MDSD előadásokon. Kérjük a hallgatókat, hogy ne felejtsenek el ezeken az előadásokon is megjelenni, hiszen (amint a korábbi évek tételsoraiból is látszik) az elhangzott tananyag egy részét vizsgán is számonkérjük.

Különösen ajánljuk mindenki figyelmébe, hogy május. 10. csütörtök 10:15-től ipari vendégelőadónk lesz: Thimár Zoltán fog áttekintést adni a ThyssenKrupp Presta cégben alkalmazott modellalapú fejlesztésről. Tovább »

Best Software Science paper díj az European Joint Conferences on Theory and Practice of Software (ETAPS) konferencián

Munkatársaink cikke „Best Software Science paper” díjat nyert az ETAPS, az egyik elismert európai szoftvertechnológiai konferencián (144 cikk közül). A cikk egy újszerű, gráf-alapú megközelítést mutat be elosztott kiberfizikai rendszerek futásidejű monitorozására. Tovább »

Rendszermodellezés HF ellenőrzés (következő: 05.04.)

A Rendszermodellezés házi feladat előzetes ellenőrzésének eredményei elérhetőek itt. Felhívjuk a figyelmet, hogy az esemény (trigger) nélküi átmenet tiltott elemnek számít! Tovább »

Rendszermodellezés HF - előzetes ellenőrzés, technikai konzultáció

Ahogyan előadáson jeleztük, a Rendszermodellezés házi feladatok előzetes ellenőrzésére a 04.29 délig feltöltött feladatok esetében a hét végén kerül sor, visszajelzés 04.30 estig várható.  Tovább »

MDSD óraáthelyezés

Rendezvény miatt május 7. hétfőn rendhagyó módon az IB413 teremben lesz megtartva az előadás.

Rendszermodellezés verseny (frissítve: 04.23.)

Felhívjuk a figyelmet, hogy a Rendszermodellezés tárgyból 2018. tavaszán tanulmányi versenyt hirdettünk meg. A nagy érdeklődésre való tekintettel változott a terem!

Rendszermodellezés - 5. gyakorlat

A Rendszermodellezés 5.

Rendszermodellezés tárgy házi feladat problémák

Többeknek problémák merültek fel a Rendszermodellezés nagyházival kapcsolatban. A probléma akkor jön elő, amikor valaki a legújabb (félévközben megjelenő) Yakindu Statechart Tools version 3.3 eszközt használja a házi feladat megoldása során.

Formális módszerek házi feladat konzultációk

A Formális módszerek tárgyból beadandó házi feladathoz felajánlott konzultációs időpontok megtalálhatók a tárgy házi feladatok oldalán. A konzultáció nem kötelező.

Tartalom átvétel