activity
20072023
most citedFormalizing of Category Theory in Agda

17 citations · 77 across the 28 of their papers we have counts for

collaborators
Showing cs.SEShow all

6 papers · 1 filter

cs.SE2023

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…

cs.SE2021

Long-Term Productivity Based on Science, not Preference

Spencer Smith, Jacques Carette

This position paper argues that decisions on processes, tools, techniques and software artifacts (such as user manuals, unit tests, design documents and code) for scientific softwa…

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.SE2018★ 1 cited

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…

cs.SE2018★ 1 cited

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).…