1 citations · 2 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 1 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…