Jump to content

Program specification

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Anonymoues (talk | contribs) at 02:03, 27 October 2002 (fix name of VDM). 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: formal specification, program transformation, denotational semantics, Design by Contract, B specification language, Z specification language, Vienna Development Method

Retrieved from "https://en.wikipedia.org/w/index.php?title=Program_specification&oldid=387784"