Thu, Mar 5 AM 10:00 - 11:35 |
|
10:00-10:05 |
Opening Address ( 5 min. ) |
(1) |
10:05-10:50 |
Practice and Evaluation of EPISODE on developing ICT based course material for children with a developmental disability |
Takahiro Kaneyama, Takaaki Goto, Tetsuro Nishino (UEC) |
(2) |
10:50-11:35 |
Domain specific android application supporting tool |
Hiroki Iiyama, Takeshi Chusho (Meiji Univ.) |
|
11:35-13:00 |
Lunch Break ( 85 min. ) |
Thu, Mar 5 PM 13:00 - 15:15 |
(3) |
13:00-13:45 |
Fine-Grained Analysis of the Class Diagram Creation Process |
Takafumi Tanaka (TGU), Hiroaki Hashiura (NIT), Atsuo Hazeyama (TGU), Seiichi Komiya (NII) |
(4) |
13:45-14:30 |
Abstraction and Difference Detection of UML Sequence Diagrams in Program Before and After the Updating |
Shoichi Miyagi, Shohei Maruyama, Yoshikazu Ueda (Ibaraki Univ.) |
(5) |
14:30-15:15 |
Investigation of model checking by modular approach, and practicality of modular verification |
Takumi Miyajima (Ibaraki Univ.), Kei Kogai (INCT), Yoshikazu Ueda (Ibaraki Univ.), Tomoyuki Yamagata, Takayuki Takezawa (Hitachi) |
|
15:15-15:25 |
Break ( 10 min. ) |
Thu, Mar 5 PM 15:25 - 17:25 |
(6) |
15:25-15:55 |
A Case-based Management System for Secure Software Development Using Software Security Knowledge |
Masahito Saito, Atsuo Hazeyama (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII), Takanori Kobashi, Hironori Washizaki (Waseda Univ.), Haruhiko Kaiya (Kanagawa Univ.), Takao Okubo (IISEC) |
(7) |
15:55-16:40 |
A study of reading comprehension improvement technique of safety case with modules |
Junpei Kondo, Shuji Morisaki, Shuichiro Yamamoto (Nagoya Univ.) |
(8) |
16:40-17:25 |
A Proposal on Evaluating Architecture using Assurance cases with Attributes |
Shuichiro Yamamoto (Nagoya Univ.) |
Fri, Mar 6 AM 10:00 - 11:30 |
(9) |
10:00-10:45 |
Gesture Recognition for Cooking Assistant System |
Yuma Hijioka, Makoto Murakami, Tadahiko Kimoto (Toyo Univ.) |
(10) |
10:45-11:30 |
Development of a Cloud-based Authoring Tool for Synchronizing Slide Presentation with Live Video Stream on the WebELS Platform |
Arjulie John Berena (NII), Sila Chunwijitra (NECTEC), Mohammed Osamnia, Hitoshi Okada, Haruki Ueno (NII) |
|
11:30-13:00 |
Lunch Break ( 90 min. ) |
Fri, Mar 6 PM 13:00 - 14:30 |
(11) |
13:00-13:45 |
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 (NAIST) |
(12) |
13:45-14:30 |
A modular construction of arguments for assurance cases |
Toshinori Takai (NAIST), Hiroyuki Kido (utokyo), Yutaka Matsuno (uec) |
|
14:30-14:40 |
Break ( 10 min. ) |
Fri, Mar 6 PM 14:40 - 16:10 |
(13) |
14:40-15:25 |
Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems |
Kento Osaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) |
(14) |
15:25-16:10 |
Verifying Source Code with a Use Case Model using Model Checking
-- A Case of an ASP.NET Application -- |
Yoshitaka Aoki, Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa (VR), Saeko Matsuura (SIT) |
|
16:10-16:20 |
Closing Address ( 10 min. ) |