A felsőoktatás kezdő programozáskurzusain a módszeres feladatmegoldás három nagy részből
áll: 1) a feladat specifikálásából, 2) a megoldó program algoritmusából, és 3) az
algoritmus imp-lementációjából. A specifikálás során számos olyan döntést rögzítünk,
amely segít a későbbi lépések leírásához, így a specifikáció a tervezés egy kiemelten
fontos szakasza. A leíráshoz használt nyelv azonban elég nagy absztrakciót igényel,
így a gyakorlatban a feladatmegoldásnak ezen része sokszor hiányos vagy hibás. Ebben
a cikkben azt szeretnénk körüljárni, hogy milyen problémák merülnek fel a felsőoktatás
kezdő programozáskurzusain használt specifikációs lé-péssel kapcsolatban, és szeretnénk
bemutatni egy olyan eszközt, amely segíthet az előbbi prob-lémák enyhítésében, és
a specifikációt egy szintre emelheti a feladatmegoldás során az algorit-mizálási és
kódolási lépésekkel.
