|
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, requirements analysis and design. In mathematics, logic and computer science, a formal language is a set of finite-length words (i. ...
Computer science is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. ...
Computer code (HTML with JavaScript) in a tool that uses syntax highlighting (colors) to help the developer see the purpose of each piece of code. ...
System analysis is the branch of electrical engineering that characterizes electrical systems and their properties. ...
Requirements analysis, in software engineering, is a term used to describe all the tasks that go into the instigation, scoping and definition of a new or altered computer system. ...
Usually considered in the context of the applied arts, engineering, architecture, and other such creative endeavours, design is used as both a noun and a verb. ...
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 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. A Hartmann pipeline is an extension of the Unix pipeline concept, providing for more complex paths, multiple input/output streams, and other features. ...
Dataflow is a term used in computing, and may have various shades of meaning. ...
In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation. ...
An important use of specification languages is enabling the creation of proofs of program correctness (see theorem prover). Look up Proof on Wiktionary, the free dictionary The word proof can mean: Shit and wanker originally, a test assessing the validity or quality of something. ...
In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. ...
Automated theorem proving (currently the most important subfield of automated reasoning) is the proving of mathematical theorems by a computer program. ...
Specification languages
In computer science, the Actor model, first published in 1973, is a mathematical model of concurrent computation. ...
The Alloy specification language is a simple structural modelling tool based on first-order logic. ...
B is a specification language used in the development and analysis of computer software. ...
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. ...
In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. ...
Extended ML is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. ...
The Java Modeling Language (JML) follows the design by contract paradigm. ...
Object-Z is an object-oriented extension to Z developed at the University of Queensland. ...
Planguage is a specification language and a set of related methods for systems engineering. ...
SDL (short for Specification and Description Language) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. ...
The Unified Modeling Language (UML) is a non-proprietary, object modeling and specification language used in software engineering. ...
VDM Specification Language (VDM-SL) is a model-oriented specification language, upon which the Vienna Development Method for computer software is based. ...
The Z notation (universally pronounced zed) is a formal specification language used for describing and modelling computing systems. ...
A Hartmann pipeline is an extension of the Unix pipeline concept, providing for more complex paths, multiple input/output streams, and other features. ...
See also - Language-independent specification
|
Feeds |
Contact