Specification language
Formal language used in computer science / From Wikipedia, the free encyclopedia
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.[1]
This article needs additional citations for verification. (August 2016) |