A specification language is a formal language used in computer science.

A combined programming and specification language, connected to a powerful formal proof system, will generally be required for full verification of non-trivial programs.

The Z notation is an example of a leading formal specification language.

Several formal specification languages include set theory notation using special characters.

In computer science this is referred to as the specification language.

Backus-Naur Form was one of the earliest used specification languages.

Hartmann pipelines may thus be considered as an executable specification language.

Reynolds's main research interest was in the area of programming language design and associated specification languages, especially concerning formal semantics.

This structure was designed to facilitate specification of different areas of case law using a specification language.

The book provides extensive definitions of the terms which compose this specification language.