Oktatás

Oktatási hírek

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.

 

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 »

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

Rendszermodellezés ZH1 eredmények

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