Problems with
Conventional Specification
contradictions
ambiguities
vagueness
imcompleteness
mixed levels of
abstraction