specification language

A specification language is a formal language used in computer science. Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during system analysis and design. Specification languages 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. An important use of specification languages is enabling the creation of proofs of program correctness (see theorem prover).

Specification languages

<< Previous

Word Browser

Next >>

legal instruments of jehovah's witnesses
memento pattern
abbey road
charles montagu, 1st earl of halifax
geoff emerick
naphtali daggett
lien chan
isotropic antenna
al hakim mosque
legislative yuan
fiber

national assembly
marx
b specification language
atoll programming language
access query language
bs2000
siemens nixdorf informationssysteme
bugsys
tutchone language
basic encoding rules
packed encoding rules

canonical encoding rules
vienna development method
vdm specification language
pittsburgh english
z simulation language
z plus plus
assignment problem
world customs organization
lord haw haw
radio hamburg
basidium

hillsong church
boyoma falls
lasagne
randy turpin
belzec extermination camp
mudbrick
plano convex
postman pat
tropopause
the ed sullivan show
patpong