|
|
| 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.) |
|
| Conference Date |
Thu, May 29, 2014 13:00 - 17:45
Fri, May 30, 2014 09:45 - 16:05 |
| Topics |
Genaral session |
| Conference Place |
Hiyoshi Campus. Keio University |
Contact
Person |
Tadashi Iijima |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| |
12:55-13:00 |
Opening Address ( 5 min. ) |
Thu, May 29 PM
13:00 - 14:30 |
| (1) |
13:00-13:45 |
Expanding the Control Scope of Cooperative Multiple Robots  KBSE2014-1 |
Ko Shibata, Yasushi Kambayashi (Nippon Inst. of Tech.), Munehiro Takimoto (TUS) |
| (2) |
13:45-14:30 |
A Route Generation Method by using Artificial Potential Fields for Indoor Evacuation Simulation
-- Towards Smooth Path Planning with Collision Avoidance -- KBSE2014-2 |
Takatoshi Iwasa, Tadashi Iijima (Keio Univ.) |
| |
14:30-14:45 |
Break ( 15 min. ) |
Thu, May 29 PM
14:45 - 16:15 |
| (3) |
14:45-15:30 |
Multi-Label Classification of News Corpus using Linear Mixture Models KBSE2014-3 |
Yuichiro Kase, Takao Miura (Hosei Univ.) |
| (4) |
15:30-16:15 |
A Study on refinement in goal-oriented requirements analysis KBSE2014-4 |
Michitaro Okano, Takako Nakatani (Univ. of Tsukuba) |
| |
16:15-16:30 |
Break ( 15 min. ) |
Thu, May 29 PM
16:30 - 17:45 |
| (5) |
16:30-17:15 |
Automatic Detecting of Meal Patterns using Conductive Chopsticks KBSE2014-5 |
Shigeo Kaneda, Hirotoshi Amemiya, Yuki Yamagishi (Doshisha Univ.) |
| (6) |
17:15-17:45 |
Design and implementation of Ruby front-end for GPGPU KBSE2014-6 |
Tomoyuki Nakatsuka, Hirohide Haga (Doshisha Univ.) |
Fri, May 30 AM
09:45 - 11:45 |
| (7) |
09:45-11:45 |
[Tutorial Lecture]
Assurance Case Tutorial
-- Let's write Assruance Cases! -- KBSE2014-7 |
Yutaka Matsuno (UEC) |
| |
- |
Lunch Break |
Fri, May 30 PM
13:00 - 14:30 |
| (8) |
13:00-13:45 |
Standardization of OMG Dependability Framework for Safety-Sensitive Consumer Devices and Its Feasibility Evaluation Experiment KBSE2014-8 |
Yutaka Matsuno (UEC) |
| (9) |
13:45-14:30 |
Dissemination and Use of Model Checking Tool in Enterprise KBSE2014-9 |
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) |
| |
14:30-14:45 |
Break ( 15 min. ) |
Fri, May 30 PM
14:45 - 16:05 |
| (10) |
14:45-15:30 |
A Methodology for Developing Open-source Software by Small Groups KBSE2014-10 |
Takaaki Goto, Tetsuro Nishino (UEC), Kensei Tsuchida (Toyo Univ.) |
| (11) |
15:30-16:00 |
Requirements Models as First-class Objects
-- Towards a Knowledge-based Software Architecture Approach -- KBSE2014-11 |
Tadashi Iijima (Keio Univ.) |
| |
16:00-16:05 |
Closing Address ( 5 min. ) |
| Announcement for Speakers |
| General Talk | Each speech will have 30 minutes for presentation and 15 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
| Contact Address |
Tadashi Iijima(Keio Univ.)
E- : ii   ae  io |
Last modified: 2014-05-28 18:01:36
|