Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition | IEEE Conference Publication | IEEE Xplore