Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Model-based_specification> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Model-based_specification 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.".
- Model-based_specification wikiPageID "24392919".
- Model-based_specification wikiPageLength "2058".
- Model-based_specification wikiPageOutDegree "11".
- Model-based_specification wikiPageRevisionID "674735414".
- Model-based_specification wikiPageWikiLink Algebraic_specification.
- Model-based_specification wikiPageWikiLink Category:Formal_methods.
- Model-based_specification wikiPageWikiLink Formal_specification.
- Model-based_specification wikiPageWikiLink Function_(mathematics).
- Model-based_specification wikiPageWikiLink Model-based_design.
- Model-based_specification wikiPageWikiLink Model-based_testing.
- Model-based_specification wikiPageWikiLink Requirements_specification.
- Model-based_specification wikiPageWikiLink Set_theory.
- Model-based_specification wikiPageWikiLink System_model.
- Model-based_specification wikiPageWikiLink Vienna_Development_Method.
- Model-based_specification wikiPageWikiLink Z_notation.
- Model-based_specification wikiPageWikiLinkText "Model-based specification".
- Model-based_specification wikiPageWikiLinkText "model-oriented specification".
- Model-based_specification wikiPageUsesTemplate Template:Refimprove.
- Model-based_specification wikiPageUsesTemplate Template:Reflist.
- Model-based_specification subject Category:Formal_methods.
- Model-based_specification hypernym Approach.
- Model-based_specification type Area.
- Model-based_specification type ProgrammingLanguage.
- Model-based_specification type Area.
- Model-based_specification type Method.
- Model-based_specification 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.".
- Model-based_specification label "Model-based specification".
- Model-based_specification sameAs Q6888136.
- Model-based_specification sameAs m.07s6whv.
- Model-based_specification sameAs Q6888136.
- Model-based_specification wasDerivedFrom Model-based_specification?oldid=674735414.
- Model-based_specification isPrimaryTopicOf Model-based_specification.