Java programok implementációs problémáinak detektálása szimbolikus végrehajtás segítségével

QR kód

Java programok implementációs problémáinak detektálása szimbolikus végrehajtás segítségével

Elmentve itt :

Bibliográfiai részletek
Szerző:	Kádár István
További közreműködők:	Ferenc Rudolf (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	2012
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/37436

Hasonló tételek

PSL implementáció
Szerző: Fazekas Zsuzsanna
Megjelent: (1988)

Java programok analízise
Szerző: Fábián Zoltán
Megjelent: (2002)

ADA implementáció HLP-ben
Szerző: Fábián Imre
Megjelent: (1984)

Java programok analízise metrikaszámításhoz
Szerző: Mészáros Judit
Megjelent: (2007)

Java programok statikus analízise
Szerző: Tóth Gabriella
Megjelent: (2007)

Java programok dinamikus analízise alkalmazásokkal
Szerző: Fischer Ferenc
Megjelent: (2007)

Java programok szerkezeti függőségeinek vizsgálata
Szerző: Kiss Ákos
Megjelent: (2000)

Java nyelvű programok tesztelése
Szerző: Forgács András
Megjelent: (2007)

Java programok statikus elemzésének gyakorlati megvalósítása
Szerző: Pántos János
Megjelent: (2011)

HPL implementáció Commodore 64 típusú személyi számítógépen
Szerző: Pusztai Pál
Megjelent: (1985)

Programok sebezhetőségeinek detektálása statikus forráskódelemzéssel
Szerző: Ságodi Zoltán
Megjelent: (2019)

Szimbolikus modellvizsgálat
Szerző: Bertók Zoltán
Megjelent: (2006)

Java alkalmazás fejlesztése keretrendszerek segítségével
Szerző: Tóth Miklós Zoltán
Megjelent: (2009)

Java szimbolikus végrehajtó kiegészítése constraint solverrel
Szerző: Hajnal Péter János
Megjelent: (2023)

JavaScript programok párhuzamos futtatásának lehetőségei és hatásai
Szerző: Horváth Zoltán
Megjelent: (2012)

Internet portál Java és Oracle segítségével
Szerző: Zagyi Péter
Megjelent: (2004)

Távoktatási programok az interneten (szabadszoftverek segítségével)
Szerző: Csúri Péter
Megjelent: (2000)

Autópálya szimuláció vizualizációja Java 3D segítségével
Szerző: Benke József Dániel
Megjelent: (2006)

Oktatási portál továbbfejlesztése Oracle és Java segítségével
Szerző: Barák Tamás
Megjelent: (2004)

Szimbolikus algebrai programkönyvtárak használata
Szerző: Sasvári Zsolt
Megjelent: (1996)

Számítógépes szimbolikus dallam visszakeresés
Szerző: Gyimóthy Zoltán
Megjelent: (2009)

Java programok eljárásszintű futási információinak előállítása és azok alkalmazásai a szoftverkarbantartásban
Szerző: Kóródi Péter Ádám
Megjelent: (2007)

MISRA szabálysértések detektálása Clang-Tidy segítségével
Szerző: Varjú Norbert
Megjelent: (2020)

Trendek detektálása Twitter hashtag gráfok segítségével
Szerző: Kiss Bence Attila
Megjelent: (2018)

Implicit labirintus implementáció a virtuális valóságban
Szerző: Bajusz Beáta
Megjelent: (2021)

Szemantikus gráfon alapuló konstans propagáció algoritmus tervezése és megvalósítása Java programok elemzésére
Szerző: Ambrus Péter
Megjelent: (2009)

Implementáció és tanulói attitűdök a mindennapos testnevelés funkciója egy hátrányos helyzetű régió iskoláiban /
Szerző: Fintor Gábor
Megjelent: (2019)

Sarokpontok detektálása 3D bináris képeken
Szerző: Murvai József Máté
Megjelent: (2011)

Fokozó értelmű szókapcsolatok detektálása magyar szövegkorpuszokban
Szerző: Kiss Márton
Megjelent: (2008)

Nyelvi hatókörök automatikus detektálása orvosi szövegekben
Szerző: Németh Orsolya
Megjelent: (2008)

Java alapú webalkalmazás JavaServer Pages technológiával
Szerző: Trestyánszki Péter
Megjelent: (2004)

Szimbolikus legitimáció
Szerző: Budai Géza
Megjelent: (1995)

Korrelációs programok
Szerző: Nagy László
Megjelent: (1975)

Szimbolikus automaták
Szerző: Sipos Dávid
Megjelent: (2022)

Programok készítése a Change programozási nyelv multiprocessaló és kiterjesztő utasításai segítségével
Szerző: Papp Anna
Megjelent: (1981)

Tehenészeti telepek szaporodásbiológiai problémáinak megoldása
Szerző: Mester László
Megjelent: (1987)

Depresszió detektálása korrelációs struktúrán alkalmazott konvolúciós hálók segítségével
Szerző: Jenei Attila Zoltán, et al.
Megjelent: (2020)

Körpakolás Java nyelven
Szerző: Váradi Viktor
Megjelent: (2002)

Automaták JAVA nyelven
Szerző: Dévényi Csaba
Megjelent: (1998)

Melanoma detektálása mély neurális háló segítségével mobil eszközökön
Szerző: Kóczán Dániel
Megjelent: (2022)