Text this: An automated method for identifying inconsistencies within diagrammatic software requirements specifications thesis ... / by Zhong Zhang. [microform] :