Chung Chang

• An automated method for identifying inconsistencies within diagrammatic software requirements specifications