I recall Jackson Structured Programming, where diagrams are drawn of the input structure and output structure, slap 'em together and you've got the program structure.

Z Specification now that is Math: fundamently you create enough constraints that only the things you want to happen can happen.

Both these methodologies had their uses and their day. Technology marooned these powerful and practical design methodologies.

--

Brother Frankus.