Specification language

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Specification language" – news · newspapers · books · scholar · JSTOR (August 2016) (Learn how and when to remove this message)

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]