Thu, Nov 27 10:30 - 17:35 |
(1) |
10:30-11:10 |
A Discussion on QFD and Guide-Words in Analysis of Unexpected Obstacles in Embedded Systems |
Junya Kubo, Tomio Inoue (Kyusyu Institute of Technology), Tosiro Mise, Yasufumi Shinyashiki (PEW/KIT), Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi (Kyusyu Institute of Technology), Takako Nakatani (Tsukuba Univ./S-Lagoon) |
(2) |
11:10-11:50 |
Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems |
Tomio Inoue (Kyushu Institute of Technology), Toshiro Mise (Panasonic Electric Works Co., Ltd), Yasufumi Shinyashiki, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi (Kyushu Institute of Technology), Takako Nakatani (Tsukuba Univ.) |
|
11:50-13:00 |
Lunch Break ( 70 min. ) |
(3) |
13:00-13:40 |
Modeling of Continuous Improvement Process using CCPM |
Keita Asaine, Wataru Asaine, Ryoma Shiratsuchi (Juntos), Masaaki Hashimoto, Takaichi Yoshida, Masanobu Umeda, Keiichi Katamine (Kyushu Institute of Technology) |
(4) |
13:40-14:20 |
Integrating Ant Colony Optimization in a Mobile-Agent Based Resource Discovery Algorithm |
Jun Yamasaki, Yoshikuni Harada, Yasushi Kambayashi (Nippon Institute of Technology) |
(5) |
14:20-15:00 |
Impact Analysis Method with based on Requirements Dependency |
Shinobu Saito (NTT DATA) |
|
15:00-15:15 |
Break ( 15 min. ) |
(6) |
15:15-15:55 |
Checking of Requirements Using Requirements Ontology |
Dang Viet Dzung, Atsushi Ohnishi (Ritsumeikan U.) |
(7) |
15:55-16:35 |
A study to coordination method of program definition based with KAOS |
Kaoru Umezawa (NEC Corporation), Takako Nakatani (University of Tsukuba) |
(8) |
16:35-17:35 |
[Invited Talk]
An Approach to Natural Intelligence Based on Mental Image Directed Semantic Theory |
Masao Yokota (Fukuoka Institute of Technology) |
Fri, Nov 28 10:00 - 16:10 |
(9) |
10:00-10:40 |
A method for VDM-SL specification by Actor relation matrix |
Komon Ibe (NTT DATA Co.), Yuuki Ikuta (Kyushu Univ.), Shuichiro Yamamoto (NTT DATA Co.) |
(10) |
10:40-11:20 |
Analysis of Cumulative Bug Reports in Open Source Development Using Growth Curve Model |
Kouhei Kurokawa, Hirohisa Aman (Ehime Univ.) |
(11) |
11:20-12:00 |
Model Driven Development Experiment of Embedded System |
Kunihiko Ito, Mina Amakawa, Saeko Matsuura (Shibaura Institute of Technology Graduate School) |
|
12:00-13:15 |
Lunch Break ( 75 min. ) |
(12) |
13:15-13:55 |
A Framework of Testing Application Order of Advices in Aspect-Oriented Programming |
Fumitaka Akahori (Shibaura Institute of Technology), Kouhei Sakurai (The University of Tokyo), Seiichi Komiya (Shibaura Institute of Technology) |
(13) |
13:55-14:35 |
8th Joint Conference on Knowledge-Based Software Engineering 2008 ( JCKBSE 08 ) Report |
Taichi Nakamura (Tokyo University of Technology) |
|
14:35-14:50 |
Break ( 15 min. ) |
(14) |
14:50-15:30 |
A User Interface Design for Universal Multimedia Access |
Yusaku Maeda, Eriko Tsujimura, Kaoru Sugita, Tetsushi Oka, Masao Yokota (Fukuoka Institute of Technology) |
(15) |
15:30-16:10 |
Undergraduate Education in Computer Engineering using a Robot Simulator |
Tetsushi Oka (Fukuoka Institute of Technology) |