Browsing Theses by Author "Montaghami, Vajihollah"
Now showing items 1-1 of 1
-
Debugging Relational Declarative Models with Discriminating Examples
Montaghami, Vajihollah (University of Waterloo, 2017-02-01)Models, especially those with mathematical or logical foundations, have proven valuable to engineering practice in a wide range of disciplines, including software engineering. Models, sometimes also referred to as logical ...