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

Szatmári Zoltán, cs, 2019-05-09 00: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 14: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 14: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, k, 2019-05-07 00: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 21: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 16: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 11: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 14: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 »

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

Majzik István, p, 2019-04-05 11:19

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

Rendszermodellezés ZH1 eredmények

Gönczy László, p, 2019-04-05 06:04

A HF portálon elérhetőek az 1. ZH eredményei. A megtekintésre 2019. április 8. hétfőn 17:00-18:00 közt kerül sor az IL405 teremben (I épület B szárny 4. emelet, liftből kilépve balra).
Az eredmények ("ZH1" sor a portálon) magyarázata: Tovább »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció