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
:Systems_analysis
dbr
:Algebra
dbc
:Formal_specification
dbr
:Formal_specification
dbr
:Z_notation
dbr
:Function_(mathematics)
dbr
:Mathematical_proof
dbc
:Computer_languages
dbr
:Set_(mathematics)
dbr
:Systems_design
dbr
:Alloy_(specification_language)
dbr
:Logical_system
dbr
:Formal_language
dbr
:Vienna_Development_Method
dbr
:Programming_language
dbr
:B-Method
dbr
:MML_(programming_language)
dbr
:Axiom
dbr
:Computer_science
dbr
:Requirements_analysis
dbr
:Dataflow
dbr
:Attempto_Controlled_English
dbr
:Hartmann_pipeline
dbr
:Model_theory
dbr
:Actor_model
dbc
:Scientific_modelling
dbc
:Specification_languages
dbr
:Unified_Modeling_Language
dbr
:Common_Algebraic_Specification_Language
dbr
:Perfect_Developer
dbr
:ANSI/ISO_C_Specification_Language
dbr
:Language-independent_specification
dbr
:Model-based_specification
dbr
:Automated_theorem_prover
dbr
:Language_Of_Temporal_Ordering_Specification
dbr
:SequenceL
dbr
:E-LOTOS
dbr
:Specification_and_Design_Language
dbr
:TLA+
dbr
:Symbolic_Model_Verification
dbr
:Program_correctness
dbr
:Lepus3
dbp:
wikiPageUsesTemplate
dbt
:Computer_language
dbt
:Reflist
dbt
:Div_col
dbt
:Commonscatinline
dbt
:Main_article
dbt
:Refimprove
dbt
:Short_description
dct:
subject
dbc
:Formal_specification
dbc
:Computer_languages
dbc
:Scientific_modelling
dbc
:Specification_languages
gold:
hypernym
dbr
:Language
rdfs:
label
Specification language
(en)
لغة المواصفات
(ar)
Llenguatge d'especificació
(ca)
Γλώσσα προδιαγραφών
(el)
Lenguaje de especificación
(es)
Langage de spécification
(fr)
Linguaggio di specifica
(it)
仕様記述言語
(ja)
명세 언어
(ko)
Linguagem de especificação
(pt)
Язык спецификаций
(ru)
Мови специфікацій
(uk)
规约语言
(zh)
owl:
sameAs
freebase
:Specification language
yago-res
:Specification language
wikidata
:Specification language
dbpedia-it
:Specification language
dbpedia-fr
:Specification language
dbpedia-zh
:Specification language
dbpedia-ja
:Specification language
dbpedia-pt
:Specification language
dbpedia-es
:Specification language
dbpedia-ru
:Specification language
dbpedia-ko
:Specification language
dbpedia-el
: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
:Formal_Specification_language
dbr
:Formal_specification_language
dbr
:List_of_specification_languages
dbr
:Implementation_language
dbr
:Implementation_languages
is
dbo:
wikiPageWikiLink
of
dbr
:Predicative_programming
dbr
:Cristina_Sernadas
dbr
:Fourth-generation_programming_language
dbr
:Domain-specific_language
dbr
:Formal_specification
dbr
:Z_notation
dbr
:Craig_interpolation
dbr
:Formal_methods
dbr
:Computer_language
dbr
:Rosetta-lang
dbr
:Alloy_(specification_language)
dbr
:Matthew_Hennessy
dbr
:Java_Modeling_Language
dbr
:Prototype_Verification_System
dbr
:Wide-spectrum_language
dbr
:Inter-Language_Unification
dbr
:Institution_(computer_science)
dbr
:Index_of_software_engineering_articles
dbr
:Process_Specification_Language
dbr
:CO-OPN
dbr
:MML_(programming_language)
dbr
:Pseudocode
dbr
:John_C._Reynolds
dbr
:Attempto_Controlled_English
dbr
:Julia_(programming_language)
dbr
:Specification_(disambiguation)
dbr
:Specification_and_Description_Language
dbr
:Rigorous_Approach_to_Industrial_Software_Engineering
dbr
:Hardware_description_language
dbr
:Advanced_Library_Format
dbr
:IPTSCRAE
dbr
:ISO/IEC_JTC_1/SC_22
dbr
:Social_Semantic_Web
dbr
:Wil_van_der_Aalst
dbr
:List_of_University_of_Central_Florida_faculty_and_administrators
dbr
:Extended_ML
dbr
:Common_Algebraic_Specification_Language
dbr
:List_of_programming_language_researchers
dbr
:Perfect_Developer
dbr
:EML_programming_language
dbr
:Andrew_D._Gordon
dbr
:Assertion_definition_language
dbr
:Language-independent_specification
dbr
:Larch_family
dbr
:Shyster_(expert_system)
dbr
:Gary_T._Leavens
dbr
:Language_Of_Temporal_Ordering_Specification
dbr
:E-LOTOS
dbr
:S/SL_programming_language
dbr
:Z++
dbr
:Maplet
dbr
:Formal_Specification_language
dbr
:Formal_specification_language
dbr
:List_of_specification_languages
dbr
:Implementation_language
dbr
:Implementation_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