This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Fuzzing
dbo:wikiPageWikiLink
dbr:Model-based_specification
Subject Item
dbr:Specification_language
dbo:wikiPageWikiLink
dbr:Model-based_specification
Subject Item
dbr:Formal_specification
dbo:wikiPageWikiLink
dbr:Model-based_specification
Subject Item
dbr:Model-based_specification
rdf:type
yago:Ability105616246 yago:Know-how105616786 dbo:ProgrammingLanguage yago:Abstraction100002137 yago:Method105660268 yago:Cognition100023271 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods
rdfs:label
Model-based specification
rdfs:comment
Model-based specification is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well-understood mathematical entities such as sets and functions. System operations are specified by defining how they affect the state of the system model. The most widely used notations for developing model-based specifications are VDM and Z (pronounced Zed, not Zee). These notations are based on typed set theory. Systems are therefore modelled using sets and relations between sets.
dcterms:subject
dbc:Formal_methods dbc:Formal_specification
dbo:wikiPageID
24392919
dbo:wikiPageRevisionID
1070084000
dbo:wikiPageWikiLink
dbr:Formal_specification dbc:Formal_methods dbr:Function_(mathematics) dbr:Algebraic_specification dbr:System_model dbc:Formal_specification dbr:Z_notation dbr:VDM_specification_language dbr:Model-based_testing dbr:Set_theory dbr:Model-based_design
owl:sameAs
yago-res:Model-based_specification freebase:m.07s6whv wikidata:Q6888136 n18:4rXqP
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Short_description dbt:More_citations_needed
dbo:abstract
Model-based specification is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well-understood mathematical entities such as sets and functions. System operations are specified by defining how they affect the state of the system model. The most widely used notations for developing model-based specifications are VDM and Z (pronounced Zed, not Zee). These notations are based on typed set theory. Systems are therefore modelled using sets and relations between sets. Another well-known approach to formal specification is algebraic specification.
gold:hypernym
dbr:Approach
prov:wasDerivedFrom
wikipedia-en:Model-based_specification?oldid=1070084000&ns=0
dbo:wikiPageLength
2426
foaf:isPrimaryTopicOf
wikipedia-en:Model-based_specification
Subject Item
wikipedia-en:Model-based_specification
foaf:primaryTopic
dbr:Model-based_specification