A programozási módszertan elmélete II.

Újságpapírból készült csomagolásban, a hátsó borító alatt ceruzával kézírás látható. 10 fekete-fehér ábrával illusztrálva. Kézirat. Tankönyvi szám: J 3-1304. A könyv 533 példányban jelent meg. TARTALOM Szekvenciális programok funkcionális tulajdonságainak analízise 3 A programhelyesség alapfogalmai 4 A programhelyesség bizonyításának rendszere 5 Szekvenciális programok verifikációs módszerei 10 Invariáns állítások módszere Floyd-módszer 10 Részcélokra vonatkozó állítások módszere Manna-féle részcél módszer 32 A Hoare-féle deduktív módszer 38 Strukturális indukciós módszer Burstall-módszer 62 A teljes helyesség bizonyításának Hoare-módszere 81 Kézi, automatikus és programmal támogatott módszerek 89 A módszerek összefoglaló értékelése 91 Feladatok 93 Nem szekvenciális programok analízise 99 Párhuzamos programok speciális tulajdonságai 100 Nem determinisztikus programok helyességének bizonyítása 106 Párhuzamos programok bizonyításának Owicki-Gries-féle módszere 121 Feladatok 134 Programszintézis 137 A programszintézis alapelvei 138 Strukturált programok szintézise 140 Absztrakt algoritmusok szintézise 165 Egy gráfbejáró absztrakt algoritmus szintézise 170 Konkrét gráfbejáró algoritmusok származtatása 179 A programszintézis összefoglaló értékelése 182 Feladatok 183 Irodalom 185