By speaking logic, i meant using a rigourous formalism to express processes and behaviors. Things like state diagrams, or code. But many specifications today a

By speaking logic, i meant using a rigourous formalism to express processes and behaviors. Things like state diagrams, or code. But many specifications today are written in terms of user scenarios, or general definition, in english. A coder would fall in the same trap should he use the same formalism, only he would probably feel the need to specify its problem using rigourous design tools.