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

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

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n13	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Model-based_specification

rdf:type

dbo:ProgrammingLanguage

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.

owl:sameAs

yago-res:Model-based_specification freebase:m.07s6whv

dbp:wikiPageUsesTemplate

dbt:More_citations_needed dbt:Reflist dbt:Short_description

dct:subject

dbc:Formal_methods dbc:Formal_specification

gold:hypernym

dbr:Approach

prov:wasDerivedFrom

n13:Model-based_specification?oldid=1070084000&ns=0

dbo:wikiPageID

24392919

dbo:wikiPageLength

2426

dbo:wikiPageRevisionID

1070084000

dbo:wikiPageWikiLink

dbr:Algebraic_specification dbr:Set_theory dbc:Formal_specification dbr:Model-based_testing dbr:Z_notation dbc:Formal_methods dbr:Model-based_design dbr:Vienna_Development_Method dbr:Function_(mathematics) dbr:Formal_specification dbr:Systems_modeling

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.

foaf:isPrimaryTopicOf

n13:Model-based_specification