Jump to content

Program specification

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Dfletter (talk | contribs) at 17:31, 24 November 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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