Mesterséges Intelligencia és Rendszertervezés Tanszék
.NET (1) · absztrakció (2) · absztrakt elérhetőségi gráf (1) · állapot elérhetőség (2) · állapotgép (4) · állapotgép kompozíció (3) · állapotmentes modellellenőrzés (1) · állapotmodell (2) · állapottér bejárás (1) · állapottér robbanás (2) · állapottérkép (1) · autóipari beágyazott rendszer (1) · AUTOSAR (1) · Bayesi optimalizáció (1) · beágyazott szoftver (1) · biztonságkritikus (1) · C++ (1) · CEGAR (3) · CUnit (1) · Cygwin (1) · csomagolóosztály (1) · Docker (1) · döntési diagram (2) · Eclipse (2) · Eclipse Modeling Framework (1) · Eclipse plugin (1) · elosztott (1) · elosztott alkalmazás (1) · Elosztott rendszerek (1) · Enterprise Architect (1) · explicit (1) · Folyamatmodellezés (1) · formális modellezés (1) · formális módszerek (2) · formális verifikáció (7) · framework (1) · Gamma (2) · Gauss folyamat (1) · git repository (1) · gráfmodell (1) · heurisztika (1) · hierarchikus döntési diagram (1) · időzített automata (2) · invariáns (1) · ipari automatizálás (1) · irányított keresés (1) · Java (1) · JNI (1) · keresés alapú szoftverfejlesztés (1) · keretrendszer (1) · kiberfizikai rendszer (1) · kiértékelési diagram (1) · kódgenerálás (3) · kódgenerátor (1) · konformancia tesztelés (1) · Kubernetes (1) · leképzési szabályok (1) · LTSmin (1) · MBSE (1) · memóriamodell (1) · memóriamodellezés (1) · modell (1) · modell alapú fejlesztés (2) · modell alapú kódgenerálás (2) · Modell alapú rendszertervezés (1) · modell alapú szoftverfejlesztés (1) · modell alapú tervezés (1) · modell generálás (1) · modell validáció (1) · modellalapú rendszertervezés (5) · modellellenőrzés (11) · modellezési nyelvek (1) · modellező nyelvek (1) · modellgenerálás (2) · modelltranszformáció (3) · moduláris modellezési nyelv (1) · mqtt (1) · nézeti modellek (1) · ontológikus viselkedés modellezés (1) · OpenAPI (2) · operacionális könyvtár (1) · optimalizáló algoritmusok (1) · paraméter optimalizáció (1) · párhuzamos programozás (1) · Petri háló (1) · PetriDotNet (1) · Petri-háló (1) · PINS (2) · Refinery (2) · REST API (2) · részleges rendezés redukció (1) · SAT (1) · SMT (1) · SysML (1) · SysML v2 (6) · szakdolgozat (1) · szaturáció (1) · szimbolikus modellellenőrzés (3) · szimuláció (1) · szimulációk (2) · szoftverellenőrzés (1) · szoftververifikáció (1) · szorzat absztrakció (1) · sztochasztikus modell (1) · sztochasztikus Petri-háló (1) · tervezési folyamat (1) · tervezésitér-bejárás (1) · tesztgenerálás (1) · Theta (4) · tranzíciós rendszer (1) · unit teszt (1) · unit tesztelés (1) · UPPAAL (1) · üzenetsor (1) · validáció (2) · végrehajtás (1) · VIATRA (1) · Viatra Solver (1) · V-modell (1) · XSTS (1) · Xtend (1) · Xtext (1) · Yakindu (1)
Összesen 31 szakdolgozat és diplomaterv. Összes téma megtekintése »