I often sketch out ideas on paper before I start really coding them up. The benefit is that I can take advantage of two dimensions, cross things out, draw lines, and so on.
I’d like to start perhaps getting a bit more formal in my sketches before I bring them to real code.
Does anyone else do this with some level of formality? If so, what notations do you use?
Popular contenders are APL (it started as this sort of thing anyway, but is ill-suited to object-oriented problem solving which is often required given the ultimate target languages), the Z Notation and its derivatives, UML…
(Note that I’m not necessarily asking for something that’s sound, formally specified, executable, or anything like that…though if they are that’s fine. The only requirement is that they’re usable with only pen and paper.)