Program specification
Appearance
In computer science, a program specification is a list of requirements written for a computer program. The program specification is written before a computer scientist makes the program. Then, after the computer scientist makes the program, she must check that the program agrees with the requirements in the specification.