To effectively evaluate a system that performs operations on UML class diagrams, it is essential to cover a large variety of different types of diagrams. The coverage of the diagram space can be ...

Abstract: 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 ...