| Specification Language |
Article Index for Specification |
Shopping Specification |
Website Links For Specification |
Information AboutSpecification Language |
| CATEGORIES ABOUT SPECIFICATION LANGUAGE | |
| specification languages | |
| software engineering | |
| technical communication | |
|
Unlike most Programming Language s, which are directly executable formal languages used to implement a system, specification languages are used during System Analysis , Requirements Analysis and Design . Specification languages are generally not directly executed. They describe the system at a much higher level than a programming language. Indeed, it is considered as an error if a requirement specification is cluttered with unnecessary implementation detail, because the specification is meant to describe the ''what'', not the ''how''. Specifications must be subject to a process of ''refinement'' (the filling-in of implementation detail) before they can actually be implemented. The result of such a refinement process is an executable algorithm, which is either formulated in a programming language, or in an executable subset of the specification language at hand. For example, Hartmann Pipeline s, when properly applied, may be considered a Dataflow specification which ''is'' directly executable. Another example is the Actor Model which has no specific application content and must be ''specialized'' to be executable. An important use of specification languages is enabling the creation of Proof s of Program Correctness (see Theorem Prover ). SPECIFICATION LANGUAGES
SEE ALSO |
|
|