Formális módszerek

Senior Lecturer: 
István Majzik
Instructors: 
Dániel Darvas
Instructors: 
Rebeka Farkas
Instructors: 
István Majzik
Instructors: 
Tamás Tóth
Instructors: 
András Vörö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. Read more »

Kötelező szakmai gyakorlat (MSc)

A szakmai gyakorlat adminisztrációját a tanszék központilag intézi, az ezzel kapcsolatos aktuális információk a tanszéki portálon érhetőek el.

Kritikus architektúrák laboratórium

Senior Lecturer: 
Gábor Szárnyas
Instructors: 
Imre Kocsis
Instructors: 
Attila Klenik
Instructors: 
Oszkár Semeráth
Instructors: 
Gábor Szárnyas
Instructors: 
Tamás Tóth
Former Instructors: 
Dávid Honfi
Former Instructors: 
Ágnes Salánki
Former Instructors: 
András Vörös

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. Read more »

Kritikus rendszerek integrációja laboratórium

Senior Lecturer: 
Gábor Bergmann
Instructors: 
Dávid Honfi
Instructors: 
Oszkár Semeráth
Instructors: 
Gábor Szárnyas
Instructors: 
Zoltán Szatmári
Instructors: 
Tamás Tóth

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

Senior Lecturer: 
Gábor Bergmann
Instructors: 
Ákos Horváth
Instructors: 
Gábor Bergmann
Instructors: 
Csaba Debreceni
Instructors: 
András Szabolcs Nagy
Instructors: 
István Ráth
Former Instructors: 
Ábel Hegedüs
Former Instructors: 
István Ráth
Former Instructors: 
Oszkár Semeráth
Former Instructors: 
Gábor Szárnyas
Former Instructors: 
Dániel Varró

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. Read more »

Szoftver- és rendszerellenőrzés

Senior Lecturer: 
Zoltán Imre Micskei
Instructors: 
Dániel Darvas
Instructors: 
Dávid Honfi
Instructors: 
István Majzik
Instructors: 
Vince Molnár
Instructors: 
Tamás Tóth
Instructors: 
András Vörö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.

  Read more »