Formális módszerek

Tárgyfelelős: 
Majzik István
Oktatók: 
Farkas Rebeka
Oktatók: 
Graics Bence
Oktatók: 
Majzik István
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)

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

Tárgyfelelős: 
Szárnyas Gábor
Oktatók: 
Hajdu Ákos
Oktatók: 
Kocsis Imre
Oktatók: 
Marussy Kristóf
Oktatók: 
Semeráth Oszkár
Oktatók: 
Szárnyas Gábor
Korábbi oktatók: 
Honfi Dávid
Korábbi oktatók: 
Salánki Ágnes
Korábbi oktatók: 
Vörös András

Távoktatás: a tárgy laborfoglalkozásai önállóan teljesíthetők. Az órarendi időpontban konzultációs segítséget nyújtunk a Microsoft Teams szolgáltatáson. A végleges laborjegyzőkönyvek benyújtásának határideje laborfoglalkozás hetén vasárnap 23:59.

  Tovább »

Kritikus rendszerek integrációja laboratórium

Tárgyfelelős: 
Bergmann Gábor
Oktatók: 
Klenik Attila
Oktatók: 
Semeráth Oszkár
Oktatók: 
Szárnyas Gábor
Oktatók: 
Szatmári Zoltán
Korábbi oktatók: 
Honfi Dávid
Korábbi oktatók: 
Salánki Ágnes
Korábbi 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: 
Semeráth Oszkár
Oktatók: 
Bergmann Gábor
Oktatók: 
Semeráth Oszkár
Korábbi oktatók: 
Horváth Ákos
Korábbi oktatók: 
Graics Bence
Korábbi oktatók: 
Hegedüs Ábel
Korábbi oktatók: 
Nagy András Szabolcs
Korábbi oktatók: 
Ráth István Zoltán
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 (szakterület-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
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 »