Úgy tűnik, hogy a JavaScript le van tiltva, vagy nem támogatja a böngésző. Sajnáljuk, de az oldal néhány funkciójának működéséhez, többek között a rendeléshez engedélyeznie kell a JavaScript futtatását böngészőjében. Köszönjük!

Programok analízise és szintézise

Programok analízise és szintézise - Varga László - Régikönyvek
(0 vélemény)

A hatvanas évek második felében ismerték fel a kutatók, hogy a program adott specifikáció szerinti helyessége tételszerűen megfogalmazható és bebizonyítható. E felismerés alapján jött létre a programozási módszertan, amely az elmúlt tíz év folyamán a számítástudomány egyik legfontosabb fejezetévé vált. A kutatók egyre nagyobb aktivitással dolgoznak a programozási módszertan elméleti megalapozásán. A szerző ennek az elméletnek legfontosabb tételeit és módszereit kívánja eljuttatni az olvasóhoz. A könyv anyag három részből áll. Az elsőben a szerző az adatok programok szerkezetének, szerkezeti bonyolultságának elemzésével foglalkozik. A másodikban a programok logikai tulajdonságainak analizálására szolgáló legfontosabb módszereket ismerteti, külön tárgyalva azokat szekvenciális és párhuzamos programok esetén. A harmadik részben a programok szintézisével foglalkozik, azaz olyan módszereket ismertet, amelyekkel a program szövege automatikusan előállítható a program specifikációjából.

Borító tervezők:
Somlai Vilma
Kiadó:
Akadémiai Kiadó
Kiadás éve:
1981
Kiadás helye:
Budapest
Nyomda:
Akadémia Nyomda
ISBN:
9630526824
Kötés típusa:
egészvászon kiadói borítóban
Terjedelem:
303
Nyelv:
magyar
Méret:
Szélesség: 17.00cm, Magasság: 24.00cm
Súly:
0.40kg
Kategória:
Előszó 7
Matematikai alapfogalmak, jelölések 11
Adatszerkezetek analízise 19
Az adatelem és az adatszerkezet absztrakt fogalma 20
Alapobjektumok 22
Indexelt objektum, objektumhalmaz 23
Szekvenciális objektum, objektumlista 37
Láncolt objektum, objektumgráf, objektumfa, objektumlánc 40
Adatszerkezet-típusok formális definíciója 47
Feladatok 52
Programok szerkezetének analízise 54
A program matematikai fogalma 55
A program szerkezetének ábrázolása gráffal 58
A strukturált programszerkezet 63
A nem strukturáltság jellemzői 84
A program szerkezeti bonyolultsága 89
Szekvenciális nem determinisztikus és párhuzamos programszerkezetek 94
Feladatok 105
A szöveggel felírt program 109
Szekvenciális program, funkcionális rész 110
Adattípusok és deklaráció 114
Fastruktúrájú program 121
Feladatok 127
Szekvenciális programok funkcionális tulajdonságainak analízise 128
A programhelyesség alapfogalmai 129
A programhelyesség bizonyításának rendszere 130
Szekvenciális programok verifikációs módszerei 134
Invariáns állítások módszere (Floyd-módszer) 134
Részcélokra vonatkozó állítások módszere (Manna részcél-módszere) 152
Hoare deduktív módszere 158
Strukturális indukciós módszer (Burstall-módszer) 174
Kézi, automatikus és programmal támogatott bizonyítások 188
A módszerek összefoglaló értékelése 190
Feladatok 192
Nem szekvenciális programok analízise 197
Párhuzamos programok speciális tulajdonságai 198
Nem determinisztikus programok helyességének bizonyítása 203
Párhuzamos programok bizonyításának Owicki-Gried-módszere 216
Az irodalom áttekintése 225
Feladatok 226
Programok empirikus analízise 229
A programok statikus és dinamikus analízise 229
Programok kipróbálásának stratégiái 231
A próbaadatok előállítása 234
Összefoglalás és értékelés 244
Feladatok 245
Programszintézis 247
A programszintézis alapelvei 248
Strukturált programok szintézise 250
Absztrakt algoritmusok szintézise 275
Egy gráfbejáró absztrakt algoritmus szintézise 279
Konkrét gráfbejáró algoritmusok származtatása 289
A programszintézis összefoglaló értékelése 291
Feladatok 292
Irodalom 294
Névmutató 300
Tárgymutató 301

Varga László

Varga László  további könyvei

10%
Hűségpont:
 
Antikvár könyv
600 Ft 540 Ft
30%
Hűségpont:
 
Kiadás éve: 1991
Antikvár könyv
1 200 Ft 840 Ft
10%
Hűségpont:
 
Antikvár könyv
8 000 Ft 7 200 Ft
30%
Hűségpont:
 
Kiadás éve: 1977
Antikvár könyv
600 Ft 420 Ft

Az Ön ajánlója

Még nincs vélemény a könyvről, legyen Ön az első aki véleményt ír róla...