Information and Systems-Software Science(Date:2010/10/07)

Presentation
表紙

,  

[Date]2010/10/7
[Paper #]
目次

,  

[Date]2010/10/7
[Paper #]
Quality Requirements Analysis using Requirements Frames

Haruhiko KAIYA,  Atsushi OHNISHI,  

[Date]2010/10/7
[Paper #]SS2010-28
QRAST: Quality Requirements Analysis Support Tool : Its Implementation and Evaluation

Shunichi SUZUKI,  Masahiro UMEMURA,  Masaaki TANIGAWA,  Ryou OGAWA,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2010/10/7
[Paper #]SS2010-29
Component-based goal modeling with formal refinement patterns

Jun NOMURA,  Ryoto NARUSE,  Keiji HOKAMURA,  Naoyasu UBAYASHI,  Takahiro SHIDAI,  Akihito IWAI,  

[Date]2010/10/7
[Paper #]SS2010-30
Investigation of Relationship between Code Clones and Defect Fixes by Considering Period of Code Existence

Akira SAITO,  Norihiro YOSHIDA,  Makoto MATSUSHITA,  Katsuro INOUE,  

[Date]2010/10/7
[Paper #]SS2010-31
An Investigation of Copy-and-paste Reuse between Source Files Distributed under Different Licenses

Yu KASHIMA,  Yasuhiro HAYASE,  Norihiro YOSHIDA,  Yuki MANABE,  Katsuro INOUE,  

[Date]2010/10/7
[Paper #]SS2010-32
A Survey on Advanced Automated Equational Theorem Proving Systems

Koji IWANUMA,  

[Date]2010/10/7
[Paper #]SS2010-33
Automatic Test Case Generation for Integration Testing

Haruto TANNO,  Xiaojing ZHANG,  Takashi HOSHINO,  

[Date]2010/10/7
[Paper #]SS2010-34
On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data

Junya DEBARI,  Tohru KIKUNO,  Nahomi KIKUCHI,  Masayuki HIRAYAMA,  

[Date]2010/10/7
[Paper #]SS2010-35
On DPLL Transition Systems Modulo Equational Theories

Tatsuya BABA,  Toshiki SAKABE,  Naoki NISHIDA,  Keiichirou KUSAKARI,  Masahiko SAKAI,  

[Date]2010/10/7
[Paper #]SS2010-36
On Turing Completeness of an Esoteric Language, Malbolge

Satoshi NAGASAKA,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2010/10/7
[Paper #]SS2010-37
An analysis of copied & pasted code fragments on code repository of FreeBSD

Toshihiro KAMIYA,  

[Date]2010/10/7
[Paper #]SS2010-38
複写される方へ

,  

[Date]2010/10/7
[Paper #]
Notice for Photocopying

,  

[Date]2010/10/7
[Paper #]
奥付

,  

[Date]2010/10/7
[Paper #]
裏表紙

,  

[Date]2010/10/7
[Paper #]