Formális módszerek

Tárgyfelelős: 
Majzik István
Oktatók: 
Darvas Dániel
Oktatók: 
Farkas Rebeka
Oktatók: 
Majzik István
Oktatók: 
Tóth Tamás
Oktatók: 
Vörös András

A tárgy áttekintést ad az informatikai rendszerek formális modelljeinek megalkotásához és analíziséhez szükséges számításelméleti háttérről, ideértve a legfontosabb modellezési nyelveket, valamint a kapcsolódó analitikus és szimulációs vizsgálati módszereket. Demonstrálja ezek alkalmazását a rendszerszintű modellezés, a hardver tervezés, valamint a szoftver helyességbizonyítás és szintézis területén. Tovább »

Kötelező szakmai gyakorlat (MSc)

Lásd: http://www.mit.bme.hu/oktatas/szakmai-gyakorlat/tudnivalok

Ez az oldal vonatkozik a VIMIAS00 / VIMIMS20 (Mérnökinformatika szak) és a VIMIM381 kódú (Gazdaságinformatika szak) tárgyat teljesítő MSc hallgatókra is. Tovább »

Kritikus architektúrák laboratórium

Tárgyfelelős: 
Szárnyas Gábor
Oktatók: 
Kocsis Imre
Oktatók: 
Klenik Attila
Oktatók: 
Semeráth Oszkár
Oktatók: 
Szárnyas Gábor
Oktatók: 
Tóth Tamás
Korábbi oktatók: 
Honfi Dávid
Korábbi oktatók: 
Salánki Ágnes

A tantárgy célkitűzése a Szoftver- és rendszerellenőrzés, valamint a Kiberfizikai rendszerek tantárgyak anyagának gyakorlása és elmélyítése laboratóriumi mérések elvégzésével.

A tárgyhoz saját GitHub organization tartozik, ahol a hallgatói csapatok repositoryjai találhatók. Tovább »

Kritikus rendszerek integrációja laboratórium

Tárgyfelelős: 
Bergmann Gábor
Oktatók: 
Honfi Dávid
Oktatók: 
Nagy András Szabolcs
Oktatók: 
Salánki Ágnes
Oktatók: 
Semeráth Oszkár
Oktatók: 
Szárnyas Gábor
Oktatók: 
Tóth Tamás

A tárgy a szolgáltatásintegráció, az elosztott üzleti alkalmazások és a modell alapú fejlesztés bizonyos fejezeteivel ismertet meg gyakorlati feladatokon keresztül. A kurzus folyamán a hallgatók egy egyszerű, üzleti szempontból kritikus funkciót valósítanak meg különféle kommunikációs paradigmák (pl.

Modell alapú rendszertervezés

Tárgyfelelős: 
Bergmann Gábor
Oktatók: 
Horváth Ákos
Oktatók: 
Bergmann Gábor
Oktatók: 
Debreceni Csaba
Oktatók: 
Nagy András Szabolcs
Oktatók: 
Ráth István
Korábbi oktatók: 
Hegedüs Ábel
Korábbi oktatók: 
Ráth István
Korábbi oktatók: 
Semeráth Oszkár
Korábbi oktatók: 
Szárnyas Gábor
Korábbi oktatók: 
Varró Dániel

A tantárgy célja, hogy bemutassa a domain-specifikus modellezési nyelvek használatát mind a modellbázisú szoftvertervezési folyamat, mind az ipari környezetben használatos implementációs technológiák szempontjából. Tovább »

Szoftver- és rendszerellenőrzés

Tárgyfelelős: 
Micskei Zoltán Imre
Oktatók: 
Darvas Dániel
Oktatók: 
Honfi Dávid
Oktatók: 
Majzik István
Oktatók: 
Molnár Vince
Oktatók: 
Tóth Tamás
Oktatók: 
Vörös András

 

FIGYELEM: 2016-tól kezdve a tárgy angol nyelvű, ezen a linken elérhető honlapján találhatóak az aktuális információk.

  Tovább »