Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SWIM, KBSE |
2019-05-24 14:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Consideration on the Capability of ArchiMate for Expressing Business Models Shuichiro Yamamoto (Nagoya Univ.) KBSE2019-4 SWIM2019-4 |
ArchiMate is the Enterprise Architecture modeling language to visualizing variable concepts.. So far, several approaches... [more] |
KBSE2019-4 SWIM2019-4 pp.25-30 |
KBSE, SC |
2018-11-09 14:45 |
Hyogo |
|
Using EA Model to Design Services Shuichiro Yamamoto (Nagoya Univ.) KBSE2018-33 SC2018-28 |
We propose a method to design service process from business description. To describe service processes, ArchiMate which ... [more] |
KBSE2018-33 SC2018-28 pp.31-36 |
KBSE, SC |
2018-11-09 15:30 |
Hyogo |
|
KBSE2018-34 SC2018-29 |
[more] |
KBSE2018-34 SC2018-29 pp.37-42 |
KBSE |
2018-05-25 14:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Consideration on Method Visualization Shuichiro Yamamoto (Nagoya Univ.) KBSE2018-5 |
Visualization approaches have been developed for business models and architectures. This paper reviews various past and ... [more] |
KBSE2018-5 pp.19-24 |
KBSE |
2018-01-25 16:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Proposal on Model Based Dependability using ArchiMate Shuichiro Yamamoto (Nagoya Univ.) KBSE2017-35 |
Traditional assurance approaches independently develop assurance cases for architecture diagrams. This paper proposes a ... [more] |
KBSE2017-35 pp.19-24 |
KBSE |
2017-09-19 13:20 |
Tokyo |
Doshisha Univ. Tokyo Branch Office |
Practical AI Project Analysis using Assurance Case Hironori Takeuchi, Shiki Akihara (IBM Japan), Shuichiro Yamamoto (Nagoya Univ.) KBSE2017-22 |
[more] |
KBSE2017-22 pp.7-12 |
KBSE |
2017-09-19 14:05 |
Tokyo |
Doshisha Univ. Tokyo Branch Office |
A Proposal on Eliciting System Safety Requirements Shuichiro Yamamoto (Nagoya Univ.) KBSE2017-23 |
Eliciting safety requirements is necessary to assure system safety. It is impossible to confirm that the system satisfie... [more] |
KBSE2017-23 pp.13-18 |
KBSE |
2017-01-24 10:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A GSN development approach for Feature models Hiroyuki Utsunomiya, Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-34 |
The feature model was known to reuse components for developing similar embedded software. However, the assurance method ... [more] |
KBSE2016-34 pp.19-24 |
KBSE |
2017-01-24 10:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Formal Verification Approach on O-DA for Component Based Development Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-35 |
[more] |
KBSE2016-35 pp.25-30 |
KBSE |
2017-01-24 11:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Trend and Issues on Assured Architecture Development Method for O-DA Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-36 |
The O-DA (Open Dependability through Assuredness) is a The Open Group standard proposed by authors. O-DA standardizes ba... [more] |
KBSE2016-36 pp.31-36 |
KBSE |
2016-05-27 11:45 |
Tokyo |
Doshisha Univ. Tokyo Branch Office |
A Proposal on Requirements Specification Capability Index Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-4 |
It is well known that requirements specification is the critical success factor for developing information systems. Howe... [more] |
KBSE2016-4 pp.19-24 |
KBSE |
2016-03-04 13:10 |
Oita |
|
A Proposal on the Assurance case Capability Index Shuichiro Yamamoto (Nagoya Univ.) KBSE2015-63 |
The appropriate introduction of methods and education materials on the assurance case is difficult for the organizations... [more] |
KBSE2015-63 pp.85-90 |
KBSE |
2015-10-29 16:10 |
Tokyo |
Nihon Univ. (Surugadai Campus) |
Requirements risk communication Shuichiro Yamamoto (Nagoya Univ.) KBSE2015-37 |
[more] |
KBSE2015-37 pp.7-12 |
KBSE |
2015-10-30 10:45 |
Tokyo |
Nihon Univ. (Surugadai Campus) |
Input Analysis Method for Assuring Code Ryouta Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto (Nagoya Univ) KBSE2015-39 |
The vulnerability of software security is often caused by invalid input.
To confirm the dependability of software, the... [more] |
KBSE2015-39 pp.17-22 |
KBSE, SS, IPSJ-SE [detail] |
2015-07-24 09:00 |
Hokkaido |
|
A Study on a Formal Verification Method Using Atelier-B Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) SS2015-29 KBSE2015-22 |
In this paper, we try to evaluate a formal verification method using Atelier-B, a delopment tool for B-method. To enhanc... [more] |
SS2015-29 KBSE2015-22 pp.143-148 |
KBSE |
2015-05-26 10:45 |
Tokyo |
|
Research Issues on the Assurance Cases for Software Product Lines Shuichiro Yamamoto (Nagoya Univ.) KBSE2015-8 |
Based on the Product Line Engineering, research issues on assurance cases for software product line by comparing feature... [more] |
KBSE2015-8 pp.39-44 |
SWIM |
2015-05-23 13:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Special Talk]
Trend and Issues on Enterprise Architecture Shuichiro Yamamoto (Nagoya Univ.) SWIM2015-1 |
The trend and issues of recent Enterprise Architecture (EA) are overviewed in this paper as follows. Typical EA framewor... [more] |
SWIM2015-1 pp.1-6 |
KBSE |
2015-03-05 15:55 |
Tokyo |
The University of Electro-Communications |
A study of reading comprehension improvement technique of safety case with modules Junpei Kondo, Shuji Morisaki, Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-58 |
Safety case is used to indicate that the system satisfies the safety. However, there are problems such as difficulty to ... [more] |
KBSE2014-58 pp.37-42 |
KBSE |
2015-03-05 16:40 |
Tokyo |
The University of Electro-Communications |
A Proposal on Evaluating Architecture using Assurance cases with Attributes Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-59 |
The NFR framework was used to quantitatively evaluate software architectures. Assurance cases using GSN have not applied... [more] |
KBSE2014-59 pp.43-48 |
KBSE |
2015-01-26 16:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A proposal of D-Case based development process in a software development company Nobuhide Kobayashi, Hiroyuki Utsunomiya, Yoshikazu Yamamoto (DENSO CREATE), Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-44 |
Visualization of software development process is useful to provide high quality products. This paper describes the way o... [more] |
KBSE2014-44 pp.31-36 |