Mesterséges Intelligencia és Rendszertervezés Tanszék
adaptív algoritmus (1) · adat vizualizáció (1) · adatbázis kezelés (1) · adatbiztonság (2) · adatelemzés (3) · adatvizualizáció (1) · alkalmazás fejlesztés (1) · állapotgépek (1) · animáció (1) · anomália detektálás (2) · assume-guarantee (1) · bizonyítás (1) · biztonság (1) · biztonsági értékelés (1) · biztonságkritikus rendszerek (1) · cloud (1) · cloud computing (2) · CPS (1) · Digitális iker (1) · dinamikus infrastruktúrák (1) · dinamikus skálázás (1) · egészértékű programozás (1) · fehér doboz tesztelés (1) · fejlesztőeszköz (1) · felhasználói interfész tervezés (1) · felhő alapú rendszerek (1) · felhőszolgáltatások (1) · feltáró adatanalízis (1) · FEm (1) · fogalomtérkép (1) · folyamat optimalizálás (1) · folyamatvizualizáció (1) · formális (1) · formális módszerek (1) · gépi tanulás (1) · gépi taulás (1) · Github Security Advisory Database (1) · gondolattérkép (1) · hibadetektálás (1) · hibadiagnosztika (1) · hibainjektálás (1) · hibakeresés (1) · Hibamód és hatás analízis (1) · hibaterjedés (1) · hibaterjedés vizsgálat (1) · hibatűrés (1) · hibatűrő rendszerek (1) · idősor analízis (1) · idősor előrejelzés (1) · ifml (1) · információ strukturálás (1) · információfúzió (1) · informális (1) · infrastruktúra monitorozás (1) · interakció (1) · interjú (1) · IT biztonság (1) · kiber-fizikai rendszer (1) · kiberfizikai rendszerek (2) · kiber-fizikai rendszerek (2) · kódgenerálás (1) · Konvolúciós neurális hálózat (1) · köd számítás (1) · követelményspecifikáció (1) · kvalitatív modell (4) · kvalitatív modellezés (3) · log (1) · LSTM (1) · magyarázható MI (1) · megmagyarázható mesterséges intelligencia (2) · Mély neurális hálók (1) · mély tanulás (1) · mesterséges intelligencia (3) · metamodell (1) · metamodellezés (1) · Microsoft Azure (1) · MiniSAT (1) · modell absztrakció (2) · modell alapú szoftverfejlesztés (2) · modell alapú tesztelés (1) · modell szimuláció (1) · modell-alapú (1) · modellezés (1) · modellkivonás (1) · modellvezérelt fejlesztés (1) · neurális hálók (1) · numerikus módszer (1) · nyílt forráskód (1) · ontológia (6) · OpenSESAME (1) · OWL (1) · Processing (1) · Protégé (1) · QSAT (1) · R (1) · RDF (1) · rendelkezésre állás (1) · rendszerfelügyelet (1) · rendszerindentifikáció (1) · rendszermodellezés (1) · rendszertervezés (1) · robosztus tesztelés (1) · SAT (1) · SBOM (1) · sebezhetőség (1) · SMT (1) · specifikáció formalizálás (1) · specifikáció tervezés (1) · statisztika (1) · statisztikai adatvizualizáció (1) · SWIFI (szoftver alapú hibainjektálás) (1) · szemantika (1) · szemantikus modell (1) · szimuláció (1) · szoftver analízis (1) · szolgáltatásbiztonság (5) · tudásreprezentáció (2) · Unity (1) · virtualizáció (1) · vizualizáció (1) · Yakindu (1) · Z3 (1)
Összesen 30 szakdolgozat és diplomaterv. Összes téma megtekintése »