Ontology-Based Verification of UML Class/OCL Model
Software models describe structures, relationships and features of the software.Modern software development methodologies such as MDE puffy spa headband (Model Driven Engineering) use models as core elements.In MDE, the code is automatically generated from the model and model errors can implicitly shift into the code, which are difficult to find an