IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
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 TalkEach 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


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to KBSE Schedule Page]   /  
 
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan