When Scientific Software Meets Software Engineering
7 Citations•2021•
Dorian Leroy, June Sallou, Johann Bourcier
Computer
This work investigates the different levels of abstraction, linked to the diverse artifacts of the scientific software development process, that a software language can propose and the validation and verification facilities associated with the corresponding level of abstraction the language can provide to the user.
Abstract
We investigate the different levels of abstraction, linked to the diverse artifacts of the scientific software development process, that a software language can propose and the validation and verification facilities associated with the corresponding level of abstraction the language can provide to the user.