specification language - meaning and definition. What is specification language
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is specification language - definition


Specification language         
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.Joseph Goguen
IMPlementation language         
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
<language> (IMP) An extension of B with floating-point operations, developed by W. Davidsen at General Electric in 1970 for the GE 600. It was also cross-compiled to VAX and Intel 8080. (1996-04-07)
Programming language specification         
DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE
Language specification
In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.