Checking UML Design Patterns in Java Implementations | IEEE Conference Publication | IEEE Xplore