シーケンス図に基づくディペンダビリティケース作成法の研究

IR HANDLE Web Site Open Access

Bibliographic Information

Other Title
  • シーケンスズ ニ モトズク ディペンダビリティケース サクセイホウ ノ ケンキュウ
  • A method for developing a D-case based on Sequence diagram

Search this article

Abstract

Dependability case is one of the methods used to assure system safety and availability. In this paper ,a method to develop dependability case based on sequence diagram will be proposed by analysing the sequence diagram used in the system development phase.

IEICE Technical Report;KBSE2013-2

Journal

Keywords

Details 詳細情報について

Report a problem

Back to top