Characterising reproducibility debt in scientific software: A systematic literature review

Z Hassan, C Treude, M Norrish, G Williams… - Journal of Systems and …, 2024 - Elsevier
Context: In scientific software, the inability to reproduce results is often due to technical
issues and challenges in recreating the full computational workflow from the original …

[图书][B] Software engineering for science

JC Carver, NPC Hong, GK Thiruvathukal - 2016 - books.google.com
Software Engineering for Science provides an in-depth collection of peer-reviewed chapters
that describe experiences with applying software engineering practices to the development …

MDE in practice for computational science

JM Bruel, B Combemale, I Ober, H Raynal - Procedia Computer Science, 2015 - Elsevier
The complex problems that computational science addresses are more and more benefiting
from the progress of computing facilities (simulators, librairies, accessible languages,..) …

Open-source development experiences in scientific software: the HANDE quantum Monte Carlo project

JS Spencer, NS Blunt, WA Vigor, FD Malone… - arXiv preprint arXiv …, 2014 - arxiv.org
The HANDE quantum Monte Carlo project offers accessible stochastic algorithms for
general use for scientists in the field of quantum chemistry. HANDE is an ambitious and …

[HTML][HTML] Computational science: shifting the focus from tools to models

K Hinsen - F1000Research, 2014 - ncbi.nlm.nih.gov
Computational techniques have revolutionized many aspects of scientific research over the
last few decades. Experimentalists use computation for data analysis, processing ever …

A web-based MOOC authoring and learning system for computational science education

J Shin, JC Jang, H Chae, G Ryu, J Yu… - 2018 IEEE International …, 2018 - ieeexplore.ieee.org
Using MOOC as a personalized learning methodology has become a huge trend these
days. In this study, an e-learning service system was examined particularly for a fused …

Incremental units-of-measure verification

M Danish, D Orchard, A Rice - arXiv preprint arXiv:2406.02174, 2024 - arxiv.org
Despite an abundance of proposed systems, the verification of units-of-measure within
programs remains rare in scientific computing. We attempt to address this issue by providing …

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

B Lelandais, MP Oudot, B Combemale - Proceedings of the 11th ACM …, 2018 - dl.acm.org
Advanced and mature language workbenches have been proposed in the past decades to
develop Domain-Specific Languages (DSL) and rich associated environments. They all …

[PDF][PDF] Units-of-measure correctness in Fortran programs

M Contrastin, A Rice, M Danish… - Computing in Science & …, 2015 - kar.kent.ac.uk
Kent Academic Repository Page 1 Contrastin, Mistral, Rice, Andrew, Danish, Matthew and
Orchard, Dominic A. (2015) Units-of-Measure Correctness in Fortran Programs. Computing in …

[HTML][HTML] Evolving Fortran types with inferred units-of-measure

D Orchard, A Rice, O Oshmyan - Journal of Computational Science, 2015 - Elsevier
Dimensional analysis is a well known technique for checking the consistency of equations
involving physical quantities, constituting a kind of type system. Various type systems for …