Browsing by Subject "QA76.76.D47"

Browsing by Subject "QA76.76.D47"

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
    A knowledge analytics portal for agile programming 
    Ding, Shijun (Halifax, N.S. : Saint Mary's University, 2016)
    Agile programming has been widely adopted for software development. One criticism on agile programming is the lack of documentation and knowledge sharing in the software development process. This thesis proposes a novel ...

  • 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 ...