Raising the Bar: Assurance Cases for Scientific Software

S Smith, MS Nejad, A Wassyng - Computing in Science & …, 2020 - ieeexplore.ieee.org
Assurance cases provide an organized and explicit argument for correctness. They can
dramatically improve the quality of scientific software. Assurance cases are already …

Applying Security Assurance Cases for Cloud-based Systems in the Medical Domain

M Drgham, M Hassan - 2020 - gupea.ub.gu.se
Regulatory compliance is of major concern to medical software companies that are involved
in developing safetycritical software whose failure could result in loss of life, significant …