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.

More From encyclopedia.com