| 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) 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.) DATE: Thu, Oct 14, 2010 14:00 - 18:00 Fri, Oct 15, 2010 09:45 - 12:30 PLACE: Iwate Prefectural University(152-52, Sugo, Takizawa, Iwate, 020-0193 Japan. http://www.iwate-pu.ac.jp/about/traffic.html. Prof. Toyoo Takata. +81-19-694-2606) TOPICS: General ---------------------------------------- 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) ----- 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.) ----- 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) ----- 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) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE ANNOUNCEMENT: - Please join us for an opening reception. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Dec 14, 2010 - Wed, Dec 15, 2010: Ikaho-Onsen Hotel Tenbo [Wed, Oct 20], Topics: General # SECRETARY: 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]