Logikai programok statikus analízise

QR kód

Logikai programok statikus analízise

Elmentve itt :

Bibliográfiai részletek
Szerző:	Harmath László
További közreműködők:	Gyimóthy Tibor (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1996
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/187

Hasonló tételek

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

C++ programok statikus analízise
Szerző: Dósa Rácz Ferenc
Megjelent: (1998)

Programok Statikus és Dinamikus Analízise
Szerző: Gergely Tamás
Megjelent: (2010)

Logikai programok szeletelése
Szerző: Pere László
Megjelent: (2000)

Bináris programok statikus szeletelése
Szerző: Jász Judit
Megjelent: (2004)

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

Turbo Pascal programok statikus elemzése
Szerző: Ujvárosi György
Megjelent: (1991)

Programok statikus feszültség- és frekvenciaskálázása
Szerző: Rejtő István
Megjelent: (2007)

Logikai programok párhuzamos végrehajtása
Szerző: Tóth Márton
Megjelent: (1999)

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

Objektum orientált programok analízise
Szerző: Pető Hunor
Megjelent: (2003)

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

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

PROLOG programok tanulása
Szerző: Harmath László
Megjelent: (1994)

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

Logikai adatelemzés
Szerző: Farkas Mónika
Megjelent: (2007)

Logikai formulák
Szerző: Boros Béla
Megjelent: (1998)

Idősorok analízise
Szerző: Bíró Zoltán Miklós
Megjelent: (2007)

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

Logikai formulák tanulása
Szerző: Palkovics Ferenc
Megjelent: (1997)

Logikai formulák átalakításai
Szerző: Kuklis Krisztián
Megjelent: (1999)

Digitális hangjelek analízise
Szerző: Borbély Gábor
Megjelent: (1996)

Sejtpopulációk összehasonlító morphometriai analízise
Szerző: Somogyi László
Megjelent: (1990)

C++ programok obfuszkálása
Szerző: László Tímea
Megjelent: (2007)

Felismerhető nyelvek logikai jellemzése
Szerző: Danyi András
Megjelent: (1996)

Logikai feladatgyűjtemény középiskolások számára
Szerző: Ott Andrea
Megjelent: (2001)

Egyes logikai formulák tanulása
Szerző: Szász Péter
Megjelent: (1994)

Geometriai problémák számítógépes analízise
Szerző: Kardos Gyula
Megjelent: (2001)

Digitális hangjelek analízise, szintézise
Szerző: Borbély Gábor
Megjelent: (1998)

Tesztszelekciós módszerek dinamikus és statikus hatásanalízis felhasználásával
Szerző: Laczi József
Megjelent: (2008)

Statikus hibakeresés C++ forráskódokban statisztikai módszerek segítségével
Szerző: Masa Tibor
Megjelent: (2009)

PLIOPT (PL/1 Optimizer) forrásnyelvű programok formai szerkesztése (tagolás, tabulálás) a logikai struktúrának megfelelően
Szerző: Molnár Csaba
Megjelent: (1987)

Prolog programok tesztelése
Szerző: Kevei Attila
Megjelent: (1993)

Gráf értékelő programok
Szerző: Nagy Elemér

Logikai formulák tanulása a Tiling algoritmussal
Szerző: Nemes László
Megjelent: (1992)

Aritmetikai és logikai kifejezések kiértékelése
Szerző: Róka Zsuzsanna
Megjelent: (1988)

Geometriai szerkesztések analízise Flash-ben
Szerző: Tóth Melinda
Megjelent: (2007)

Statikus forráskód elemzés C++ forráskódokban, inicializációs hibák felderítése
Szerző: Guba Zoltán
Megjelent: (2010)

Objektum orientált rendszerek analízise tervezési minták felismertetésével
Szerző: Müller László
Megjelent: (2001)

C programok dinamikus szeletelése
Szerző: Faragó Csaba
Megjelent: (2001)