model-based specification

views updated

model-based specification A form of specification, usually software specification, that is developed by creating a mathematical model of that system. Typically the mathematical model is expressed in terms of objects and operations, and these are defined using such mathematical concepts as sets, relations, and functions.