Browsing Mathematics (Faculty of) by Author "Lai, Xiaoni"
Now showing items 1-1 of 1
-
FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models
Lai, Xiaoni (University of Waterloo, 2015-06-04)A model of the feature-oriented requirements of a software system usually contains a large number of non-trivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend ...