IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Software Science

Workshop Date : 2010-10-14 - 2010-10-15 / Issue Date : 2010-10-07

SS2010-28
Quality Requirements Analysis using Requirements Frames
Haruhiko Kaiya (SU), Atsushi Ohnishi (Ritsumeikan U)
pp. 1 - 6

SS2010-29
QRAST: Quality Requirements Analysis Support Tool Its Implementation and Evaluation
Shunichi Suzuki, Mahiro Umemura, Masaaki Tanigawa, Ryou Ogawa, Haruhiko Kaiya, Kenji Kaijiri (SU)
pp. 7 - 12

SS2010-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)
pp. 13 - 18

SS2010-31
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.)
pp. 19 - 24

SS2010-32
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.)
pp. 25 - 30

SS2010-33
[Invited Talk] A Survey on Advanced Automated Equational Theorem Proving Systems
Koji Iwanuma (Univ. Yamanashi)
pp. 31 - 36

SS2010-34
Automatic Test Case Generation for Integration Testing
Haruto Tanno, Xiaojing Zhang, Takashi Hoshino (NTT)
pp. 37 - 42

SS2010-35
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)
pp. 43 - 48

SS2010-36
On DPLL Transition Systems Modulo Equational Theories
Tatsuya Baba, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.)
pp. 49 - 54

SS2010-37
On Turing Completness of an Esoteric Language, Malbolge
Satoshi Nagasaka, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 55 - 60

SS2010-38
An analysis of copied&pasted code fragments on code repository of FreeBSD
Toshihiro Kamiya (Fun)
pp. 61 - 65

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan