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 (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 cod...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Mehran University of Engineering and Technology
2018-10-01
|
| Series: | Mehran University Research Journal of Engineering and Technology |
| Online Access: | http://publications.muet.edu.pk/index.php/muetrj/article/view/560 |