Browsing Masters Theses by Subject "Computer software -- Development"

Browsing Masters Theses by Subject "Computer software -- Development"

Sort by: Order: Results:

  • Thumbnail
    Formal methods for secure software construction 
    Goodspeed, Ben (Halifax, N.S. : Saint Mary's University, 2016)
    The objective of this thesis is to evaluate the state of the art in formal methods usage in secure computing. From this evaluation, we analyze the common components and search for weaknesses within the common workflows of ...

  • Thumbnail
    Software defect prediction from code quality measurements via machine learning 
    MacDonald, Ross Earle (Halifax, N.S. : Saint Mary's University, 2018)
    Improvement in software development practices to predict and reduce software defects can lead to major cost savings. The goal of this thesis is to demonstrate the value of static analysis metrics and rules in predicting ...