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 http://www.iwate-pu.ac.jp/about/traffic.html
Contact
Person
Prof. Toyoo Takata
+81-19-694-2606
Announcement Please join us for an opening reception.

Thu, Oct 14 PM 
14:00 - 18:00
(1) 14:00-14:30 Quality Requirements Analysis using Requirements Frames Haruhiko Kaiya (SU), Atsushi Ohnishi (Ritsumeikan U)
(2) 14:30-15:00 QRAST: Quality Requirements Analysis Support Tool Its Implementation and Evaluation 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 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 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 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
Koji Iwanuma (Univ. Yamanashi)
Fri, Oct 15 AM 
09:45 - 12:30
(7) 09:45-10:15 Automatic Test Case Generation for Integration Testing Haruto Tanno, Xiaojing Zhang, Takashi Hoshino (NTT)
(8) 10:15-10:45 On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data 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 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 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 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--mail: a- 
Announcement Latest information will be presented on the homepage
http://www.info.kochi-tech.ac.jp/sigss/


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