A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe...

The Process Specification Language (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides...

Property Specification Language (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement...

systems modeling language (SysML) is a general-purpose modeling language for systems engineering applications. It supports the specification, analysis, design...

interface description languages, IDL defined interfaces in a language- and machine- independent way, allowing the specification of interfaces between...

computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a...

In computer science Language of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS...

Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of...

The Document Style Semantics and Specification Language (DSSSL) is an international standard developed to provide stylesheets for SGML documents. DSSSL...

A language-independent specification (LIS) is a programming language specification[citation needed] providing a common interface usable for defining semantics...

programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and...

The Hierarchical Music Specification Language (HMSL) is a music programming language written in the 1980s by Larry Polansky, Phil Burk, and David Rosenboom...

Partners was organized in 1996 to complete the Unified Modeling Language (UML) specification and propose it to the Object Management Group (OMG) for standardization...

/ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs...

group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which...

now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML. OCL may now be used with any Meta-Object Facility...

FizzBee is a multi-paradigm specification language that allows for transition/action based specification, behavioral specifications with non-atomic transitions...

C++, Dart, Go and Rust. IDL specification language: the original Interface Description Language IPL: Imandra Protocol Language JSON Web-Service Protocol...

in Java by Arthur van Hoff to comply strictly with the Java 1.0 language specification. With the advent of Java 2 (released initially as J2SE 1.2 in December...

service description languages: NASSL (Network Application Service Specification Language) from IBM and SDL (Service Description Language) from Microsoft....

Universal Test Specification Language (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation...

Wayback Machine UK's Safety-Critical Systems Club Comparison with a C specification language (Frama C) Tokeneer Project Page Muen Kernel Public Release LifeFlow...

The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions...

mathematical means Specification language Model specification, the practice of translating theory into a statistical model Patent specification, part of a patent...

C. Reynolds emphasizes that a formal specification language is as much a programming language as is a language intended for execution. He argues that...

machine-readable. The World Wide Web Consortium's XML 1.0 Specification of 1998 and several other related specifications—all of them free open standards—define XML....

2006. Oscar Corcho, Asuncion Gomez-Perez, A Roadmap to Ontology Specification Languages (2000) Introduction to Description Logics – DL course by Enrico...

high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification and implementation. It extends...

kind of language, and include domain-specific markup languages, domain-specific modeling languages (more generally, specification languages), and domain-specific...

illusion of being programming languages, when they are more precisely classified as specification languages or modeling languages. Simulators capable of supporting...