abstract specification A specification for software expressed in a (mathematically) formal language such that the specification is completely independent of, and does not imply, any design and implementation method and languages. It does not normally express the constraints that the final software must satisfy. See also formal specification.
More From encyclopedia.com
Specific Yield , specific yield 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… Specific , spe·cif·ic / spəˈsifik/ • adj. 1. clearly defined or identified: increasing the electricity supply only until it met specific development needs. ∎ pr… Formal Language , formal language 1. A language with explicit and precise rules for its syntax and semantics. Examples include programming languages and also logics su… Antitoxin , an·ti·tox·in / ˌantēˈtäksin/ • n. Physiol. an antibody that counteracts a toxin. DERIVATIVES: an·ti·tox·ic / -sik/ adj. antitoxin Antibody produced b… Antiserum , an·ti·se·rum / ˈantiˌsi(ə)rəm/ • n. (pl. -se·ra / -ˌsi(ə)rə/ ) a blood serum containing antibodies against specific antigens, injected to treat or pr…
About this article
Updated About encyclopedia.com content Print Article
You Might Also Like
Abteilung für Psychologie und Grenzgebiete der Psychologie des Psychologischen Instituts der Universität Freiburg I. Br