When Scientific Software Meets Software Engineering.

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 t...

Descripción completa

Detalles Bibliográficos
Publicado en:	Computer (00189162) Vol. 54; no. 12; pp. 60 - 72
Autores principales:	Leroy, Dorian, Sallou, June, Bourcier, Johann, Combemale, Benoit
Formato:	Artículo
Publicado:	IEEE Dec2021
Materias:	Software engineers Software engineering Computer software development Computer software Scientific development
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.