Building multiple-viewpoint assurance cases using assumption/guarantee contracts

Irfan Sljivo, Barbara Gallina. Building multiple-viewpoint assurance cases using assumption/guarantee contracts. In Rami Bahsoon, Rainer Weinreich, editors, Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28 - December 2, 2016. pages 39, ACM, 2016. [doi]

Abstract

Abstract is missing.