出典:Wikipedia
出典:『Wikipedia』 (2011/04/06 22:40 UTC 版)
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.