Jump to content

Specification language

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Anonymoues (talk | contribs) at 02:10, 27 October 2002 (new article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

A specification language is a formal language used in computer science. Unlike programming languages, which are directly executable formal languages used to implement a system, specification languages are used during system analysis and design. They are generally not directly executed, although research has been done in this area. They describe the system at a much higher level than a programming language, and thus must be subject to a process of refinement (the filling-in of implementation detail) before they can actually be implemented.

A important use of specification languages is enabling the creation of proofs of program correctness.

Specification languages:

Retrieved from "https://en.wikipedia.org/w/index.php?title=Specification_language&oldid=539076"