A program specification is a definition of what a computer program is expected to do [Wikipedia]. What - not how.
A program specification is a definition of what a computer program is expected to do [Wikipedia].
What - not how.