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 »

Rendszermodellezés ZH1 beugró eredmények

A Rendszermodellezés ZH1 beugró eredménye és a javított verzió elérhető bejelentkezés után az alábbi címen:

https://inf.mit.bme.hu/sites/default/homework/?dl=zh1-ohgfsonevb Tovább »

Rendszermodellezés ZH1 beosztás

A Rendszermodellezés ZH1 2019. március 29-én, péntek, 08:15 - 09:45 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!

Formális módszerek házi feladatok kiadása

A Formális módszerek tárgyból elkészítendő kötelező házi feladat megtalálható a tárgy házi feladatok oldalán.

A házi feladathoz konzultációt a 9-10. oktatási héten biztosítunk. Tovább »

Tartalom átvétel