A programhelyesség bizonyításának módszerei VDL programok vertifikálása

QR kód

A programhelyesség bizonyításának módszerei VDL programok vertifikálása

Elmentve itt :

Bibliográfiai részletek
Szerző:	Krasnyánszki Kálmán
További közreműködők:	Siklósi István (Témavezető) Tóth Péter (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1976
Tárgyszavak:	Informatika Computer and information sciences
Online Access:	http://diploma.bibl.u-szeged.hu/3882

Hasonló tételek

Tétel és programhelyesség bizonyítás
Szerző: Szabó István
Megjelent: (1976)

Tétel- és programhelyesség bizonyítás
Szerző: Borbély József
Megjelent: (1977)

A Basic 1010B nyelv leírása VDL-ben és a BASIC rendszer bővítése
Szerző: Szirbik Mária
Megjelent: (1974)

Programok párhuzamos végrehajtásának formális leírása VDL segítségével
Szerző: Füvesi István
Megjelent: (1981)

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

Programok viselkedésének empirikus vizsgálata
Szerző: Tóth Judit
Megjelent: (1980)

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

Személyi számítógépes programok a középiskolai oktatásban
Szerző: Nagy Zoltán
Megjelent: (1984)

Célorientált nyelveket definiáló, alkalmazó CHANGE programok.
Szerző: Szikszai Katalin
Megjelent: (1983)

A tesztelemzés módszerei és számítógépes megvalósításuk
Szerző: Simon Lajos
Megjelent: (1997)

Pozitív definit mátrixú lineáris egyenletrendszer lineáris módszerei
Szerző: Tóth Erzsébet
Megjelent: (1979)

A prímszámtétel bizonyításának története
Szerző: Szabó Lilla
Megjelent: (2014)

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

A lineáris programozás fejlettebb módszerei
Szerző: Litvai György
Megjelent: (2007)

CHANGE nyelvű programok fordítása INTEL-8080 Assembly-re, CHANGE tesztprogramok
Szerző: Török Zoltán
Megjelent: (1983)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

A Man Machine Interface programok megismerése, applikáció készítése az InTouch MMI program segítségével
Szerző: Szabó Csilla
Megjelent: (1996)

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)

Általános karbantartási terv készítése a Dunai Vasmű számára a PERT hálótervezéses módszerrel ESZR-1020 számítógépre programok írása
Szerző: Bognár Ilona
Megjelent: (1975)

A programozás oktatásának modern módszerei
Szerző: Gyekiczki Balázs
Megjelent: (2020)

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

OMSI Pascal-2 V 2.0/RSX fejlesztői környezetben készült Pascal programok konvertálása Turbo-Pascal 3.0/DOS környezetbe
Szerző: Tóthné Bobonka Magdolna
Megjelent: (1989)

OCR programok működései és hibái
Szerző: Dinnyés Dávid
Megjelent: (2023)

CORBA Osztott számítást végző programok fejlesztése /
Szerző: Pletyák Attila
Megjelent: (2001)

Az automatizált adat halászat módszerei
Szerző: Kelemen Szabolcs
Megjelent: (2019)

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

Az újszülöttek sérelmére elkövetett emberölések felderítésének és bizonyításának problémái
Szerző: Kőrösi János
Megjelent: (1984)

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

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

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)

Piacszimuláció és valóság
Szerző: Kálmán György
Megjelent: (1995)

Sejtalgoritmusok tervezése és szimulációja
Szerző: Palágyi Kálmán
Megjelent: (1982)

Kétállapotú sejtprocesszorok programozása
Szerző: Palágyi Kálmán
Megjelent: (1984)

Helyesírás ellenőrző
Szerző: Horváth Kálmán
Megjelent: (1990)

Vezeték nélküli szenzorhálózatok alkalmazása
Szerző: Kálmán Kornél Dávid
Megjelent: (2012)

Görbeanalízissel kapcsolatos programok kidolgozása
Szerző: Salamon Klára
Megjelent: (1975)

Számítógép algebrai programok alkalmazása a matematikában
Szerző: Fazekas Judit
Megjelent: (2004)