A
program specification is the definition of what a
computer program is expected to do. It can be
informal, in which case it can be considered as a blueprint or user manual from a developer point of view, or
formal, in which case it has a definite meaning defined in mathematical or programmatic terms.
See also:
All Wikipedia text
is available under the
terms of the GNU Free Documentation License