1 citations · 2 across the 5 of their papers we have counts for
5 papers
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.…
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…
Generating Software for Well-Understood Domains
Jacques Carette, Spencer Smith, Jason Balaci
Current software development is often quite code-centric and aimed at short-term deliverables, due to various contextual forces (such as the need for new revenue streams from many…
GOOL: A Generic Object-Oriented Language (extended version)
Jacques Carette, Brooks MacLachlan, W. Spencer Smith
We present GOOL, a Generic Object-Oriented Language. It demonstrates that a language, with the right abstractions, can capture the essence of object-oriented programs. We show how…
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).…