Programtervezés Jackson-módszerrel

Előszó

A számítástechnika máig felderítetlen területe a számítógépes rendszerek karbantartása és követése. "Fehér holló" az olyan rendszer, amelyet csak egyszeri felhasználásra készítenek. Az ötlet kipattanásától az első változat elkészüléséig generációk nőhetnek fel, az üzemeltetés évekig folyhat, miközben a világ nem marad változatlan. Ha egy programot nem módosítanak folyamatosan, akkor használata értelmét veszti, meghal. A másik oldalról nézve ugyanezt, a folyamatos módosítás igénye éppen azt mutatja, hogy a rendszerrel elégedettek, alkalmazzák.
Michael Jackson egy olyan tervezési módszert vezetett be, amely könnyen módosítható, karbantartható programok készítését tűzte ki célul. A Jackson-módszer eredetileg információs rendszerek, adatfeldolgozási feladatok programjainak készítésére szolgált. A könyv megírásának célja a módszer alapjainak bemutatásán kívül az volt, hogy alkalmazhatóságát kiterjessze a rendszerprogramok egy széles osztályára (fordítók, editorok, processzek), valamint független komponensekből álló nagy rendszerek készítésére is. Emiatt kerültek be a rekurzív adatszerkezetek, használtuk fel a véges állapotú automaták elméletét (formalizmusuk nélkül) főleg a nemdetermisztikus adatszerkezeteknél, és próbáltuk az eredetileg monolit programozást segítő Jackson-módszert a felülről lefelé haladó tervezéssel összekapcsolni. Vissza