axiomatic specification
axiomatic specification A particular approach to writing abstract specifications for programs, modules, or data types. What distinguishes this approach is the fact that specifications are expressed purely in terms of the effects of operations characteristic of the system, and not in terms of their implementations or of the particular representation of any data involved. A specification in this style consists of a collection Σ of operation names, together with a collection T of axioms that express how these operations combine with each other. The operation names can be thought of as comprising a signature, and the axioms are written in a formal logical language over the signature, such as first-order logic; thus T could be a first-order theory over Σ. An implementation of the operation names can be thought of as an algebra over that signature, satisfying the axioms. See also formal specification. Compare constructive specification.
More From encyclopedia.com
Specific Yield , specific yield Operator , op·er·a·tor / ˈäpəˌrātər/ • n. 1. a person who operates equipment or a machine: a radio operator. ∎ (usu. the operator) a person who works for a tele… Operation , operation
1. A function from Sm (see Cartesian product) into S itself, where S is some set specific to the function. Such a function is usually refer… 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… Asynchronous , a·syn·chro·nous / āˈsingkrənəs/ • adj. 1. Comput. & Telecommunications of or requiring a form of computer control timing protocol in which a specific…
You Might Also Like
NEARBY TERMS
axiomatic specification