Specifikacija programa
Specifikacija programa je definicija namjene i načina rada računalnog programa, koja može biti formalna ili informalna. Predstavlja nacrt ili plan koji programer treba izvesti, i važan je dio u razvoju softvera posebno za visoko složene ili kritične sustave.