Title: An automated method for identifying inconsistencies within diagrammatic software requirements specifications
Subjects: Computer programming, Software engineering, Software development tools, Hypertext, Consistency, Graphs (Charts)