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.

Hallgatóink sikere az Országos TDK konferencián

Hallgatóink kiemelkedően szerepeltek a XXXIV. Országos Tudományos Diákköri Konferencia Informatika Tudományi szekciójában, ahol két I. és két II. díjat nyertek. Tovább »

Formális módszerek házi feladat konzultáció

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

Tartalom átvétel