specification language
1Specification language — 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,… …
2Meta-IV (specification language) — The Meta IV (pronounced like metaphor ) was an early version of the specification language of the Vienna Development Method formal method for the development of computer based systems. Contents 1 History 2 The Schools of VDM 2.1 The Danish School …
3Distributed Application Specification Language — The DASL Programming Language (Distributed Application Specification Language) is a high level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the Ace Project. The goals… …
4DASL - Distributed Application Specification Language — The DASL Programming Language (Distributed Application Specification Language) is a high level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the… …
5Common Algebraic Specification Language — The Common Algebraic Specification Language (CASL) is a general purpose specification language based on first order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework… …
6Property Specification Language — (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs. The properties can then be simulated or formally verified. Since September 2004 the standardization on the language has been done in IEEE… …
7Document Style Semantics and Specification Language — (DSSSL) is a computer language for specifying stylesheets for SGML documents, based on a subset of the Scheme programming language. It is specified by the standard ISO/IEC 10179:1996. It was developed by ISO/IEC JTC1/SC34 (ISO/IEC Joint Technical …
8Property Specification Language — Die Property Specification Language (PSL), auf Deutsch etwa Beschreibungssprache für Eigenschaften , wurde von Accellera entwickelt, um Eigenschaften oder Assertions beim Entwurf von Hardware Designs zu spezifizieren. Diese Eigenschaften können… …
9Property Specification Language — Pour les articles homonymes, voir PSL. Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM. Il a été approuvé par l’organisme Accellera en mai 2003, et par… …
10Alloy (specification language) — In computer science and software engineering, the Alloy specification language is a declarative language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on… …
