Object-Oriented Program Verification (Objektum-orientált program bizonyítás)

QR kód

Object-Oriented Program Verification (Objektum-orientált program bizonyítás)

Elmentve itt :

Bibliográfiai részletek
Szerző:	Juhász András
További közreműködők:	Fülöp Zoltán (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	2001
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/2075

Hasonló tételek

Objektum-orientált adatbázis-kezelés a SOLOCat lemeznyilvántartó program
Szerző: Iszak Péter
Megjelent: (1992)

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

Objektum-orientált LDAP API
Szerző: Horváth Tibor
Megjelent: (2001)

Rendezési algoritmusok objektum-orientált megvalósítása
Szerző: Nagy István
Megjelent: (1991)

Objektum orientált programok kifejezéseinek szeletelése
Szerző: Havasi Ferenc
Megjelent: (1999)

Objektum orientált felhasználói felületek grafikus megvalósítása
Szerző: Tóth Attila
Megjelent: (2002)

Interaktív objektum-orientált user interface rendszer
Szerző: Ferenc Rudolf
Megjelent: (1995)

Az objektum-orientált programozás alkalmazásai. Keresztrejtvénykészítés
Szerző: Fülöp Judit
Megjelent: (1995)

Numerikus programkönyvtárak C++ objektum orientált környezetben
Szerző: Mendei Árpád
Megjelent: (1995)

Tervezési minták felismerése objektum orientált programkódban
Szerző: Bán Dénes
Megjelent: (2012)

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

Ötödölő játék objektum orientált megvalósítása IBM PC-n
Szerző: Orosz István
Megjelent: (1994)

Ellenminták felismerése objektum orientált programkódban
Szerző: Ágoston Máté
Megjelent: (2015)

Háromszögekkel határolt testek szerkesztése és mozgatása objektum-orientált programmal
Szerző: Agócs Zoltán
Megjelent: (1993)

Interaktív objektum-orientált user interface rendszer (UI rendszer) II.
Szerző: Ötvös Sándor
Megjelent: (1995)

Objektum-orientált grafikus felhasználói interfész Borland Pascal 7.0-ban
Szerző: Csányi László
Megjelent: (1998)

Objektum orientált perzisztencia réteg implementációja Java nyelven
Szerző: Nagy Viktor
Megjelent: (2015)

Verification of reconfiguration mechanisms in service-oriented [abstract] /
Szerző: Gönczy László
Megjelent: (2006)

Parametrikus lépcső objektum fejlesztése AutoCAD ObjectARX környezetben
Szerző: Zsarnóczky Péter
Megjelent: (2000)

Axiom-based property verification for P4 programs
Szerző: Tóth Gabriella, et al.
Megjelent: (2018)

Innovative uses of programming constructs supporting aspect-oriented programming [abstract] /
Szerző: Espák Miklós
Megjelent: (2004)

Human-Readable View of Object Oriented Language Sources XMI Exporter for the Columbus Reverse Engineering Framework /
Szerző: Szúnyog Zsolt
Megjelent: (2003)

Bringing a non-object oriented language closer to the object oriented world a case study for A+.NET /
Szerző: Gál Péter, et al.
Megjelent: (2016)

Háromdimenziós objektum kitöltése tetraéderekkel
Szerző: Kothencz Dániel
Megjelent: (2006)

Fundamental concepts of object oriented databases
Szerző: Schewe Klaus-Dieter, et al.
Megjelent: (1993)

Structural views in object-oriented databases [abstract] /
Szerző: Lomic Marijana
Megjelent: (1998)

Kommunikáció elosztott objektum alapú rendszerekben
Szerző: Tankó Barnabás
Megjelent: (2004)

Másoló program
Szerző: Fodor Tünde
Megjelent: (1983)

Menütervező program
Szerző: Mayer István János
Megjelent: (1989)

Adásvezérlő program
Szerző: Török László
Megjelent: (1997)

Készletnyilvántartó program
Szerző: Schofhauser Imre
Megjelent: (2000)

Sakkozó program
Szerző: Somló Béla
Megjelent: (1977)

Using object oriented techniques at implementing compilers [abstract] /
Szerző: Porkoláb Zoltán
Megjelent: (1998)

Aspektus-orientált topológia-felderító keretrendszer
Szerző: Kasza Miklós
Megjelent: (2007)

Makroökonómia oktató program (Keynesiánus Modell)
Szerző: Juhász Csilla
Megjelent: (2003)

Aknakereső játékot megoldó program
Szerző: Mikó András
Megjelent: (1999)

Párbeszédes szövegszerkesztő program
Szerző: László Endre
Megjelent: (1984)

Platformfüggetlen képnézegető program
Szerző: Belovitz Károly
Megjelent: (2005)

Plottervezérlő emulátor program
Szerző: Sváb Tamás
Megjelent: (1989)

„LELTÁR” készletnyilvántartó program
Szerző: Szegedi László
Megjelent: (1990)