UML Specification and Correction of Object-Oriented Anti-patterns | IEEE Conference Publication | IEEE Xplore