Dr. Varró Dániel OData támogatás

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

Kulcsszavai

automatizált tételbizonyító (1) · domain-specifikus nyelvek (1) · ellentmondásmentesség igazolása (1) · EMF-IncQuery (1) · gráf (1) · Hozzáférési jogosultságok (1) · keretrendszer (1) · kollaboráció (1) · kollaboratív modellezés (1) · modelltranszformáció (1) · modellvezérelt (1) · online kollaboráció (1) · Shape analízis (1) · statikus analízis (1) · web-alapú technológiák (1) · Z3 (1)

Témái

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

Képzés szerint:

Szak szerint:

Félév szerint: