Formal specification

from Wikipedia, the free encyclopedia

A formal specification is the description of a computer program using a notation whose semantics are clearly defined (a so-called formal language ). The aim is the formalized, precise description of the task to be solved in a consistent and closed model in order to process it further.

With the help of additional tools, compliance with the rules of formal language and the integrity of the model can be checked. Other tools can transform the model into other formal languages, e.g. B. Programming languages , which in turn can be translated with compilers into machine code that can be executed on computers .

The Z notation is an example of a formal specification language . Others are the Specification Language (VDM-SL) of the Vienna Development Method and the Abstract Machine Notation (AMN) of the B method .

Web links