Art

J-GLOBAL ID：201702286354398543   Reference number：17A0906454

実践的保証ケース作成方式

Author (3)： YAMAMOTO SHUICHIRO (名古屋大) ,  MORISAKI SHUJI (名古屋大) ,  ATSUMI NORITOSHI (京大)
Material： SEC Journal  (SEC J)
Volume： 13  Issue： 1  Page： 24-31  Publication year： Jul. 01, 2017 
JST Material Number： L5846A  ISSN： 1349-8622  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *software development ,  safety ,  reliability(property) ,  *computation model ,  review ,  case study ,  computer code ,  evaluation test
Semi thesaurus term： source code

JST classification (2)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A)

Reference (22)：

• [Shinmura1991] 新村出編, 広辞苑, 岩波書店, 第四版, 1991.
• [Kelly1997] T. Kelly, A Six-Step Method for the Development of Goal Structures, York Software Engineering, 1997.
• [Kelly1998] T. Kelly, Arguing Safety, a Systematic Approach to Managing Safety Cases, PhD Thesis, Department of Computer Science, University of York, 1998.
• [Yamamoto2009] 山本修一郎, 要求工学第58回アシュアランスケースとGSN, ビジネスコミュニケーション vol.46, No.8, pp.68-71, 2009.
• [Jackson2008] D. Jackson, et al, Software for dependable systems- sufficient evidence?, NATIONAL RESEARCH COUNCIL, 2008.

Terms in the title (1)： 保証