![education.heroTitle](/static/116deba786ce3e3312764eab9cd3f054/1b3e3/bg_1.jpg)
Oktatás és tehetséggondozás
A csoport a mérnökinformatikus BSc, MSc és PhD képzésben is jelen van, választható tárgyaink pedig izgalmas és naprakész tudást adnak hallgatóinknak.
Specializációk
Tantárgyaink
![education.subjects.softeng](/static/111b08a686afd6c068e7e96330614915/78c86/course_1.jpg)
Szoftvertechnológia
Szoftverfejlesztés mérnöki aspektusai
A tantárgy szoftver rendszerek tervezésének, fejlesztésének, karbantartásának tanítását tűzi ki célul, bemutatva a szoftver, mint termék előállításához szükséges eszközöket és módszereket.
![education.subjects.ase](/static/c9a1b0c18e86dcfea47af326230ecb10/78c86/course_6.jpg)
Automatizált szoftverfejlesztés
Automatizált szoftverfejlesztési módszerek és eszközök
A tárgyban bemutatjuk új nyelvek tervezésének folyamatát, a fejlesztőkörnyezetek funkcióinak kiegészítését, folytonos integráció megvalósítását, valamint különböző tesztelési és teljesítménymérési technikák végrehajtását és statisztikai elemzését.
![education.subjects.remo](/static/9bfecd2438e14a61e864ba9a9d42dd77/78c86/course_2.jpg)
Rendszermodellezés
A modellalapú rendszertervezés alapvető folyamatai és eszközei
Elágazó tárgyunk a képzés korábbi tárgyaira építve a modellalapú rendszertervezést iparilag releváns példákon és eszközökön keresztül mutatja be.
![education.subjects.form](/static/82f4a490c06f47ff9dc313dca5183f9f/78c86/course_3.jpg)
Formális módszerek
Formális modelleken alapuló tervezés és megvalósítás, formális analízis
A hallgatók megtanulnak formális modelleket alkotni, illetve megismerik a különböző formális módszereket és technológiákat, ezek előnyeit, hátrányait, és alapvető eszközeit.
![education.subjects.thrustAI](/static/f38cf5b0e8bfe2f56b25ce983f873e22/78c86/course_9.jpg)
Megbízható mesterséges intelligencia és adatelemzés
Mesterséges intelligencia és adatelemzés megbízhatósági aspektusai
A tantárgy célja, hogy a hallgatók megismerjék a mesterséges intelligencia és adatelemzés megbízhatósági aspektusait, és azokat a szoftverfejlesztési folyamatba integrálják.
![education.subjects.mdsd](/static/93bce5795601acee4e338d11b3cdcf6f/78c86/course_4.jpg)
Modellalapú szoftverfejlesztés
Szakterület-specifikus modellezés és eszközfejlesztés technológiája
Bemutatjuk a szakterület-specifikus modellezési nyelvek használatát a modellalapú szoftvertervezési folyamat és az ipari implementációs technológiák szempontjából.
![education.subjects.rdds](/static/0eeae41c94e68df55856eb20f7407daf/78c86/course_5.jpg)
Megbízható elosztott és decentralizált rendszerek
Felhőalapú, autonóm, adaptív/átkonfigurálható rendszerek
Áttekintjük az elosztott és decentralizált rendszerekhez kapcsolódó kulcstechnológiákat, kiemelve az algoritmikus, modellezési és szolgáltatásbiztonsági aspektusokat.
![education.subjects.avt](/static/c9a1b0c18e86dcfea47af326230ecb10/78c86/course_6.jpg)
Automatizált ellenőrzési technikák
Korszerű tesztelési és verifikációs technikák, eszközök
A tantárgy célkitűzése, hogy megismertesse a hallgatókat a teljes szoftver- és rendszerfejlesztési életciklus során alkalmazható különböző ellenőrzési technikákkal.
![education.subjects.swvv](/static/2a53be7487678b89a72b92f38e8cf9ff/78c86/course_7.jpg)
Szoftver verifikáció és validáció
Formális verifikációs és validációs módszerek matematikai háttere
A tárgy célja a szoftverfejlesztésben használatos verifikációs és validációs módszerek rendszerező ismertetése, hangsúlyozva a formális verifikációs technikák matematikai alapjait.
![education.subjects.emprete](/static/bd39fe697f78cfdddad93340c78d08fe/78c86/course_8.jpg)
Empirikus rendszertervezés
Extrafunkcionális tulajdonságok garantálása tervezéskor és üzemeltetéskor
Bemutatjuk a metrikák folytonos világát és az informatikai rendszerek diszkrét kvalitatív modelljeit összekötő technikákat a legfontosabb alkalmazási területek érintésével.
![education.subjects.blockchain](/static/f16f8684ec4e0f76e4c6a74de6c6d54e/78c86/course_10.jpg)
Blockchain technológiák és alkalmazások
Blockchain eszközök alapvető tervezési elvei és sajátosságai, alkalmazásai
Az alkalmazások szempontjából kiemelt szerepű az általános célú üzleti szolgáltatások létrehozása és integrációja, valamint a kiberfizikai (Cyber-Physical Systems, CPS) alkalmazási esetek.
![education.subjects.maviz](/static/acb419663a65cef6c0c968c641045d71/78c86/course_12.jpg)
Adatelemzés és adatvizualizáció mérnököknek
Hogyan lesz az adatból információ? Hogyan találjuk meg a tűt a szénakazalban?
Megismertetjük a hallgatókat a vizuális adatelemzés alkalmazási lehetőségeivel, elsődlegesen informatikai rendszerek tervezésében és kiértékelésében.
Önálló munka
Hallgatóink változatos témákon dolgozhatnak már a önálló labortól kezdődően: az ipari partnereink által inspirált gyakorlati fejlesztési feladatoktól kezdve az elméleti jellegű kutatási témákig széles spektrumon biztosítunk konzultációt. Célunk, hogy hallgatóink olyan témákat találjanak, amikben elmélyülnek és szakmailag fejlődnek.
![Önálló munka](/static/0049a33b0f52b9f019064ea9ab210431/ceaf3/thesis-topics.jpg)
Tehetséggondozás
A motivált, érdeklődő hallgatókat szívesen látjuk már a BSc tanulmányaik kezdetén. Ők később a közös munka során rendszeresen bekapcsolódnak nemzetközi kutatási és ipari projektjeinkbe, nyílt forráskódú szoftverfejlesztéseinkbe.
Számukra tehetséggondozó programot, kiemelt konzultációs hátteret és egyéni mentorálást biztosítunk a TDK konferenciától kezdve egészen a doktori képzés végéig.