|
Chair |
|
Saeko Matsuura (Shibaura Inst. of Tech.) |
Vice Chair |
|
Tadashi Iijima (Keio Univ.) |
Secretary |
|
Fumihiro Kumeno (Nippon Inst. of Tech.), Hironori Takeuchi (IBM) |
Assistant |
|
Takaaki Goto (Univ. of Electro-Comm.), Yoshitaka Aoki (Nihon Unisys) |
|
Conference Date |
Thu, Mar 6, 2014 10:30 - 17:50
Fri, Mar 7, 2014 09:50 - 17:30 |
Topics |
Genaral session |
Conference Place |
OKINAWAKEN SEINENKAIKAN |
Address |
2-15-23, KUME, NAHA-SHI, OKINAWA, 900-0033, JAPAN |
Transportation Guide |
Take monorail to Asahibashi Station from AP, disembark and 5 min walk. Take bus to Naha Bus Terminal ,disembark and 10 min walk..10 minutes by taxi from the airport. http://www.okiseikan.or.jp/user.php?CMD=1154016000000 |
Contact Person |
Nihon Unisys, Ltd. Yoshitaka Aoki
+81-98-864-1780 |
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) |
Thu, Mar 6 AM Session 1 10:30 - 12:20 |
|
10:30-10:35 |
Opening Address ( 5 min. ) |
(1) |
10:35-11:10 |
A Method for Facilitating the Analysis of Counterexamples in Model Checking KBSE2013-79 |
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) |
(2) |
11:10-11:45 |
A Case Study on Predicting Requirements Changes KBSE2013-80 |
Takako Nakatani, Yuko Koiso (Univ. of Tsukuba), Keiichi Katamine (Kyushu Inst. of Tech.), Toshihiko Tsumaki (NII) |
(3) |
11:45-12:20 |
End-User-Initiative Development for Web Application
-- The Implementation of Business Logic -- KBSE2013-81 |
Xu Jie, Takeshi Chusho (Meiji Univ.) |
|
12:20-13:05 |
Break ( 45 min. ) |
Thu, Mar 6 PM Session 2 13:05 - 15:25 |
(4) |
13:05-13:40 |
Toward Conducting the Discussion for Understanding and Validity Check of Sftware Requirements
-- A Proposal of a Model to Structuralize and Record the Contents of the Discussion -- KBSE2013-82 |
Seiichi Komiya (NII) |
(5) |
13:40-14:15 |
Mining of IR method for Traceability Link Recovery KBSE2013-83 |
Ryouhei Yuasa, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ) |
(6) |
14:15-14:50 |
Guidelines for Class-Diagram Design based on English Sentence Patterns and Functional Dependency KBSE2013-84 |
Shigeo Kaneda, Akio Ida, Takamasa Sakai (Doshisha Univ.) |
(7) |
14:50-15:25 |
Conceptual class diagram creation support system based on conversion method from a Japanese description to simple sentences KBSE2013-85 |
Satoshi Kumatani, Takamasa Sakai, Shigeo Kaneda (Doshisha Univ.) |
|
15:25-15:35 |
Break ( 10 min. ) |
Thu, Mar 6 PM Session 3 15:35 - 17:50 |
(8) |
15:35-16:10 |
A consideration on method to assure business process with D-Case KBSE2013-86 |
Kenta Murai, Shuichiro Yamamoto (Nagoya Univ.) |
(9) |
16:10-16:45 |
A method to assure the sufficiency of testing using D-Case KBSE2013-87 |
Hideaki Oobayashi, Shuichiro Yamamoto (Nagoya Univ) |
(10) |
16:45-17:15 |
Equivalent Mutants Detection Method Using Symbolic Execution KBSE2013-88 |
Takaya Ueshiba, Weitao Wang, Hirohide Haga (Doshisha Univ.) |
(11) |
17:15-17:50 |
The Study of Combinatorial Software Testing Technique to Respond to the Changes of Test-Strategy KBSE2013-89 |
Masahiro Ooba, Kenta Sasaki, Hisashi Fukutake, Kuniya Sato, Tomohiko Takagi, Rihito Yaegashi (Kagawa Univ.) |
Fri, Mar 7 AM Session 4 09:50 - 11:35 |
(12) |
09:50-10:25 |
Scenario Retrieval Method using Differential Scenarios
-- Development of Visualization tool of Differential Scenario -- KBSE2013-90 |
Eiji Shiota, Atsushi Ohnishi (Ritsumeikan Univ.) |
(13) |
10:25-11:00 |
Road Hazard Sharing System by Using Mobile Ad Hoc Network for Multiple Cyclists KBSE2013-91 |
Yusuke Tabata, Akira Yamamoto, Yuta Kawachi, Shohei Asada, Shigeo Kaneda (Doshisha Univ.) |
(14) |
11:00-11:35 |
Event extraction from video data of football games using qualitatve spatio-temporal representation KBSE2013-92 |
Masaki Sakaida, Takanori Kiyose, Kazuko Takahashi (Kwansei Gakuin Univ.) |
|
11:35-12:35 |
Break ( 60 min. ) |
Fri, Mar 7 PM Session 5 12:35 - 14:55 |
(15) |
12:35-13:10 |
An Android Application Analysis Method for Highlighting Disclosure of Fine-Grained User Information KBSE2013-93 |
Takuya Sakashita, Shinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) |
(16) |
13:10-13:45 |
An Implementation Methodology for Business Systems Based on Unidirectional Constraint Propagation
-- A Case Study of Local Tax Processing -- KBSE2013-94 |
Hiromasa Yano, Hiroki Kuwayama, Shigeo Kaneda (Doshisha Univ.) |
(17) |
13:45-14:20 |
A proposal of the D-Case review method by extracting word relationship KBSE2013-95 |
Masanori Matsumura, Shuichiro Yamamoto (Nagoya Univ.) |
(18) |
14:20-14:55 |
Software-Aided Feature Selection for Open Source Software by Applying Brainstorming Methodology Based on Existing Open Source Software KBSE2013-96 |
Md. Mahfuzus Salam Khan, Takaaki Goto, Tetsuro Nishino (Univ. of Electro-Comm.) |
|
14:55-15:05 |
Break ( 10 min. ) |
Fri, Mar 7 PM Session 6 15:05 - 17:30 |
(19) |
15:05-15:40 |
Applying the Multidimensional Scaling for Assignment Responsibilities to the Objects
-- Approaching from the Artifacts of the Soft Systems Methodology -- KBSE2013-97 |
Akio Ida, Shigeo Kaneda (Doshisha Univ.) |
(20) |
15:40-16:15 |
A proposal for developing architecture model based on requirements model KBSE2013-98 |
Shuichiro Yamamoto (Nagoya Univ.) |
(21) |
16:15-16:50 |
Search method for supporting creation of trace links between documents KBSE2013-99 |
Makoto Kakuta, Gengo Suzuki (NTT), Syuuhei Watanabe (NTT Comware), Toshifumi Enomoto, Nobuyuki Kobayashi (NTT) |
(22) |
16:50-17:25 |
Extension of Business Process Representation by Introduction of Timed-Arc into Object-oriented Petri Net KBSE2013-100 |
Tadashi Iijima (Keio Univ.) |
|
17:25-17:30 |
Ending Address ( 5 min. ) |
Announcement for Speakers |
General Talk | Each speech will have 25 minutes for presentation and 10 minutes for discussion. |
Contact Address and Latest Schedule Information |
KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
Contact Address |
Saeko Matsuura(Shibaura Inst. of Tech.)
E-: ubau-it |
Last modified: 2014-02-05 10:19:23
|