Témakiírások

Témakör: Szoftvertervezés
Cím	Konzulens	Jelleg	TDK	Megismerhető technológiák	Előismeretek	#
.Net programok ellenőrzése	Vörös András		TDK lehetőség	.Net, Mono, szoftver modellellenőrzés	.Net	2
Automatikus frissítéseket letöltő plug-in fejlesztése .Net-ben	Vörös András		Nem	.Net		1
Biztonságkritikus szoftverek tanúsítását támogató szoftver keretrendszer fejlesztése	Polgár Balázs	Elméleti és gyakorlati	TDK lehetőség	Eclipse alapú technológiák, metamodellezés, szakterület specifikus modellezés, modell alapú szoftverfejlesztés és analízis, biztonságkritikus rendszerek fejlesztésével kapcsolatos elvárások, biztonsági tanúsítványozás	Java	2
C/C++ unit tesztelő keretrendszerek megismerése (külsős téma)	Micskei Zoltán Imre	Gyakorlati	Nem	C/C++ tesztelési technikák	C/C++ ismeret	1
Common Logic grafikus editor	Demián Tamás	Elméleti és gyakorlati	TDK lehetőség	Eclipse technológiák, W3C	Java	1
Folytonos integrációs technikák (külső téma)	Ujhelyi Zoltán Oláh János	Gyakorlati	Nem	Jenkins, TeamCity, CruiseControl, Make, Maven		1
Hatékony inkrementális lekérdezés-kiértékelő algoritmusok	Bergmann Gábor Ráth István	Elméleti és gyakorlati	TDK lehetőség	JBoss Drools, szakértői rendszerek, Eclipse Modeling Framework, EMF-IncQuery	Java, algoritmusok	1
Lekérdezések definiálása vizuális szerkesztővel	Ujhelyi Zoltán Bergmann Gábor	Gyakorlati	Nem	Eclipse platform és grafikus szerkesztői keretrendszerei (GEF, GMF, Grafiti)	Alapvető Java programozási ismeretek. Ajánlott az Eclipse alapú technológiák tárgy felvétele.	1
Megjelenítés optimalizálás .Net platformon - gráfrendező algoritmusok implementálása	Vörös András		Nem	.Net		1
Microsoft szoftverfejlesztést támogató eszközök	Vörös András	Elméleti és gyakorlati	TDK lehetőség	Microsoft technológiák		3
Modellek feletti lekérdezések (EMF-IncQuery)	Bergmann Gábor Ujhelyi Zoltán	Gyakorlati	TDK lehetőség	Eclipse technológiák, EMF	Alapvető programozási ismeretek, Ajánlott az Eclipse alapú technológiák tárgy felvétele.	1
Modelltranszformációk vezérlése munkafolyamatok segítségével	Ujhelyi Zoltán	Gyakorlati	Nem	Eclipse alapú technológiák, Modeling Workflow Engine, VIATRA	Java programozás. Ajánlott az Eclipse alapú technológiák tárgy felvétele.	1
Multiplatform mobil alkalmazások generálása	Ráth István	Gyakorlati	TDK lehetőség	Eclipse, Xtext, Android, iOS, Windows Mobile	mobil programozás	1
Nagyméretű nyomonkövethetőségi modellek vizualizációja hierarchikus eszközökkel	Hegedüs Ábel Horváth Ákos	Elméleti és gyakorlati	TDK lehetőség	Eclipse, yED, modellvizualizáció, VIATRA	Java	1
Platformfüggetlen adatcsere technológiák	Bergmann Gábor	Gyakorlati	Nem	Apache Thrift, Google Protobuf, stb.	Általános programozói ismeretek	1
Specifikációs követelmények nyomonkövetése modern modellezési keretrendszerekben	Hegedüs Ábel Horváth Ákos	Gyakorlati	Nem	Eclipse, EMF, DOORS	Java ajánlott	1
Statikus kód analizátorok (külső téma)	Majzik István Oláh János	Gyakorlati	Nem	Statikus kódanalízis eszközök: Cppcheck, lint, Parasoft C/C++test	C++	1
Szoftverellenőrzés automatizálási technikái .NET platformon	Micskei Zoltán Imre Vörös András		TDK lehetőség	NMock3, moq, FsCheck, Pex (test automation, unit test, integration test, mocking)		2
Szoftverellenőrzési technikák alkalmazása a modellvezérelt fejlesztésben	Ujhelyi Zoltán Vörös András	Elméleti és gyakorlati	TDK lehetőség	modelltranszformációk, statikus analízis, modellellenőrzés, Eclipse plug-in fejlesztés	Java fejlesztés; ajánlott az Eclipse alapú technológiák c. tárgy párhuzamos felvétele	2
Szoftverfordítás automatizálási lehetőségei .NET platformon	Micskei Zoltán Imre Vörös András	Gyakorlati	Nem	.NET, build automation, build server, continuous integration		2
Szoftvertesztelési technikák modellalapú fejlesztőeszközök támogatására	Ujhelyi Zoltán Bergmann Gábor	Elméleti és gyakorlati	TDK lehetőség	Tesztelési technikák, Eclipse plug-in fejlesztés, modelltranszformációk.	Alapvető programozási ismeretek, Ajánlott az Eclipse alapú technológiák tárgy felvétele.	2
Szuperskálázható modellezés	Ráth István Varró Dániel	Elméleti és gyakorlati	TDK lehetőség	Ontológiák, skálázható adatbázisok, modelltranszformáció, EMF	hatékony programozás, algoritmusok	2
Tervezési alternatívák kiértékelése (Design Space Exploration) modern modellezési környezetekben	Hegedüs Ábel	Elméleti és gyakorlati	TDK lehetőség	Eclipse IDE, Eclipse Modeling Framework, VIATRA2 modelltranszformációs keretrendszer	Java	2
Végtelen állapotterű gráftranszformációs rendszerek helyességellenőrzése	Varró Dániel	Elméleti és gyakorlati	TDK lehetőség	Gráftranszformáció, shape analysis, szabály alap rendszerek		1

Témakör: Beágyazott rendszerek
Cím	Konzulens	Jelleg	TDK	Megismerhető technológiák	Előismeretek	#
Absztrakciós módszerek a modellellenőrzésben	Vörös András	Elméleti és gyakorlati	TDK lehetőség	.Net, modellellenőrzés, C#	algoritmusok szeretete	2
Egyszerű állapottér-kiterítés (Unfolding) jellegű algoritmus megismerése és implementálása	Vörös András	Elméleti és gyakorlati	TDK lehetőség	C#, modellellenőrző algoritmusok	gráfok szeretete	2
Elosztott párhuzamos modellellenőrzés	Vörös András	Elméleti és gyakorlati	TDK lehetőség	elosztott rendszerek	C#, algoritmusok	3
Hierarchikus modellek ellenőrzése	Vörös András	Elméleti és gyakorlati	TDK lehetőség	.Net, C#	algoritmusok szeretete	2
Kombinált explicit és implicit állapottér felderítő és modellellenőrző algoritmusok fejlesztése, implementálása	Vörös András	Elméleti és gyakorlati	TDK lehetőség	.Net, algoritmusok, modellellenőrzés, szoftver verifikáció	algoritmusok	2
Követelményleíró kifejezések kényszerkielégítési feladattá való leképezése	Szatmári Zoltán	Elméleti és gyakorlati	TDK lehetőség	OCL, EMF, Eclipse, Acceleo, UML, SMT, Z3	Java	1
Modellalapú fejlesztés vizsgálata	Vörös András	Elméleti és gyakorlati	TDK lehetőség	beágyazott rendszerek, C, Java, C# (fejlesztő eszközök)	C és/vagy beágyazott rendszerek	1
Modellezést támogató eszköz fejlesztése SysML modellekhez	Polgár Balázs	Elméleti és gyakorlati	TDK lehetőség	SysML modellezési nyelv, komplex rendszerek modellezése, modellmenedzsment, modelltranszformáció, modellellenőrzés, kódgenerálás	(Java)	4
Nagyméretű aszinkron rendszerek korlátos modellellenőrzése	Vörös András Bartha Tamás	Elméleti és gyakorlati	TDK lehetőség	C#	algoritmusok, programozás	1
Önállóan javasolt szakmai gyakorlat	Huszerl Gábor	Gyakorlati	Nem	Többféle technológia.
PetriDotNet	Vörös András Bartha Tamás		TDK lehetőség	C#	algoritmusok szeretete	10
PetriDotNet 2.0 keretrendszer fejlesztése	Vörös András Bartha Tamás	Elméleti és gyakorlati	TDK lehetőség	.Net, C#, WPF		5
Szoftverellenőrzési technológiák	Vörös András	Elméleti és gyakorlati	TDK lehetőség	tetszőleges programozási vagy modellező nyelv, amelyhez létezik eszköztámogatás	szoftverfejlesztés, programozás	5
Sztochasztikus analízis	Vörös András Demián Tamás	Elméleti és gyakorlati	TDK lehetőség	C#	algoritmusok, valszám, de leginkább lelkesedés	2
Sztochasztikus modellek szimulációs vizsgálata	Vörös András Demián Tamás		TDK lehetőség	C#	Valószínűségszámítás, programozás	1
Vasúti biztosítóberendezések modellezése és analízise	Polgár Balázs	Elméleti és gyakorlati	TDK lehetőség	metamodellezés, szakterület specifikus modellezés, modell alapú szoftverfejlesztés és analízis, Eclipse alapú technológiák, vasúti rendszerek biztonságtechnikája, ELEKTRA2 rendszer, SysML	Java	2

Témakör: Informatikai infrastruktúra
Cím	Konzulens	Jelleg	TDK	Megismerhető technológiák	Előismeretek	#
Automatikus felkonfigurálás a cloudban	Szombath István	Elméleti és gyakorlati	TDK lehetőség	Cloud Java (Eclipse) esetleg Viatra2 vagy Drools	Java nyelv ismerete BSz gráfelméleti alapok	2
Intelligens, operatív városüzemeltetési központ tervezése	Polgár Balázs	Elméleti és gyakorlati	TDK lehetőség	Nagy rendszerek modell alapú tervezése, SysML, városüzemeltetési terület		5
Modell-vezérel Cloud management rendszer fejlesztése	Vörös András Kövi András	Elméleti és gyakorlati	TDK lehetőség	Viatra, Java, modell-vezérelt működés, funkcionális reaktív programozás, modellellenőrzés, szimuláció, tesztelési metodikák, cloud-ok	programozás alapjai, nyitottság új nyelvekre	1
Modellalapú módszer komplex események feldolgozásához	Gönczy László	Elméleti és gyakorlati	TDK lehetőség	Komplex eseményfeldolgozó rendszerek, szakterület specifikus nyelvek, modell alapú tervezés.		1
Smart Metering - Smart Grid	Polgár Balázs	Elméleti és gyakorlati	TDK lehetőség	Smart metering, intelligens adatgyűjtők, modellvezérelt rendszertervezés, SysML		2

Elsődleges linkek

Primary Links

Témakiírások

Oktatás

Nyelvek

Belépés

Leírások, segédletek

Horváth Ákos
Bartha Tamás
Bergmann Gábor
Demián Tamás
Gönczy László
Hegedüs Ábel
Huszerl Gábor
Kocsis Imre
Izsó Benedek
Kövi András
Majzik István
Micskei Zoltán Imre
Oláh János
Pataricza András
Polgár Balázs
Ráth István
Szatmári Zoltán
Szombath István
Ujhelyi Zoltán
Varró Dániel
Vörös András