Előadás a Thales Elektra vasúti biztosítóberendezésekről

A Valósidejű és biztonságkritikus rendszerek tárgy keretében a Thales Rail Signalling Solutions Kft. munkatársai tartanak meghívott elődást az Elektra vasúti biztosítóberendezésekről, 2012. április 4-én szerdán 10:15-től az I.E.224. teremben. Minden érdeklődőt várunk!

Formális módszerek szorgalmi feladatok megoldása

Formális módszerek tárgyból a szorgalmi feladatra jelentkezett hallgatók a feladatokat megtalálhatják a tárgy szorgalmi feladatra vonatkozó oldalán. Beadási határidő: 2012. április 27. péntek éjfél.

IRF: HF1 eredmények

Felkerültek a beadórendszerbe az első házi feladat eredményei. Sajnos a felület a fél pontokat nem jeleníti meg, a hibát igyekszünk javítani. Addig is a szövegben leírt részpontszámok összeadásával kapott eredmény tekinthető az összpontszámnak.

IRF: Kikerültek a második HF-ek

Kikerültek a második, konfigurációkezeléssel kapcsolatos házi feladatok az Intelligens rendszerfelügyelet tantárgyból. Hat féle házi feladat van (A-F), a beosztást mindenki az oldalon való bejelentkezés után, a „Házi feladatok és jegyzőkönyvek feltöltése” résznél tudja megnézni. Tovább »

IRF: Konfigurációkezelés segédlet és opcionális gyakorlat

Kikerült az Intelligens rendszerfelügyelet tantárgy segédanyagai közé egy „Konfigurációkezelési technológiák” című segédlet, amely a CIM és WBEM szabványaihoz kapcsolódó technológiákat és eszközöket (wbemcli, wsmancli, WMI, WinRM stb.) mutatja be. Tovább »

Rendszermodellezés házi feladat konzulensek, eredmények (2012. tavasz)

Elkészült a hivatalos hallgató-konzulens összerendelés (ld. mellékelt táblázat). Kérünk mindenkit, hogy keresse ki a konzulensét, és a jövőben a házi feladatával kapcsolatos kérdésekkel hozzá forduljon, a (bergmann|hegedusa|demian) + @mit.bme.hu címen. Tovább »

MDSD és SzolgInt előadás helyszínváltozás, fóliák II.

A Modellalapú szoftvertervezés és Szolgáltatásintegráció  c. tárgyak előadásait érintő újabb helyszínváltozások az alábbiak: Tovább »

Formális módszerek szorgalmi feladat

Formális módszerek tárgyból szorgalmi feladat megoldására 2012. március 26. (hétfő) éjfélig lehet jelentkezni. Részletek a tárgy szorgalmi feladatra vonatkozó oldalán olvashatók.

Formális módszerek első zárthelyi

Formális módszerek tárgyból az első zárthelyi időpontja: 2012. március 22. 18:00. Részletek a tárgy zárthelyikre vonatkozó oldalán találhatók.

Tartalom átvétel