Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Specification language
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Formal language used in computer science
Property
Value
dbo:
description
Art von Computersprache
(de)
lenguaje formal utilizado en las ciencias de la computación
(es)
formal language used in computer science
(en)
tipo di linguaggio informatico
(it)
type de langage informatique
(fr)
dbo:
wikiPageWikiLink
dbr
:Model_theory
dbr
:ANSI/ISO_C_Specification_Language
dbr
:Algebra
dbr
:Computer_science
dbr
:Function_(mathematics)
dbr
:Programming_language
dbr
:Systems_design
dbr
:MML_(programming_language)
dbc
:Specification_languages
dbr
:Axiom
dbr
:Formal_language
dbr
:Mathematical_proof
dbr
:Dataflow
dbr
:Vienna_Development_Method
dbr
:Formal_specification
dbr
:Set_(mathematics)
dbr
:Requirements_analysis
dbr
:Alloy_(specification_language)
dbr
:Actor_model
dbr
:TLA+
dbr
:Unified_Modeling_Language
dbr
:Z_notation
dbr
:SequenceL
dbc
:Computer_languages
dbr
:Attempto_Controlled_English
dbr
:Systems_analysis
dbr
:B-Method
dbr
:Model-based_specification
dbr
:Language-independent_specification
dbr
:Perfect_Developer
dbr
:Common_Algebraic_Specification_Language
dbc
:Formal_specification
dbc
:Scientific_modelling
dbr
:Logical_system
dbr
:E-LOTOS
dbr
:Specification_and_Design_Language
dbr
:Hartmann_pipeline
dbr
:Language_Of_Temporal_Ordering_Specification
dbr
:Program_correctness
dbr
:Automated_theorem_prover
dbr
:Symbolic_Model_Verification
dbr
:Lepus3
dbp:
wikiPageUsesTemplate
dbt
:Computer_language
dbt
:Commonscatinline
dbt
:Div_col
dbt
:Main_article
dbt
:Refimprove
dbt
:Reflist
dbt
:Short_description
dct:
subject
dbc
:Specification_languages
dbc
:Computer_languages
dbc
:Formal_specification
dbc
:Scientific_modelling
gold:
hypernym
dbr
:Language
rdfs:
label
Specification language
(en)
Llenguatge d'especificació
(ca)
لغة المواصفات
(ar)
Γλώσσα προδιαγραφών
(el)
Langage de spécification
(fr)
Lenguaje de especificación
(es)
Linguaggio di specifica
(it)
명세 언어
(ko)
仕様記述言語
(ja)
Linguagem de especificação
(pt)
Язык спецификаций
(ru)
Мови специфікацій
(uk)
规约语言
(zh)
owl:
sameAs
yago-res
:Specification language
freebase
:Specification language
wikidata
:Specification language
dbpedia-es
:Specification language
dbpedia-it
:Specification language
dbpedia-fr
:Specification language
dbpedia-ja
:Specification language
dbpedia-pt
:Specification language
dbpedia-ru
:Specification language
dbpedia-zh
:Specification language
dbpedia-el
:Specification language
dbpedia-ko
:Specification language
dbpedia-ca
:Specification language
dbpedia-ar
:Specification language
dbpedia-kk
:Specification language
dbpedia-uk
:Specification language
dbpedia-global
:Specification language
prov:
wasDerivedFrom
wikipedia-en
:Specification_language?oldid=1290092609&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Specification_language
is
dbo:
academicDiscipline
of
dbr
:Wil_van_der_Aalst
is
dbo:
wikiPageDisambiguates
of
dbr
:Specification_(disambiguation)
is
dbo:
wikiPageRedirects
of
dbr
:Implementation_language
dbr
:Implementation_languages
dbr
:Formal_Specification_language
dbr
:Formal_specification_language
dbr
:List_of_specification_languages
is
dbo:
wikiPageWikiLink
of
dbr
:Implementation_language
dbr
:Implementation_languages
dbr
:Gary_T._Leavens
dbr
:Advanced_Library_Format
dbr
:List_of_University_of_Central_Florida_faculty_and_administrators
dbr
:S/SL_programming_language
dbr
:List_of_programming_language_researchers
dbr
:Extended_ML
dbr
:Java_Modeling_Language
dbr
:Prototype_Verification_System
dbr
:ISO/IEC_JTC_1/SC_22
dbr
:EML_programming_language
dbr
:MML_(programming_language)
dbr
:Julia_(programming_language)
dbr
:John_C._Reynolds
dbr
:Andrew_D._Gordon
dbr
:Rigorous_Approach_to_Industrial_Software_Engineering
dbr
:Formal_specification
dbr
:Institution_(computer_science)
dbr
:Formal_methods
dbr
:Shyster_(expert_system)
dbr
:Wil_van_der_Aalst
dbr
:Alloy_(specification_language)
dbr
:Craig_interpolation
dbr
:CO-OPN
dbr
:Specification_and_Description_Language
dbr
:Z_notation
dbr
:Inter-Language_Unification
dbr
:Hardware_description_language
dbr
:Predicative_programming
dbr
:Process_Specification_Language
dbr
:Attempto_Controlled_English
dbr
:Computer_language
dbr
:Pseudocode
dbr
:Fourth-generation_programming_language
dbr
:Domain-specific_language
dbr
:Assertion_definition_language
dbr
:Z++
dbr
:Index_of_software_engineering_articles
dbr
:IPTSCRAE
dbr
:Rosetta-lang
dbr
:Language-independent_specification
dbr
:Social_Semantic_Web
dbr
:Larch_family
dbr
:Matthew_Hennessy
dbr
:Perfect_Developer
dbr
:Common_Algebraic_Specification_Language
dbr
:Specification_(disambiguation)
dbr
:Cristina_Sernadas
dbr
:E-LOTOS
dbr
:Wide-spectrum_language
dbr
:Language_Of_Temporal_Ordering_Specification
dbr
:Maplet
dbr
:Formal_Specification_language
dbr
:Formal_specification_language
dbr
:List_of_specification_languages
is
dbp:
subDiscipline
of
dbr
:Gary_T._Leavens
is
foaf:
primaryTopic
of
wikipedia-en
:Specification_language
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International