Browsing Mathematics (Faculty of) by Subject "fact extraction"
Now showing items 1-1 of 1
-
mel - Model Extraction Language and Interpreter
(University of Waterloo, 2021-04-27)There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: ...