On the Derivation of Class Diagrams from Use Cases and Logical Software Architectures | IEEE Conference Publication | IEEE Xplore