Browsing by Author "Reeves, Steve"
Co-authors for Steve Reeves
Supervised by Steve Reeves
Showing up to 5 theses - most recently added to Research Commons first.
(University of Waikato, 2014)This dissertation studies conflicts. A conflict is a bug in concurrent systems where one or more components of the system may potentially be blocked from completing their task. This dissertation investigates how nonconflicting ...
(University of Waikato, 2012)Reverse engineering is the process of discovering a model of a software system by analyzing its structure and functions. Reverse engineering techniques applied to interactive software applications (e.g. applications with ...
(The University of Waikato, 2008)Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to ...