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. ) |
: ii
ae
io