Those goals are aided, though, by informed choice and skillful use of “left-brain” formalisms and tools such as specification languages and diagramming conventions, module interface ...