Formal Specification: These specifications exist to satisfy predefined properties of a device or program. The word 'formal' in Computer Science is referring to the act of being 'precise'. It takes three language components to make a specification 'formal'. 1) Syntax

 

Related Words

Formal Specification: These specifications exist to satisfy predefined properties of a device or program. The word 'formal' in Computer Science is referring to the act of being 'precise'. It takes three language . . . View Full Definition

Manufacturers Specifications: The written installation and/or maintenance instructions which are developed by the manufacturer of a product and which may have to be followed in order to maintain the product warrantee.

Specifications Or Specs: A narrative list of materials, methods, model numbers, colors, allowances, and other details which supplement the information contained in the blue prints. Written elaboration in specific de . . . View Full Definition

Formalism: Tendency to elevate formal above expressive value in music, as in Neoclassical music.

Urea-Formaldehyde: First used in building materials, particularly insulation, in the 1970s. Gases leak out of the urea-formaldehyde foam insulation (UFFI) as it hardens and become trapped in the interior of a . . . View Full Definition

Formaldehyde: A colorless, pungent, and irritating gas, used chiefly as a disinfectant and preservative and in synthesizing other compounds like resins.

Extended Memory Specification (XMS): A procedure developed jointly by AST Research, Intel Corporation, Lotus Development, and Microsoft Corporation, for using extended memory and DOS’s high memory area, a 64K block just above 1MB.

Formal Thought Disorder: An inexact term referring to a disturbance in the form of thinking rather than to abnormality of content. See blocking; loosening of associations; poverty of speech.

Data Over Cable Service Interface Specification (DOCSIS): This is a cable modem standard that was developed by CableLabs. It handles the incoming and outgoing data signals between cable TV networks, personal computers or television sets.