| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Knowledge-Based Software Engineering (KBSE) Chair: Tadashi Iijima (Keio Univ.) Vice Chair: Shigeo Kaneda (Doshisha Univ.) Secretary: Takaaki Goto (Univ. of Electro-Comm.), Yoshitaka Aoki (Nihon Unisys) Assistant: Yutaka Matsuno (Univ. of Electro-Comm.), Hiroyuki Nakagawa (Osaka Univ.) DATE: Thu, Mar 5, 2015 10:00 - 17:25 Fri, Mar 6, 2015 10:00 - 16:10 PLACE: 301, Building E-3, The University of Electro-Communications(1-5-1 Chofugaoka, Chofu-shi, Tokyo Japan.5 min. walk from central exit of Chofu station.http://www.uec.ac.jp/eng/about/access/. Project Assistant Prof. Takaaki Goto. +81-42-443-5912) TOPICS: Genaral session ---------------------------------------- Thu, Mar 5 AM (10:00 - 11:35) ---------------------------------------- ----- 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.) ----- 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) ----- 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) ----- 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) ----- 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) ----- Closing Address ( 10 min. ) ----- # Information for speakers General Talk will have 30 minutes for presentation and 15 minutes for discussion. General Talk (ショート) will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Mon, May 25, 2015 - Tue, May 26, 2015: [Mon, Apr 13] Tue, May 26, 2015: Kikai-Shinko-Kaikan Bldg. # SECRETARY: Tadashi Iijima(Keio Univ.) E-mail: ii    ae  io # ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ieice.org/iss/kbse/ Last modified: 2015-01-30 16:38:59 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to KBSE Schedule Page] /
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]