Science Fair Project Encyclopedia
Program specification
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 methods
- Formal verification
- formal specification
- program transformation
- denotational semantics
- Design by Contract
- B specification language
- Z specification language
- Vienna Development Method
- specification language
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


