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


Technical Committee on Software Science (SS) [schedule] [select]
Chair Tsuneo Ajisaka (Wakayama Univ.)
Vice Chair Hiroyuki Seki (NAIST)
Secretary Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.)

Conference Date Mon, Mar 8, 2010 09:00 - 17:30
Topics general 
Conference Place Koorimoto Campus, Kagoshima University 
Address 1-21-24, Koorimoto, Kagoshima City, 890-8580 Japan.
Transportation Guide http://www.kagoshima-u.ac.jp/contents/gaiyou/access/koutu_access_koorimoto.html
Contact
Person
Dr. Shinya Fukumoto
+81-99-285-8453
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)

Mon, Mar 8   Room A
09:00 - 17:30
(1) 09:00-09:30 A System to Guide Interview-driven Requirements Elicitation Work SS2009-48 Hajime Noguchi, Shimon Yato (Shibaura Inst. of Techn.), Takatosi Yamanaka (Shibaura Inst. of Techn./Fujitsu Ltd,), Seiichi Komiya (Shibaura Inst. of Techn.)
(2) 09:30-10:00 A support for Software Development Processes Improvement using the Requirement-Trace-Network and a Project Scheduling Method SS2009-49 Akinori Saito, Koichiro Ochimizu (JAIST)
(3) 10:00-10:30 Support Environment for Reality-based Software Development Practice based on Process Monitoring and Comparison among Groups SS2009-50 Takeshi Kakimoto (Osaka Univ.), Hiroshi Igaki (Kobe Univ), Shinji Kawaguchi (NAIST), Naoki Fukuyasu (Wakayama Univ.), Sachio Saiki (Kochi Univ. of Tech.), Yasuhiro Hayase (Osaka Univ.), Naohiro Sakiyama (NTT Data)
  10:30-10:40 Break ( 10 min. )
(4) 10:40-11:10 A Proposal of Service Registry for Discovering Service Resources in Ubiquitous Network SS2009-51 Hideharu Seto, Kouichi Egami, Shuhei Matsuo, Hiroshi Igaki, Masahide Nakamura (Kobe Univ)
(5) 11:10-11:40 Developing Home Network Services with Feature Interaction Detection and Resolution System SS2009-52 Takuya Inada, Yuhei Yoshimura, Kousuke Ikegami, Hiroshi Igaki, Masahide Nakamura (Kobe Univ), Kenji Nakakita, Kiyotaka Takehara (Panasonic Electric Works Co., Ltd.)
(6) 11:40-12:10 A Supporting Tool for Framework-Based Software Development with Behavioral Models SS2009-53 Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
  12:10-13:10 Lunch Break ( 60 min. )
(7) 13:10-13:40 Automatic UML Diagram Recommendation Using Editing Context SS2009-54 Makoto Matsushita, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
(8) 13:40-14:10 Comparison of Fixing Frequency between Duplicate Code and Non-Duplicate Code SS2009-55 Yukiko Sano, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(9) 14:10-14:40 Identifying frequent functionalities from large-scale source code SS2009-56 Kensuke Tanaka, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
  14:40-14:50 Break ( 10 min. )
(10) 14:50-15:20 On the Analysis of Method Call Changes Related to Bug Fixes SS2009-57 Ryosuke Morii, Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Inst. of Tech.), Tohru Kikuno (Osaka Univ.)
(11) 15:20-15:50 Structuring Source Code Deltas by Classifying Editing Operations SS2009-58 Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
(12) 15:50-16:20 An Analysis of Relation Between Inconsistent Changes of Code Clone and Bug Occurrence SS2009-59 Koji Nishida, Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST)
  16:20-16:30 Break ( 10 min. )
(13) 16:30-17:00 Similarity Analysis of programming codes by Code Clone technique SS2009-60 Akira Sakamoto, Yasunari Kishimoto, Hiroyuki Sato, Toru Kobayashi (NTT)
(14) 17:00-17:30 Empirical Analysis of Software Similarity Using Text Mining Technology SS2009-61 Yasunari Kishimoto, Akira Sakamoto, Hiroyuki Sato, Toru Kobayashi (NTT)
Mon, Mar 8   Room B
09:00 - 17:30
(15) 09:00-09:30 Reachability Analysis for Probabilistic Timed System based on Timed Abstraction Refinement Technique SS2009-62 Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
(16) 09:30-10:00 Probabilistic Model Checking for AIS with Symmetry Reduction SS2009-63 Takashi Toyoshima, Kazuko Takahashi (Kwansei Gakuin Univ.), Toshifusa Sekizawa (Osaka Gakuin Univ./AIST CVS)
(17) 10:00-10:30 A framework for the verification of behavior in E-AoSAS++ SS2009-64 Han-Myung Chang, Atsushi Sawada, Masami Noro (Nanzan Univ.)
  10:30-10:40 Break ( 10 min. )
(18) 10:40-11:10 verification of non-interference between files by typing SS2009-65 Koichi Zarei, Toshiyuki Yamada (Mie Univ.)
(19) 11:10-11:40 Research of Immune Algorithm for Multi-Objective Optimization Problems SS2009-66 Ryota Morishige, Satoshi Ono, Shigeru Nakayama (Kagoshima Univ)
(20) 11:40-12:10 On a Combination Method of Decision Procedures for Theories Sharing Common Symbols SS2009-67 Koji Iwanuma (Univ. of Yamanashi)
  12:10-13:10 lunch Break ( 60 min. )
(21) 13:10-13:40 Introducing N-Version Programming in the Product Line of the Safety Critical System SS2009-68 Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
(22) 13:40-14:10 Communication Centered Dependable GUI Programming based on Choreography SS2009-69 Sho Shimomura, Shoji Yuen (Nagoya Univ.)
(23) 14:10-14:40 A Type-Based Analysis for Checking Race and Deadlock based on Access Capabilities SS2009-70 Yoshitaka Banno, Shoji Yuen (Nagoya Univ.)
  14:40-14:50 Break ( 10 min. )
(24) 14:50-15:20 A Study on conditions of Applying of AIC to Software Reliability Growth Models SS2009-71 Yasutaka Kamei, Tsuneo Furuyama (Tokai Univ.)
(25) 15:20-15:50 Empirical Evaluation of Bug Density Prediction Model to Low Granularity Modules SS2009-72 Yasutaka Kamei, Shinsuke Matsumoto, Akito Monden, Ken-ichi Matsumoto (NAIST)
(26) 15:50-16:20 A Testing Method for Object-Oriented Software Using Execution Logs SS2009-73 Junro Mori, Yoshikazu Ueda (Ibaraki Univ.)
  16:20-16:30 Break ( 10 min. )
(27) 16:30-17:00 Light-weight XQuery Processor using Lazy Parsing SS2009-74 Yoshinari Hachisu, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.)
(28) 17:00-17:30 Scalable Web Application Framework based on Delimited Continuation SS2009-75 Asami Tanaka, Yukiyoshi Kameyama (Tsukuba Univ)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Naruki Mitsuda (Wakayama Univ.)
TEL 073-457-8433
FAX 073-457-8434
E--mail: n-u 
Announcement Latest information will be presented on the homepage
http://sdlab.sys.wakayama-u.ac.jp/ss/


Last modified: 2010-02-09 10:10:41


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS 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