constructive specification
constructive specification A particular approach to writing abstract specifications for programs, modules, or data types. Systems are modeled using representations for the data items involved, in terms of basic set-theory constructs such as sets, functions, relations, and sequences. The operations involved are then defined at this level of abstraction, typically by giving preconditions and postconditions for each operation. An implementation of the specification would involve replacing the set-theory constructs by lower-level ones, while preserving the meaning expressed by the specification. Although using abstract set theory, a constructive specification does give explicit constructions for the data and explicit definitions for the operations; it therefore contrasts with axiomatic specification, in which the representations are not prescribed. Widely used constructive specification formalisms are VDM and the specification language Z.
More From encyclopedia.com
Specific Yield , specific yield construct , con·struct • v. / kənˈstrəkt/ [tr.] build or erect (something, typically a building, road, or machine). ∎ form (an idea or theory) by bringing togeth… Specific , spe·cif·ic / spəˈsifik/ • adj. 1. clearly defined or identified: increasing the electricity supply only until it met specific development needs. ∎ pr… Specific Gravity , specific gravity (sp. gr.) The ratio of the weight of a substance to the weight of an equal volume of water, expressed as a number. For example, the… George Alexander Kelly , Kelly, George Alexander
Kelly, George Alexander
1905–1967
AMERICAN CLINICAL PSYCHOLOGIST, UNIVERSITY PROFESSOR
UNIVERSITY OF IOWA, Ph.D., 1931
BRIEF… Constructive , con·struc·tive / kənˈstrəktiv/ • adj. 1. serving a useful purpose; tending to build up: constructive criticism. 2. Law derived by inference; implied…
You Might Also Like
NEARBY TERMS
constructive specification