Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2012-11-22 10:50 |
Ishikawa |
Kanazawa University |
A Writing Method for Assurance Cases Yutaka Matsuno (Nagoya Univ.), Toshinori Takai (Nara Inst.), Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-40 |
Assurance Cases have been recognized as a promising method for dependability assurance.
However, there has not been a ... [more] |
KBSE2012-40 pp.13-17 |
KBSE |
2012-11-22 12:00 |
Ishikawa |
Kanazawa University |
A Proposal on Inference Method for Dependability Context Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-42 |
System assurance has become of great importance in many areas, and assurance cases have been used for assuring dependabi... [more] |
KBSE2012-42 pp.25-30 |
KBSE |
2012-11-23 12:30 |
Ishikawa |
Kanazawa University |
A Consideration on Introducing Responsibility Attributes to Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) KBSE2012-52 |
Although dependability case is attracted to assure system safety and availability, methods and guidelines how to achieve... [more] |
KBSE2012-52 pp.85-90 |
KBSE |
2012-11-23 14:30 |
Ishikawa |
Kanazawa University |
A proposal on ADM process template for TOGAF NEXT Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-55 |
TOGAF NEXT is the next version of TOGAF which includes a dependability. It is now under development.
In this paper, the... [more] |
KBSE2012-55 pp.103-108 |
KBSE |
2012-11-23 15:40 |
Ishikawa |
Kanazawa University |
A proposal on a method to construct a word dictionary of Dependability Case Masanori Matsumura, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-57 |
A few graphical notations for dependability cases have been proposed including GSN(Goal Structuring Notation). However, ... [more] |
KBSE2012-57 pp.115-120 |
DC |
2012-10-29 16:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
An Introduction of Dependability Case Yutaka Matsuno (Nagoya Univ.) |
(To be available after the conference date) [more] |
|
KBSE, SS |
2012-07-27 15:10 |
Hokkaido |
Future University Hakodate |
A Proposal on a Method for Reviewing Operation Manuals of Supercomputer Shota Takama, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-16 KBSE2012-18 |
The more information systems become complex, the more difficult it is to operate dependably. In this paper, we propose a... [more] |
SS2012-16 KBSE2012-18 pp.37-42 |
KBSE, SS |
2012-07-27 16:20 |
Hokkaido |
Future University Hakodate |
A Survey on Structured Documents for Assurance Cases Yutaka Matsuno, Vaise Patu, Shuichiro Yamamoto (Nagoya Univ.) SS2012-18 KBSE2012-20 |
In safety critical area, recently assurance cases have been widely used. Assurance cases are structured documents for as... [more] |
SS2012-18 KBSE2012-20 pp.49-54 |
KBSE, SS |
2012-07-27 16:50 |
Hokkaido |
Future University Hakodate |
A proposed research framework for "Dependability Science" based on assurance cases Vaise Patu, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-19 KBSE2012-21 |
Achieving system dependability is still not
yet being clear identified for today’s modern software
systems. The firs... [more] |
SS2012-19 KBSE2012-21 pp.55-59 |
KBSE, SS |
2012-07-27 17:20 |
Hokkaido |
Future University Hakodate |
A Consideration on Describing Dependability Case Shuichiro Yamamoto, Yutaka Matsuno (Nagoya Univ.) SS2012-20 KBSE2012-22 |
[more] |
SS2012-20 KBSE2012-22 pp.61-66 |
KBSE, SS |
2012-07-28 14:50 |
Hokkaido |
Future University Hakodate |
A proposal on a method to describe enterprise architecture development process Tatsuya Tokuno, Yutaka Matsuno, Shuichiro Yamamoto (Nagoya Univ.) SS2012-34 KBSE2012-36 |
It is difficult to assure the dependability of today's large and complex systems, and a method of dependability assuranc... [more] |
SS2012-34 KBSE2012-36 pp.145-150 |
KBSE, SS |
2012-07-28 15:20 |
Hokkaido |
Future University Hakodate |
Formalization of ModularGSN Takuya Saruwatari (Nagoya Univ./NTT), Yutaka Matsuno (Nagoya Univ.), Takashi Hoshino (NTT), Shuichiro Yamamoto (Nagoya Univ.) SS2012-35 KBSE2012-37 |
[more] |
SS2012-35 KBSE2012-37 pp.151-156 |
KBSE |
2011-09-21 13:45 |
Overseas |
Ocean Grand Hotel Jeju |
d* Framework: A proposal toward dependability case among actors Yutaka Matsuno (Univ of Tokyo), Toshinori Takai (AIST), Shuichiro Yamamoto (Nagoya Univ.) |
[more] |
|