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, Oct 14, 2010 14:00 - 18:00
Fri, Oct 15, 2010 09:45 - 12:30
Topics General 
Conference Place Iwate Prefectural University 
Address 152-52, Sugo, Takizawa, Iwate, 020-0193 Japan
Transportation Guide
Prof. Toyoo Takata
Announcement Please join us for an opening reception.
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, Oct 14 PM 
14:00 - 18:00
(1) 14:00-14:30 Quality Requirements Analysis using Requirements Frames SS2010-28 Haruhiko Kaiya (SU), Atsushi Ohnishi (Ritsumeikan U)
(2) 14:30-15:00 QRAST: Quality Requirements Analysis Support Tool Its Implementation and Evaluation SS2010-29 Shunichi Suzuki, Mahiro Umemura, Masaaki Tanigawa, Ryou Ogawa, Haruhiko Kaiya, Kenji Kaijiri (SU)
(3) 15:00-15:30 Component-based goal modeling with formal refinement patterns SS2010-30 Jun Nomura, Ryoto Naruse (Kyushu Inst. of Tech.), Keiji Hokamura, Naoyasu Ubayashi (Kyushu Univ.), Takahiro Shidai, Akihito Iwai (Denso)
  15:30-15:45 Break ( 15 min. )
(4) 15:45-16:15 Investigation of Relationship between Code Clones and Defect Fixes by Considering Period of Code Existence SS2010-31 Akira Saito (Osaka Univ.), Norihiro Yoshida (NAIST), Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
(5) 16:15-16:45 An Investigation of Copy-and-paste Reuse between Source Files Distributed under Different Licenses SS2010-32 Yu Kashima (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Norihiro Yoshida (NAIST), Yuki Manabe, Katsuro Inoue (Osaka Univ.)
  16:45-17:00 Break ( 15 min. )
(6) 17:00-18:00 [Invited Talk]
A Survey on Advanced Automated Equational Theorem Proving Systems SS2010-33
Koji Iwanuma (Univ. Yamanashi)
Fri, Oct 15 AM 
09:45 - 12:30
(7) 09:45-10:15 Automatic Test Case Generation for Integration Testing SS2010-34 Haruto Tanno, Xiaojing Zhang, Takashi Hoshino (NTT)
(8) 10:15-10:45 On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data SS2010-35 Junya Debari, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi (OKI), Masayuki Hirayama (IPA/SEC)
  10:45-11:00 Break ( 15 min. )
(9) 11:00-11:30 On DPLL Transition Systems Modulo Equational Theories SS2010-36 Tatsuya Baba, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.)
(10) 11:30-12:00 On Turing Completness of an Esoteric Language, Malbolge SS2010-37 Satoshi Nagasaka, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
(11) 12:00-12:30 An analysis of copied&pasted code fragments on code repository of FreeBSD SS2010-38 Toshihiro Kamiya (Fun)

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. Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E-: a- 
Announcement Latest information will be presented on the homepage

Last modified: 2010-10-12 17:44:11

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 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