A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models
[chapter]
2011
Lecture Notes in Computer Science
In Model Driven Development (MDD), model errors are a primary concern in development methodology. UML/OCL models have increased both in size and complexity due to its popularity in model design and development. Consequently, the efficiency of the verification process is being affected. The verification of these models is each time more laborious because of their complex design and size thus prolonging the verification process. In this paper, we propose an algorithm of an aggressive slicing
doi:10.1007/978-3-642-21652-7_11
fatcat:tk52pd5bnjff5n2kt4ghly4ztu