2. A method according to claim 1, wherein said diagrammatic specifications include a diagram representing a modular structure of said program and a diagram representing a proceasing flow within each module of said program, and said correspondence information indicates the correspondence of said program statements to constituent members of said diagram.
2. A method according to claim 1, wherein said diagrammatic specifications include a diagram representing a modular structure of said program and a diagram representing a proceasing flow within each module of said program, and said correspondence information indicates the correspondence of said program statements to constituent members of said diagram. 3. A method according to claim 2, wherein at least one of said diagrams comprises as the constituent members a plurality of interconnected symbols of varying types preassigned to respective types of processing, and an identified one of said symbols is distinctively expressed in said outputting step.