program specification
program specification A precise statement of the effects that an individual program is required to achieve. It should clearly state what the program is to do without making any commitment as to how this is to be done. For a program that is intended to terminate, the program specification can take the form of an input-output specification that describes the desired mapping from the set of input values to the set of output values. For cyclic programs, which are not designed to terminate, it is not possible to give a simple input-output specification; normal practice is to focus attention on the individual functions performed by the program during its cyclic operations.
For both terminating and cyclic programs a variety of notations have been employed for program specifications, ranging from natural language with embedded equations and tables to formal notations such as those based upon first-order predicate calculus.
For both terminating and cyclic programs a variety of notations have been employed for program specifications, ranging from natural language with embedded equations and tables to formal notations such as those based upon first-order predicate calculus.
More From encyclopedia.com
Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Specific Yield , specific yield Fp , FP A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed… Lisp , LISP
LISP, an acronym for LISt Processing, is a programming language developed by John McCarthy in the late 1950s. Although LISP is a general-purpose… Ada , Ada Trademark A programming language developed at the behest of the US Department of Defense for use in real-time systems containing embedded compute… Evaluation Research , BRIEF HISTORY
There is no uniformly accepted definition of what constitutes evaluation research. At perhaps its narrowest point, the field of evaluat…
You Might Also Like
NEARBY TERMS
program specification