===============================================
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, May 29, 2014 13:00 - 17:45
Fri, May 30, 2014 09:45 - 16:05
PLACE:
Hiyoshi Campus. Keio University(Tadashi Iijima)
TOPICS:
Genaral session
----- 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.)
----- 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)
----- 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.)
----- 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.)
----- Closing Address ( 5 min. ) -----
# Information for speakers
General Talk will have 30 minutes for presentation and 15 minutes for discussion.
=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===
# FUTURE SCHEDULE:
Wed, Jul 9, 2014 - Fri, Jul 11, 2014: Furano-Bunka-Kaikan [Fri, Apr 25]
# SECRETARY:
Tadashi Iijima(Keio Univ.)
E-mail: iiaeio
Last modified: 2014-05-28 18:01:36
|
Notification: Mail addresses are partially hidden against SPAM.
|