Thank you for the clarification. I think I understand what you mean. Where it makes sense I work from prototypes up refining the specification as I go. Often a

Thank you for the clarification. I think I understand what you mean. Where it makes sense I work from prototypes up refining the specification as I go. Often a decent type system helps in this regard as it works as a loose, informal specification language. However for some problems I find programming languages incapable of expressing sufficiently high-level concepts and turn to model checking to assist me in shooting holes in my ideas. Either way; a working model seems more useful than arm-chair debates, hand-waving, and glorious boxes with arrows.