answersLogoWhite

0


Best Answer

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 systems analysis, requirements analysis and systems 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.

A common fundamental assumption of many specification approaches is that programs are modelled as algebraic or model-theoretic structures that include a collection of sets of data values together with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all its other properties.

In the property-oriented approach to specification (taken e.g. by CASL), specifications of programs consist mainly of logical axioms, usually in a logical system in which equality has a prominent role, describing the properties that the functions are required to satisfy - often just by their interrelationship. This is in contrast to so-called model-oriented specification in frameworks like VDM and Z, which consist of a simple realization of the required behaviour.

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 pipelines, 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 proofs of program correctness (see theorem prover).

Languages
  • CASL
  • VDM
  • Z notation
  • LePUS3 (a visual, object-oriented design description language)
  • Perfect

Kumud Patel +919999659026, +917677788016

User Avatar

Wiki User

13y ago
This answer is:
User Avatar

Add your answer:

Earn +20 pts
Q: What are specification languages. Give an example?
Write your answer...
Submit
Still have questions?
magnify glass
imp
Related questions

'explain specification and implementation of enumerations with example in principle of programming languages by ravi sethi?

karika sethi karika sethi


Can you give me an example of table of specification in filipino?

You can find some pictures of this online. There would be diagrams and other examples in an image search.


What is an example of specification?

a special training


What is the difference between particular specification and general specification?

General Specifications•General specification are written•General Specification may include:General site requirement- Health and safety- Measures against environmental pollution- Security measuresParticular Specification•It contains particular specification.•Example :- Strength and other properties of steel- Strength of concrete- Specification of bricks- Specification of electrical itemsEtc.


What is the different between General Specifications and particular specification?

General Specifications•General specification are written•General Specification may include:General site requirement- Health and safety- Measures against environmental pollution- Security measuresParticular Specification•It contains particular specification.•Example :- Strength and other properties of steel- Strength of concrete- Specification of bricks- Specification of electrical itemsEtc.


What is the meaning of a tag and give an example?

tags are the basic formatting tools used in HTML and in other mark up languages.


What is common language specification in .net?

The Common Language Specification (CLS) is a set of rules that .NET languages follow to ensure compatibility and interoperability. It defines a common subset of features that language designers must adhere to in order to allow different .NET languages to communicate with each other. By following the CLS, developers can create libraries that can be used across different .NET languages.


What meaning by the terms 'member function'and give example?

In object-oriented programming languages, a member function is one which belongs to a class.


What are the 5 categories of computer languages Give an example of each?

The five main categories of computer languages are "general purpose languages (C++, Java, C#, Smalltalk), scripting languages (Perl, Python), Web-based languages (Javascript, PHP, Curl), functional languages (ML, Haskell), and AI languages (Common Lisp, Prolog)." Source: Big C++, by Horstmann and Bud


What is interpration?

What is the main difference between compilation and interpretation? Give an example of languages of compilation and interpretation respectively.


What is animal specification?

Specification of animals.


What does give with faith do not give without faith mean in Hinduism?

faith refers to dharmik in Hindu languages. Also without faith means nastik in Hindu languages.