0
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
Wiki User
∙ 12y ago
Add your answer:
Earn +20 pts
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 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 purpose of a design specification when designing and manufacturing a product?
Purpose of a Design Specification
What are usage areas of scripting languages?
scripting languages would be like Javascript, VBscript, and scripting languages built into programs. dont be afraid to google things like this, for example you would want to type something like the following into google: "scripting languages"
What specification specifies the function performance and interfaces associated with a product but not the explicit design and materials needed produce a product?
Design Specification
'explain specification and implementation of enumerations with example in principle of programming languages by ravi sethi?
karika sethi karika sethi
What is an example of specification?
a special training
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 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 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 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 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.
