Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Journal article

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Asadullah Shaikh and Uffe Kock Wiil

2016

Metrics

1 Record Views

Details

Title: Efficient Verification-Driven Slicing of UML/OCL Class Diagrams
Creators - without role: Asadullah Shaikh
Uffe Kock Wiil
Identifiers: 9924489308331
Academic Unit: Najran University
Language: English
Resource Type: Journal article