University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Computer Science and Engineering: Theses, Computer Science and Engineering, Department of Dissertations, and Student Research Summer 7-26-2019 Dimensional Analysis of Robot Software without Developer Annotations John-Paul W. Ore University of Nebraska-Lincoln,
[email protected] Follow this and additional works at: https://digitalcommons.unl.edu/computerscidiss Part of the Artificial Intelligence and Robotics Commons, and the Robotics Commons Ore, John-Paul W., "Dimensional Analysis of Robot Software without Developer Annotations" (2019). Computer Science and Engineering: Theses, Dissertations, and Student Research. 175. https://digitalcommons.unl.edu/computerscidiss/175 This Article is brought to you for free and open access by the Computer Science and Engineering, Department of at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in Computer Science and Engineering: Theses, Dissertations, and Student Research by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. DIMENSIONAL ANALYSIS OF ROBOT SOFTWARE WITHOUT DEVELOPER ANNOTATIONS by John-Paul William Calvin Ore A DISSERTATION Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfillment of Requirements For the Degree of Doctor of Philosophy Major: Computer Science Under the Supervision of Professors Sebastian Elbaum and Carrick Detweiler Lincoln, Nebraska August, 2019 DIMENSIONAL ANALYSIS OF ROBOT SOFTWARE WITHOUT DEVELOPER ANNOTATIONS John-Paul William Calvin Ore, Ph. D. University of Nebraska, 2019 Advisers: Sebastian Elbaum and Carrick Detweiler Robot software risks the hazard of dimensional inconsistencies. These incon- sistencies occur when a program incorrectly manipulates values representing real-world quantities. Incorrect manipulation has real-world consequences that range in severity from benign to catastrophic.