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...
| Publicado en: | Computer (00189162) Vol. 54; no. 12; pp. 60 - 72 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Dec2021
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=153732771&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 153732771 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Dec2021 vid: 54 iid: 12 pid: 13605 pub: IEEE artinfo: ui: 153732771 10.1109/MC.2021.3102299 ppf: 60 ppct: 12 formats: tig: atl: When Scientific Software Meets Software Engineering. aug: au: Leroy, Dorian Sallou, June Bourcier, Johann Combemale, Benoit affil: Université de Rennes 1 su: Software engineers Software engineering Computer software development Computer software Scientific development sug: subj: Software engineers Software engineering Computer software development Computer software Scientific development ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|