higher-order software

higher-order software

[¦hī·ər ‚ȯr·dər ′sȯft‚wer] (computer science) Software for designing and documenting an information system by decomposing the system into elementary components that are mathematically correct and error-free. Abbreviated HOS.