About: Model-based specification

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Model-based specification Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdf:type	programming language
rdfs:label	Model-based specification (en)
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. (en)
sameAs	Model-based specification Model-based specification
dbp:wikiPageUsesTemplate	dbt:More_citations_needed dbt:Reflist dbt:Short_description
Subject	Formal methods Formal specification
gold:hypernym	Approach
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Model-based_specification?oldid=1070084000&ns=0
Wikipage page ID	24392919 (xsd:integer)
page length (characters) of wiki page	2426 (xsd:nonNegativeInteger)
Wikipage revision ID	1070084000 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal specification Vienna Development Method Algebraic specification Formal methods Formal specification Set theory Function (mathematics) Systems modeling Model-based design Model-based testing Z notation
has 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Model-based_specification
is Link from a Wikipage to another Wikipage of	Formal specification Fuzzing
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Model-based_specification

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 927 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software