Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

Model-driven engineering is a methodology for software development that focuses on the use of models in the software development process. These models can be transformed into code, saving developers both time and effort. One of the most widely used models for transformation is the unified modeling l...

Full description

Bibliographic Details
Main Authors: Asadullah Shaikh, Uffe Kock Wiil
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Model verification
efficient verification
slicing technique
disjoint slicing technique
non-disjoint slicing technique
Online Access:https://ieeexplore.ieee.org/document/8268094/

Internet

https://ieeexplore.ieee.org/document/8268094/

Similar Items