Specification language
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.
academic discipline
Wikipage disambiguates
Abstract data typeAdvanced Library FormatAlloy (specification language)Andrew D. GordonAssertion definition languageAttempto Controlled EnglishCO-OPNCommon Algebraic Specification LanguageComputer languageCraig interpolationDomain-specific languageE-LOTOSEML programming languageExtended MLFormal Specification languageFormal methodsFormal specificationFormal specification languageFourth-generation programming languageGary T. LeavensHardware description languageIPTSCRAEISO/IEC JTC 1/SC 22Index of software engineering articlesInstitution (computer science)Inter-Language UnificationJava Modeling LanguageJohn C. ReynoldsJulia (programming language)Language-independent specificationLanguage Of Temporal Ordering SpecificationLarch familyList of University of Central Florida faculty and administratorsList of specification languagesMML (programming language)MapletMatthew HennessyObject languagePerfect DeveloperPredicative programming
Link from a Wikipage to another Wikipage
primaryTopic
Specification language
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.
has abstract
A specification language is a ...... executable code for a system.
@en
En el contexto de la ingenierí ...... e en semi-formales y formales.
@es
En informàtica, un llenguatge ...... dir en formals i semi-formals.
@ca
In informatica, un linguaggio ...... riproduce i tratti essenziali.
@it
Uma linguagem de especificação ...... as da validade de um programa.
@pt
Un langage de spécification es ...... de exécutable pour un système.
@fr
Μια γλώσσα προδιαγραφών (speci ...... , μέσω ενός (theorem prover).
@el
Мови специфікацій — спеціальні ...... властивостей і самої системи.
@uk
Язык спецификаций — формальный ...... енных языков программирования.
@ru
لغة المواصفات هي لغة شكلية في ...... مجية القابلة للتنفيذ لنظام ما.
@ar
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,010,196,617
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
A specification language is a ...... executable code for a system.
@en
En el contexto de la ingenierí ...... e en semi-formales y formales.
@es
En informàtica, un llenguatge ...... dir en formals i semi-formals.
@ca
In informatica, un linguaggio ...... bbero specifiche di progetto).
@it
Uma linguagem de especificação ...... as da validade de um programa.
@pt
Un langage de spécification es ...... de exécutable pour un système.
@fr
Μια γλώσσα προδιαγραφών (speci ...... , μέσω ενός (theorem prover).
@el
Мови специфікацій — спеціальні ...... властивостей і самої системи.
@uk
Язык спецификаций — формальный ...... ации программного обеспечения.
@ru
لغة المواصفات هي لغة شكلية في ...... مجية القابلة للتنفيذ لنظام ما.
@ar
label
Langage de spécification
@fr
Lenguaje de especificación
@es
Linguagem de especificação
@pt
Linguaggio di specifica
@it
Llenguatge d'especificació
@ca
Specification language
@en
Γλώσσα προδιαγραφών
@el
Мови специфікацій
@uk
Язык спецификаций
@ru
لغة المواصفات
@ar