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:
Model-based specification
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Computer science concept
Property
Value
dbo:
description
computer science concept
(en)
dbo:
wikiPageWikiLink
dbc
:Formal_specification
dbr
:Formal_specification
dbr
:Z_notation
dbc
:Formal_methods
dbr
:Function_(mathematics)
dbr
:Set_theory
dbr
:Model-based_testing
dbr
:Algebraic_specification
dbr
:Model-based_design
dbr
:System_model
dbr
:VDM_specification_language
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:More_citations_needed
dbt
:Short_description
dct:
subject
dbc
:Formal_specification
dbc
:Formal_methods
gold:
hypernym
dbr
:Approach
rdfs:
label
Model-based specification
(en)
owl:
sameAs
freebase
:Model-based specification
yago-res
:Model-based specification
wikidata
:Model-based specification
dbpedia-global
:Model-based specification
prov:
wasDerivedFrom
wikipedia-en
:Model-based_specification?oldid=1070084000&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Model-based_specification
is
dbo:
wikiPageWikiLink
of
dbr
:Formal_specification
dbr
:Specification_language
dbr
:Fuzzing
is
foaf:
primaryTopic
of
wikipedia-en
:Model-based_specification
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International