Oktatás

Oktatási hírek

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.

Systemmodellierung 2018: Zweite vorläufige Überprüfung der Hausaufgaben

Wir haben die bereits abgegebene Hausaufgaben überprüft, die (recht schöne) Ergebnisse finden Sie in der beigefügten Datei. Tovább »

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.

Systemmodellierung 2018: Korrektur zur Spezifikation der Hausaufgaben

Achtung! Wichtige Korrektur zur Spezifikation der Hausaufgaben. Lesen Sie diese Korrektur unbedingt, wenn Ihre Spezifikation sagt, dass bei der Einstellung der Anfangsbedenkzeit ein erfolgloser Änderungsversuch mit einem Piepton signalisiert wird. Tovább »

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 »

Systemmodellierung 2018: Erste vorläufige Überprüfung der Hausaufgaben

Wir haben die bereits abgegebene Hausaufgaben überprüft, die Ergebnisse finden Sie in der beigefügten Datei. 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 »

Tartalom átvétel