Formalizing class diagram in UML

  title={Formalizing class diagram in UML},
  author={Alireza Souri and Mohammad ali Sharifloo and Monire Norouzi},
  journal={2011 IEEE 2nd International Conference on Software Engineering and Service Science},
One of the important methods for characterization, development and realization of software and hardware systems is formal method. Since there are not any necessary techniques for modeling in UML, by formalizing class diagram - as important section of UML - in this paper we can convert one system to class structure in UML easily. Also we can determine all of… CONTINUE READING