Specifikáció részei

1. a feladat specifikálása:
• a feladat szövege,
• a bemenő és a kimenő adatok elnevezése értékhalmazának leírása,
• a feladat szövegében használt fogalmak definíciói,
• a bemenő adatokra felírt előfeltétel,
• a kimenő adatokra felírt utófeltétel
2. A program specifikálása:
• (a feladat elő-, illetve utófeltételétől esetleg különböző) program elő- és utófeltétele,
• a program környezetének leírása (számítógép, memória- és perifériaigény, programozási nyelv, s annak esetleges változata, szükséges file-ok stb.)
• a programmal szembeni követelmények (minőség, hatékonyság, hordozhatóság stb.).