Programtervezésnél a specifikáció az analízis alatt jön létre és a tervezés közben teljesedik ki, vagy csak a tervezés folyamata hozza létre a specifikációt?

Olyan van, hogy követelmény analízis és specifikáció.

A követelmény analízisnél tervezed meg, hogy milyen programnyelvben implementálod majd a programot (pl. egy weboldalt php-ban, nem pedig c++-ban csinálsz), és hogy mikre van szüksége a programnak a futáshoz (pl. webszerver, 7-es verziójú php mcrypt kiterjesztéssel, mysql adatbázis).

Ezután a specifikációban tervezed meg magát a programot. Milyen funkció lesznek, hogyan fog kinézni a GUI és hasonlók.