Rendszermodellezés HF védés jelentkezés - Update: védés helyszíne kikerült

Ahogyan a félév elején hirdettük, a korábbi évektől eltérően idén opcionális lehetőség a Rendszermodellezés házi faladatok szóbeli védése.

Retelab1: Pótmérésre való jelentkezés

A tantárgy keretében a pótmérések a pótlási héten kerülnek megszervezésre előzetes jelentkezés alapján. Az erőforrásaink megfelelő biztosításához kérünk mindenki, aki pótolni szeretne jelentkezzen az alábbi úrlapon a megfelelő mérésre.

 

Systemmodellierung 2019: Optionale Zusatzhausaufgabe (Cucumber)

Die optionale Zusatzhausaufgabe ist das funktionale Testen der eigenen Schachuhren, die Sie in Ihren Hausaufgaben modelliert haben. Tovább »

Formális módszerek szorgalmi feladat

Formális módszerek tárgyból a szorgalmi feladatra történő jelentkezés részletei a tárgy szorgalmi feladatok oldalán olvashatók.

Formális módszerek házi feladatok védése

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.

Kiírásra került Rendszermodellezés tárgyból a szorgalmi házi feladat - UPDATE: beadott fájl neve

Kiírásra került Rendszermodellezés tárgyból a szorgalmi házi feladat. A feladat kiírás a házi feladat tájékoztató oldalról indulva vagy közvetlenül az alábbi linken érhető el: itt. A házi feladat beadása során figyeljünk rá, hogy a a feltöltésnél a dokumentáció neve

Teszteléses szorgalmi házi feladat (Cucumber)

Ahogy az előadáson is elhangzott, a szorgalmi feladat a kötelező házi feladat során elkészített saját sakkóra automata funkcionális tesztelése.

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.

Ipari vendégelőadó az itemis cégtől

Ipari vendégelőadó érkezik a Modellalapú rendszertervezés tárgy 2019. május 6. hétfői előadására (12:15-14:00, IL405 terem). Szabó Tamás, a németországi itemis mérnöke és tanszékünk egykori hallgatója a szakterületspecifikus nyelvek ipari jelentőségéről, alkalmazásáról fog beszélni, különösen az ellenőrzési lehetőségekre fókuszálva. Tovább »

Systemmodellierung 2019: Anmeldung für die mündlichen Verteidigung

Bitte melden Sie sich für die Verteidigung hier an (benutzen Sie bitte Ihren Neptun-Kode bei der Anmeldung), und kommen Sie zur Verteidigung ins Zimmer I.B419 um die ausgewählte Zeit. (Der Ort der Verteidigung kann sich noch ändern, wird dann an der Tür ausgeschrieben sein.) Ohne die Verteidigung wird Ihre Hausaufgabe nicht akzeptiert.

Tartalom átvétel