activity
20182021
most citedBuilding Confidence in Scientific Computing Software Via Assurance Cases

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2021

Methodology for Assessing the State of the Practice for Domain X

Spencer Smith, Jacques Carette, Peter Michalski +2

To improve software development methods and tools for research software, we first need to understand the current state of the practice. Therefore, we have developed a methodology f…

cs.SE2020

Long-term Productivity for Long-term Impact

Spencer Smith, Jacques Carette

We present a new conceptual definition of 'productivity' for sustainably developing research software. Existing definitions are flawed as they are short-term biased, thus devaluing…

cs.SE20191 cited

Building Confidence in Scientific Computing Software Via Assurance Cases

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng

Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases…

cs.SE2019

Debunking the Myth that Upfront Requirements are Infeasible for Scientific Computing Software

Spencer Smith, Malavika Srinivasan, Sumanth Shankar

Many in the Scientific Computing Software community believe that upfront requirements are impossible, or at least infeasible. This paper shows requirements are feasible with the fo…

cs.SE2018

Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities

Spencer Smith, Yue Sun, Jacques Carette

Different communities rely heavily on software, but use quite different software development practices. {\bf Objective}: We wanted to measure the state of the practice in the area…