Recognition of Patterns in Software Designs Models via Logic Inferences Hong Zhu Department of Computing and Electronics Oxford Brookes University Oxford.
Recognition of Patterns in Software Designs Models via Logic Inferences