title: Definition and application of an assurance case development method (d*).
abstract: Now, information systems are developed as open system that depend on each other. Assurance cases are expected to confirm a dependability of open systems. D*Framework is a method that can make assurance case for open system. In this paper we defined d*Framework formally. Furthermore we apply this method with case study and made discussion.
authors.affiliation: Graduate School of Information Science, Nagoya University, Chikusa-ku, Nagoya, Japan.
authors.forename: Takuya
authors.initials: T
authors.lastname: Saruwatari
authors.forename: Shuichiro
authors.initials: S
authors.lastname: Yamamoto
keywords: Assurance case; Dependability; d*Framework