Oktatás

Aktuális tárgyak

Oktatási hírek

Rendszermodellezés ZH2 beosztás

Gönczy László, cs, 2019-05-16 12:43

A Rendszermodellezés ZH2 2019. május 17-én (péntek) 08:15 - 09:55 időpontban lesz. Kérünk mindenkit, hogy időben érkezzen (08:00) és legyen tisztában a teremmel, ahol a ZH-t írja. Mindenkinek generáltunk egy sorszámot, amely az ülésrendet határozza meg. Mindenki névre szóló beugró feladatsort kap, ezért fontos az ülésrend betartása!

Tovább »

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

Gönczy László, h, 2019-05-13 23:54

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.

Tovább »

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.

 

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 »

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ó