Tags: Programming Language.
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.Specification languages are generally not directly executed. They are meant to describe the what not the how. Indeed it is considered as an error if a requirement specification is cluttered with unnecessary implementation detail.