Precise specification and automatic application of design patterns | IEEE Conference Publication | IEEE Xplore