Oktatás

Oktatási hírek

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.

Systemmodellierung 2018: Ergebnisse der ersten 4 Übungstests

In der beigefügten Datei finden Sie die Ergebnisse der Übungstests der ersten 4 Übungen.

(Datei entfernt -- GDPR)

Systemmodellierung 2018: Yakindu v3.3 ist da! Bleiben Sie bei der alten Version

Am 26. März ist eine neue Version des Yakindu Statechart Tools erschienen, die mit der vorigen Version wieder nicht völlig kompatibel ist. Bitte bleiben Sie bei der Version 3.2, sonst werden Sie Schwierigkeiten mit der Hausaufgabe haben. (Vor allem beim Testen.) Tovább »

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