Showing cs.SEShow all
3 papers · 1 filter
cs.SE2024
Using Assurance Cases to Guide Verification and Validation of Research Software
W. Spencer Smith, Jingyi Lin
Research software engineers can use Assurance Cases (ACs) to guide Verification and Validation (VnV) efforts. An AC is a structured argument that a property like correctness holds.…
cs.SE2024
State of the Practice for Medical Imaging Software
W. Spencer Smith, Ao Dong, Jacques Carette +1
We selected 29 medical imaging projects from 48 candidates, assessed 10 software qualities by answering 108 questions for each software project, and interviewed 8 of the 29 develop…
cs.SE2018
State of the Practice for GIS Software
W. Spencer Smith, Adam Lazzarato, Jacques Carette
We present a reproducible method to analyze the state of software development practices in a given scientific domain and apply this method to Geographic Information Systems (GIS).…