Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Smith, W. Spencer"'
Autor:
Smith, W. Spencer, Lin, Jingyi
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. We illustrate how ACs can guide VnV activities via a case study of so
Externí odkaz:
http://arxiv.org/abs/2411.03291
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 development teams. Based on the quantitative data, we ranked the MI software
Externí odkaz:
http://arxiv.org/abs/2405.12171
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 GOOL programs can be used to generate human-readable, documented and i
Externí odkaz:
http://arxiv.org/abs/1911.11824
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). The analysis is based on grading a set of 30 GIS products using a temp
Externí odkaz:
http://arxiv.org/abs/1802.03422
Autor:
Smith, W. Spencer, Koothoor, Nirmitha
Publikováno v:
In Nuclear Engineering and Technology April 2016 48(2):404-418
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Smith, W. Spencer, Hall, Fred L.
Publikováno v:
Transportation Research Part A: Policy & Practice. Mar96, Vol. 30A Issue 2, p89. 13p. 1 Diagram, 6 Charts, 7 Graphs.