This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Specification language" – news · newspapers · books · scholar · JSTOR(August 2016) (Learn how and when to remove this message)
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.[1]
^Joseph Goguen
"One, None, A Hundred Thousand Specification Languages" Invited Paper, IFIP Congress 1986 pp 995-1004
and 21 Related for: Specification language information
A specificationlanguage is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe...
The Process SpecificationLanguage (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides...
In computer science Language of Temporal Ordering Specification (LOTOS) is a formal specificationlanguage based on temporal ordering of events. LOTOS...
Property SpecificationLanguage (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement...
Specification and Description Language (SDL) is a specificationlanguage targeted at the unambiguous specification and description of the behaviour of...
The Document Style Semantics and SpecificationLanguage (DSSSL) is an international standard developed to provide stylesheets for SGML documents. DSSSL...
/ˈzɛd/ is a formal specificationlanguage used for describing and modelling computing systems. It is targeted at the clear specification of computer programs...
interface description languages, IDL defined interfaces in a language- and machine- independent way, allowing the specification of interfaces between...
Partners was organized in 1996 to complete the Unified Modeling Language (UML) specification and propose it to the Object Management Group (OMG) for standardization...
programming, a programming languagespecification (or standard or definition) is a documentation artifact that defines a programming language so that users and...
The Common Algebraic SpecificationLanguage (CASL) is a general-purpose specificationlanguage based on first-order logic with induction. Partial functions...
C++, Dart, Go and Rust. IDL specificationlanguage: the original Interface Description Language IPL: Imandra Protocol Language JSON Web-Service Protocol...
now part of the UML standard. Initially, OCL was merely a formal specificationlanguage extension for UML. OCL may now be used with any Meta-Object Facility...
OpenAPI Specification, previously known as the Swagger Specification, is a specification for a machine-readable interface definition language for describing...
service description languages: NASSL (Network Application Service SpecificationLanguage) from IBM and SDL (Service Description Language) from Microsoft....
describe simulations Specificationlanguage – a language used to describe what a system should do Style sheet language – a computer language that expresses...
Universal Test SpecificationLanguage (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation...
worsens the situation. Specification and Description Language (SDL) is a specificationlanguage targeted at the unambiguous specification and description of...
4), sometimes referred to as USB 4.0, is the most recent technical specification of the USB (Universal Serial Bus) data communication standard. The USB...