Oktatás

Aktuális tárgyak

Oktatási hírek

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

Szatmári Zoltán, sze, 2019-05-08 23:27

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)

Huszerl Gábor, k, 2019-05-07 16:26

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

Majzik István, k, 2019-05-07 13:11

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

Majzik István, k, 2019-05-07 13:04

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

Vörös András, h, 2019-05-06 23:36

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

Tovább »

Teszteléses szorgalmi házi feladat (Cucumber)

Vörös András, h, 2019-05-06 20:33

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.

Tovább »

Formális módszerek házi feladat pótbeadás

Majzik István, h, 2019-05-06 15:40

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

Bergmann Gábor, cs, 2019-05-02 10:12

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

Huszerl Gábor, cs, 2019-04-25 20:22

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

Szárnyas Gábor, cs, 2019-04-18 13:23

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 »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció