| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| 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 |
| SWIM, KBSE | 2019-05-24 15:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | EA-Based Modeling for AI Service System Project and Its Practice Hironori Takeuchi (Musashi Univ.), Yamamoto Shuichiro (Nagoya Univ.), Shiki Akihara, Jun Ishii, Fumiaki Hoshino (IBMJ) KBSE2019-5 SWIM2019-5 |
[more] | KBSE2019-5 SWIM2019-5 pp.31-36 |
| 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 | 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 |
| ICD | 2017-04-21 09:35 |
Tokyo | [Invited Lecture]
Architectures and energy performance of nonvolatile SRAM for core-level nonvolatile power-gating Daiki Kitagata, Yusuke Shuto, Shuu'ichirou Yamamoto, Satoshi Sugahara (Tokyo Inst. of Tech.) ICD2017-10 |
Architectures and energy performance of nonvolatile SRAM (NV-SRAM) are demonstrated for nonvolatile power-gating (NVPG) ... [more] | ICD2017-10 pp.51-56 |
|
| 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-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 17:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | A Comparison of Systemigram and Domain Class Diagram Shuichiro Yamamoto (Nagoya Univ.) KBSE2014-45 |
The Systemigram and domain class diagram are compared by focusing on the problem situation understanding. These diagrams... [more] | KBSE2014-45 pp.37-42 |
[Return to Top Page]