Jump to content

Program specification

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jyril (talk | contribs) at 11:14, 4 December 2004 (compu-stub). 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