Dr. Majzik István OData támogatás

Méréstechnika és Információs Rendszerek Tanszék

Kulcsszavai

.NET (1) · 5G mobilhálózatok (1) · adatátvitel (1) · Android platform (1) · ANTLR (1) · architektúra (1) · architektúra modellezés (1) · automata (1) · automatikus kódgenerálás (3) · automatizált tesztelés (1) · beágyazott rendszer (1) · beágyazott vezérlő (1) · biztonságkritikus beágyazott rendszer (1) · C# (1) · CAN (1) · CATES (1) · CTL (1) · EBNF (1) · Fabricjs (1) · folytonos integráció (1) · formális módszer (1) · funkcionális verifikáció (1) · Futásidejű verifikáció (4) · GUI (1) · GUI keretrendszer (1) · hardver in the loop (1) · háromértékű logika (1) · HIL (1) · IEEE 1588 (1) · integrációs teszt (1) · iOS platform (1) · Java 8 (1) · Java fejlesztés (2) · Java programozás (1) · JavaScript (1) · Jenkins (1) · kapcsolat (1) · kódgenerálás (1) · kódlefedettség (1) · kollaboratív rajzolás (1) · kommunikáció (1) · kontextusfüggő rendszerek (1) · követelmények (1) · követelményspecifikáció (1) · lakásvezérlés (1) · Lefedettség mérés (1) · Live Sequence Chart (1) · LSC (1) · megbízhatósági analízis (1) · megfigyelés (1) · modell alapú tesztelés (2) · modellellenőrzés (1) · MongoDB (1) · monitoring rendszer (1) · monitorozás (2) · monitorszintézis (2) · ontológia (1) · optimalizálás (1) · protokoll (1) · PTPv2 (1) · rendszermodellezés (1) · Robot Operating System (1) · ROS (1) · software development (1) · Spec Explorer (1) · Spring Boot (1) · Spring Data (1) · Spring keretrendszer (1) · Spring MVC (1) · Spring Security (1) · szemantikus technológiák (1) · szoftver tesztelés (1) · szoftvertesztelés (3) · sztochasztikus Petri-háló (1) · teljesítmény regresszió (1) · teljesítmény teszt eszköz (1) · teljesítmény tesztelés (1) · temporális logika (2) · temporális logikai kifejezések (1) · teszt lefedettség mérés (1) · tesztelés (1) · UPPAAL (2) · verifikáció (1) · WebSocket (1)

Témái

Összesen 19 szakdolgozat és diplomaterv.  Összes téma megtekintése »

Képzés szerint:

Szak szerint:

Félév szerint: