házi feladat

Kiírásra került az első szorgalmi feladat: https://inf.mit.bme.hu/content/tesztel%C3%A9ses-szorgalmi-h%C3%A1zi-feladat-cucumber

A szorgalmi feladatra összesen 10 pont kapható, amelyből az 5 pont feletti pontszám beleszámít a Rendszermodellezés verseny pontszámába.

A Formális módszerek tárgyból elkészítendő kötelező házi feladat megtalálható a tárgy házi feladatok oldalán.

A házi feladathoz konzultációt a 10. oktatási héttől biztosítunk. Tovább »

Formális módszerek tárgyból a kötelező házi feladatok bemutatására (védésére) történő jelentkezéshez folyamatosan jelennek meg az űrlapok a tárgy házi feladatok oldalán.

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.

A Formális módszerek tárgyból elkészítendő kötelező házi feladat megtalálható a tárgy házi feladatok oldalán.

A házi feladathoz konzultációt a 9-10. oktatási héten biztosítunk. Tovább »

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.

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.

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

A Formális módszerek tárgyból elkészítendő kötelező házi feladat megtalálható a tárgy házi feladatok oldalán.

A házi feladathoz konzultációt a 9-10. oktatási héten biztosítunk. Tovább »

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.