- program specification
- программная спецификация (техническое описание программы)
Большой англо-русский и русско-английский словарь. 2001.
program specification
Смотреть что такое "program specification" в других словарях:
program specification — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f … Automatikos terminų žodynas
program specification — programos specifikacija statusas T sritis informatika apibrėžtis Aprašymas to, ką programa daro arba turi daryti. Gali būti neformali (nusakomoji) arba formali. Neformali skirta žmogui, kad jis žinotų, kokius rezultatus turi duoti programa ir iš… … Enciklopedinis kompiuterijos žodynas
Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… … Wikipedia
spécification du programme — programos specifikacija statusas T sritis automatika atitikmenys: angl. program specification vok. Programmbeschreibung, f; Programmkenndaten; Programmspezifikation, f rus. спецификация программы, f pranc. spécification du programme, f … Automatikos terminų žodynas
Specification (disambiguation) — Specification may refer to several different concepts: * Specification (technical standard) an explicit set of requirements * Specification (legal concept) a legal concept of Roman Law * Specification (regression) refers to the practice of… … Wikipedia
specification — spec i*fi*ca tion (sp[e^]s [i^]*f[i^]*k[=a] sh[u^]n), n. [Cf. F. sp[ e]cification, LL. specificatio.] 1. The act of specifying or determining by a mark or limit; notation of limits. [1913 Webster] This specification or limitation of the question… … The Collaborative International Dictionary of English
Program synthesis — comprises a range of technologies for the automatic generation of executable computer programs from high level specifications of their behaviour. In contrast to compilation, the specifications are usually non algorithmic.The idea originated in… … Wikipedia
Program Composition Notation — (PCN) is a specification notation for building up larger programs from smaller modules or programs (usually written in C or Fortran). Efficient parallel programming is at the heart of PCN. Larger composed programs are intended to execute… … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Specification language — A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis,… … Wikipedia
Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf … Wikipedia
