Ebben az informatikus hallgatóknak szánt egyetemi jegyzetben egy olyan programtervezési módszert ismerhetünk meg, amelyik a megoldandó feladat elemzéséből indul ki, élesen elválasztja a program tervezését a terv megvalósításától, és a tervezés során algoritmus mintákra, az úgynevezett programozási tételekre támaszkodik. A programozási tételek felhasználása nem algoritmikus újragondolással, hanem egy sajátos módszerrel, a visszavezetéssel történik, amelynek megfelelő alkalmazása garantálja az előállított program helyességét.
A könyv elsősorban ennek a visszavezetésnek a gyakorlati alkalmazására fókuszál. Számos példán keresztül mutatja be azt a folyamatot, ahogyan egy feladathoz algoritmusminták alapján készítjük el az azt megoldó absztrakt programot, amelyet aztán tetszés szerinti programozási környezetben lehet majd megvalósítani. A könyv nemcsak az úgynevezett procedurális elvű programok készítésére tér ki, hanem a korszerű adattípus fogalmának bevezetésével az adattípusközpontú, más néven objektumelvű programok tervezésére is. A könyvben lefedett témakör szerves részét képezi az ELTE IK programtervező informatikus alapszak programozásoktatásának. Hivatalos jegyzete a Programozás c. tantárgynak, de jól illeszkedik mind a programozáselméletet tárgyaló, mind a nagy szoftverek tervezését célul kitűző, mind a programok megvalósításával, konkrét alkalmazások készítésével foglalkozó tantárgyak tematikáihoz is.
A kötet adatai:
Kötés: kartonált
Megjelenés éve: 2013
Terjedelem: 358 oldal