Varga László: Programok analízise és szintézise (Budapest, 1981)
VARGA LÄSZLÖ Programok analízise és szintézise 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 anyaga 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. AKADÉMIAI KIADÓ BUDAPEST