Top Qs
Timeline
Chat
Perspective
Model-based specification
Computer science concept From Wikipedia, the free encyclopedia
Remove ads
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.
 | This article needs additional citations for verification. (September 2009) |
The most widely used notations for developing model-based specifications are VDM[1][2] and Z[3][4] (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.
Remove ads
See also
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads