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 Hiroyuki Seki (NAIST)
Vice Chair Shin Nakajima (NII)
Secretary Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.)
Assistant Hironobu Washizaki (Waseda Univ.)

Conference Date Thu, Aug 5, 2010 10:30 - 16:30
Fri, Aug 6, 2010 10:00 - 11:30
Topics General 
Conference Place Asahikawa Civic Cultural Hall, Conference Room (3F) 
Address 9-Chome, 7-Jyo, Asahikawa, 070-0037 Japan.
Transportation Guide About 15 minutes' walk from JR Asahikawa Station
Announcement Please join us for a banquet (Aug/5).
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, Aug 5 AM 
10:30 - 12:00
(1) 10:30-11:00 A Quantitative Approach for Predicting the Cause-effect Relationships between the Process Performances and the Software Quality in a Software Development Organization SS2010-16 Yoshinori Itabashi (Panasonic Corp./JAIST), Koichiro Ochimizu (JAIST)
(2) 11:00-11:30 Proposal of Coding Rule Construction Method Based on Pattern SS2010-17 Isamu Hasegawa (Nomura Research Inst, Ltd.)
(3) 11:30-12:00 Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction
-- Rearrangement Specification with Development Cost --
Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp)
  12:00-13:15 Lunch Break ( 75 min. )
Thu, Aug 5 PM 
13:15 - 14:45
(4) 13:15-13:45 A Concern-oriented Recommendation System for Debugging SS2010-19 Masaru Shiozuka (Kyushu Inst. of Tech.), Naoyasu Ubayashi (Kyushu Univ.)
(5) 13:45-14:15 A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs SS2010-20 Goro Yamada (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.)
(6) 14:15-14:45 Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development SS2010-21 Kenji Tadano, Taro Kurita (FeliCa Networks)
  14:45-15:00 Break ( 15 min. )
Thu, Aug 5 PM 
15:00 - 16:30
(7) 15:00-15:30 Reachability Analysis for Timed Systems using Parallel Processing SS2010-22 Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
(8) 15:30-16:00 Validation of System Requirements written in Event-B SS2010-23 Shin Nakajima (NII)
(9) 16:00-16:30 Argument Filterings and Usable Rules in Higher-Order Rewrite Systems SS2010-24 Sho Suzuki, Keiichirou Kusakari (Nagoya Univ.), Frederic Blanqui (INRIA)
Fri, Aug 6 AM 
10:00 - 11:30
(10) 10:00-10:30 On Implementation of a Translater from OCL into JML SS2010-25 Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
(11) 10:30-11:00 A Code Search Tool for Repositories of Version Control Systems SS2010-26 Toshihiro Kamiya (Future Univ-Hakodate.)
(12) 11:00-11:30 Generating Descriptions of Nouns in Software from Program Comments SS2010-27 Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka 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 Yoshiaki Takata (Kochi Univ. of Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E--mail: a- 
Announcement Latest information will be presented on the homepage

Last modified: 2010-06-22 18:00:47

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