Measuring class coupling and cohesion: a formal metamodel approach | IEEE Conference Publication | IEEE Xplore