n (engineering) A statement (in domain specific terms) which specifies a verifiable
constraint on an implementation that it shall undeniably meet or
(a) be deemed unacceptable, or
(b) result in implementation failure, or
(c) result in system failure.