|
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 |
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 -- |
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 |
Yuichiro Kase, Takao Miura (Hosei Univ.) |
(4) |
15:30-16:15 |
A Study on refinement in goal-oriented requirements analysis |
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 |
Shigeo Kaneda, Hirotoshi Amemiya, Yuki Yamagishi (Doshisha Univ.) |
(6) |
17:15-17:45 |
Design and implementation of Ruby front-end for GPGPU |
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! -- |
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 |
Yutaka Matsuno (UEC) |
(9) |
13:45-14:30 |
Dissemination and Use of Model Checking Tool in Enterprise |
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 |
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 -- |
Tadashi Iijima (Keio Univ.) |
|
16:00-16:05 |
Closing Address ( 5 min. ) |