Mesterséges Intelligencia és Rendszertervezés Tanszék
.NET (1) · 5G mobilhálózatok (2) · adatátvitel (1) · állapotgép (1) · Android platform (1) · ANTLR (1) · architektúra (1) · architektúra modellezés (1) · autóipari alkalmazás (1) · automata (1) · automatikus kódgenerálás (4) · automatizált tesztelés (1) · AUTOSAR (1) · beágyazott rendszer (1) · beágyazott szoftver (1) · beágyazott vezérlő (1) · biztonságkritikus beágyazott rendszer (1) · biztonságkritikus rendszer (1) · biztonságkritikus rendszerek (3) · C# (1) · CAN (1) · CATES (1) · cloud computing (1) · CTL (1) · domain-specifikus nyelvek (1) · Dynamic Orchestration (1) · EBNF (1) · Eclipse plug-in (1) · Edge Computing (1) · ellenőrzés (1) · Elosztott rendszerek (1) · ETSI NFV (1) · Fabricjs (1) · folytonos integráció (1) · formális módszer (1) · formális verifikáció (2) · funkcionális verifikáció (1) · Futásidejű verifikáció (8) · Gamma (1) · GUI (1) · GUI keretrendszer (1) · hardver in the loop (1) · háromértékű logika (1) · HIL (1) · időzítés (1) · IEEE 1588 (1) · integrációs teszt (1) · iOS platform (1) · IoT Edge (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) · kommunikációs protokoll (1) · kontextusfüggő rendszerek (1) · követelmények (2) · követelményspecifikáció (2) · lakásvezérlés (1) · Lefedettség mérés (1) · lineáris temporális logika (1) · Live Sequence Chart (1) · LSC (1) · LTL (1) · megbízhatósági analízis (1) · megfigyelés (1) · MI komponensek (1) · modell alapú tesztelés (3) · modellellenőrzés (3) · MongoDB (1) · monitor (1) · monitoring rendszer (1) · monitorozás (5) · monitorszintézis (2) · Network Service Orchestrator (1) · ontológia (1) · optimalizálás (1) · Promela (1) · protokoll (1) · PTPv2 (1) · rekonfiguráció (1) · rendszer monitorozás (2) · rendszermodellezés (1) · Robot Operating System (1) · ROS (1) · SAP RAP (1) · SAP RCM (1) · SAP S/4HANA (1) · SAPUI5 (1) · scenario (1) · software development (1) · Spec Explorer (1) · SPIN (1) · Spring Boot (1) · Spring Data (1) · Spring keretrendszer (1) · Spring MVC (1) · Spring Security (1) · szcenárió (1) · szekvencia diagram (1) · szemantikus technológiák (1) · szimuláció (1) · szoftver fejlesztés (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 (3) · temporális logikai kifejezések (1) · temporális logikák (3) · teszt lefedettség mérés (1) · tesztelés (1) · tesztgenerálás (1) · UPPAAL (2) · verifikáció (3) · webalkalamzás (1) · WebSocket (1) · Xtext (1)
Összesen 31 szakdolgozat és diplomaterv. Összes téma megtekintése »