Applying use cases to design versus validate class diagrams - a controlled experiment using a professional modeling tool | IEEE Conference Publication | IEEE Xplore