Retelab pótmérés jelentkezés

A tantárgy követelményrendszere szerint minden hallgató egyetlen mérést pótolhat. Kérem, hogy a pótlási szándékát mindenki az következő űrlapon jelezze: https://doodle.com/poll/4737dubyh6q3pah3 

Jelenkezési határidő: május 20.

A pótlási időpontok: Tovább »

Rendszermodellezés HF védés, gyakorlati jelenlét

Aki időben adott le házi feladatot, de az automatikus ellenőrzés során nem fogadtuk azt el, az eljöhet védeni, 
és lehetőséget kap javítani, ha helyben meg tudja mondani, hogyan lehet a hibát kijavítani.
Ez azokra a hallgatókra vonatkozik, akik tiltott elemeket használtak a feladatban, vagy kisebb szintaktikai hibával adták le a modellt.
Ezekben az esetekben a házi feladatra nem kapható maximális pont.

Rendszermodellezés tárgy házi feladat védésekre jelentkezés

Az alábbi linken lehet a házi feladat védésre jelentkezni. A védésen a házi feladattal kapcsolatos kérdésekre kell válaszolni. A védésen ellenőrizzük, hogy a feladatkiírásban kért funkciók meg lettek-e valósítva. Ha nem minden teszt futott le sikeresen, akkor ennek az okát is megvizsgáljuk a védésen.

Rendszermodellezés házi feladat eredmények

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

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

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

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.

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 »

Tartalom átvétel