Prolog programok tesztelése

QR kód

Prolog programok tesztelése

Elmentve itt :

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

Hasonló tételek

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

Formulamanipulációs programok PROLOG nyelven
Szerző: Makra István
Megjelent: (1978)

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

Integrálás Prolog-ban
Szerző: Apró János
Megjelent: (1992)

Prolog Static Slice
Szerző: Juhász Gábor
Megjelent: (2007)

SICStus Prolog Parser
Szerző: Juhász Gábor
Megjelent: (2002)

Szabályhalmazok tanulása Prolog-al
Szerző: Török Andrea
Megjelent: (1999)

Természetes nyelvi elemzés PROLOG-ban
Szerző: Karpe Catrin
Megjelent: (1989)

Gépi kódú programok tesztelése és nyomkövetése Commodore 64 mikroszámítógépen
Szerző: Hegyi Gyula
Megjelent: (1986)

A malom játék megvalósítása PROLOG környezetben
Szerző: Dósa István
Megjelent: (1997)

A logikai programozás és a PROLOG nyelv.
Szerző: Möslein Andrea
Megjelent: (1983)

Karácsonyi prológ [vers] /
Szerző: Vicsay Lajos
Megjelent: (1935)

Véletlenszám-generátorok tesztelése
Szerző: Biczó Anikó
Megjelent: (1985)

PROLOG nyelvű fordítóprogramok implementálása attributum nyelvtanos specifikáció alapján
Szerző: Tala Péter
Megjelent: (1989)

Az orvosi latin nyelv számítógépes feldolgozása Prolog környezetben
Szerző: Komka Péter
Megjelent: (1994)

A Sicstus Prolog és az LL rendszer bemutatása
Szerző: Bátyai Borbála, et al.
Megjelent: (2001)

Prológ anyák napjára
Szerző: Nyíresi-Tichy Kálmán
Megjelent: (1943)

Tomográfiai algoritmusok fejlesztése, tesztelése
Szerző: Deák Lajos Zoltán
Megjelent: (2007)

A SPOT játék – logikai játék megvalósítása Prolog programozási nyelven
Szerző: Nagy Gábor
Megjelent: (1998)

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

IPv6 multicast hálózat tesztelése
Szerző: Kertész Viktor
Megjelent: (2006)

Egy fordítóprogram tesztelése CRJE- rendszerben
Szerző: Hegedűs Mária
Megjelent: (1980)

Rational Rose C++ elemző tesztelése
Szerző: Szűrös Csaba
Megjelent: (2000)

Prológ az új évadhoz
Szerző: Lőkös Zoltán
Megjelent: (1964)

Wafer-szintű sejtterek tesztelése
Szerző: Kelemen József
Megjelent: (1987)

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

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

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

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

Prolog nyelvű fordítóprogramok implementálása attributum-nyelvtanos specifikáció alapján a PROFLP rendszer segítségével
Szerző: Rácz Katalin
Megjelent: (1990)

LanStore elosztott fájlrendszer tesztelése és refaktorizálása adatbázis-műveletek, tranzakció-kezelés, verziókövetés refaktorizációja /
Szerző: Földesi Attila
Megjelent: (2007)

A Prologis magyarországi külső kommunikációja
Szerző: Battai Borbála
Megjelent: (2012)

Tréderek készítése és tesztelése MetaTrader programban
Szerző: Pénzes Andor
Megjelent: (2010)

Sejtprocesszorok tesztelése, hibás sejtterek programozása
Szerző: Tóth Nándor
Megjelent: (1985)

Logikai programok statikus analízise
Szerző: Harmath László
Megjelent: (1996)

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

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)

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

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