Rendszermodellezés házi feladat eredmények

Gönczy László, k, 2018-05-08 16:35

A Rendszermodellezés házi feladat eredmények elérhetőek itt. A javítás során az előzetes javítási körökben is alkalmazott értékelést használtuk, tiltott elemek használata esetén a feladatot nem tudtuk elfogadni.  Tovább »

Formális módszerek házi feladat pótbeadás

Majzik István, v, 2018-05-06 20:05

Formális módszerek tárgyból megnyílt a kötelező házi feladatok pótbeadásának lehetősége. Részletek a tárgy házi feladatok oldalán olvashatók.

Formális módszerek szorgalmi feladat

Majzik István, v, 2018-05-06 10:47

Formális módszerek tárgyból szorgalmi feladat megoldására lehet jelentkezni 2018. május 12. szombat éjfélig. Részletek a tárgy szorgalmi feladatok oldalán olvashatók.

Rendszermodellezés HF előzetes eredmény változás, 6. gyakorlat pótlás

Gönczy László, szo, 2018-05-05 15:17

A Rendszermodellezés tárgy előzetes HF eredményeinél kivettük az "after 0s" használatának büntetését. Ugyanakkor felhívjuk a figyelmet arra, hogy ez valójában egy "bújtatott" always elemnek felel meg, annak minden veszélyével együtt, a szóbeli védésen rákérdezhetünk arra, hogyan lehet az elemet kiváltani.

Tovább »

Rendszermodellezés HF ellenőrzés - 05.04

Vörös András, p, 2018-05-04 23:06

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

Bergmann Gábor, cs, 2018-05-03 13:39

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

Vörös András, h, 2018-04-30 19:52

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.)

Gönczy László, h, 2018-04-30 09:51

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ó

Gönczy László, szo, 2018-04-28 10:44

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

Bergmann Gábor, cs, 2018-04-19 17:00

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

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció