Information and Systems-Knowledge-Based Software Engineering(Date:2015/02/26)

Presentation
表紙

,  

[Date]2015/2/26
[Paper #]
目次

,  

[Date]2015/2/26
[Paper #]
Practice and Evaluation of EPISODE on developing ICT based course material for children with a developmental disability

Takahiro KANEYAMA,  Takaaki GOTO,  Tetsuro NISHINO,  

[Date]2015/2/26
[Paper #]KBSE2014-52
Domain Specific Android Application Supporting Tool

Hiroki Iiyama,  Takeshi Chusho,  

[Date]2015/2/26
[Paper #]KBSE2014-53
Fine-Grained Analysis of the Class Diagram Creation Process

Takafumi TANAKA,  Hiroaki HASHIURA,  Atsuo HAZEYAMA,  Seiichi KOMIYA,  

[Date]2015/2/26
[Paper #]KBSE2014-54
Abstraction and Difference Detection of UML Sequence Diagrams in Program Before and After the Updating

Shoichi MIYAGI,  Shohei MARUYAMA,  Yoshikazu UEDA,  

[Date]2015/2/26
[Paper #]KBSE2014-55
Investigation of model checking by modular approach, and practicality of modular verification

Takumi MIYAJIMA,  Kei KOGAI,  Yoshikazu UEDA,  Tomoyuki YAMAGATA,  Takayuki TAKEZAWA,  

[Date]2015/2/26
[Paper #]KBSE2014-56
A Case-based Management System for Secure Software Development Using Software Security Knowledge

Masahito Saito,  Atsuo Hazeyama,  Nobukazu Yoshioka,  Takanori Kobashi,  Hironori Washizaki,  Haruhiko Kaiya,  Takao Ohkubo,  

[Date]2015/2/26
[Paper #]KBSE2014-57
A study of reading comprehension improvement technique of safety case with modules

Kondou JYUNPEI,  Shuji MORISAKI,  Shuichiroh YAMAMOTO,  

[Date]2015/2/26
[Paper #]KBSE2014-58
A Proposal on Evaluating Architecture using Assurance cases with Attributes

Shuichiro YAMAMOTO,  

[Date]2015/2/26
[Paper #]KBSE2014-59
Gesture Recognition for Cooking Assistant System

Yuma HIJIOKA,  Makoto MURAKAMI,  Tadahiko KIMOTO,  

[Date]2015/2/26
[Paper #]KBSE2014-60
A Proposal of Construction Method of Defeasible GSN Based on Persona : An Example of a Risk Case of introducing System Assurance

Hiroki IZUMIKAWA,  Toshinori TAKAI,  

[Date]2015/2/26
[Paper #]KBSE2014-61
A modular construction of arguments for assurance cases

Toshinori TAKAI,  Hiroyuki KIDO,  Yutaka MATSUNO,  

[Date]2015/2/26
[Paper #]KBSE2014-62
Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems

Kento OGAWA,  Hiroyuki NAKAGAWA,  Tatsuhiro TSUCHIYA,  

[Date]2015/2/26
[Paper #]KBSE2014-63
Verifying Source Code with a Use Case Model using Model Checking : A Case of an ASP.NET Application

Yoshitaka AOKI,  Shinpei OGATA,  Satoshi YAZAWA,  Saeko MATSUURA,  

[Date]2015/2/26
[Paper #]KBSE2014-64
複写される方へ

,  

[Date]2015/2/26
[Paper #]
Reprographic Reproduction outside Japan

,  

[Date]2015/2/26
[Paper #]
奥付

,  

[Date]2015/2/26
[Paper #]
裏表紙

,  

[Date]2015/2/26
[Paper #]