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

Presentation
表紙

,  

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

,  

[Date]2010/7/29
[Paper #]
A Quantitative Approach for Predicting the Cause-effect Relationships between the Process Performances and the Software Quality in a Software Development Organization

Yoshinori ITABASHI,  Koichiro OCHIMIZU,  

[Date]2010/7/29
[Paper #]SS2010-16
Proposal of Coding Rule Construction Method Based on Pattern

Isamu HASEGAWA,  

[Date]2010/7/29
[Paper #]SS2010-17
Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction : Rearrangement Specification with Development Cost

Ryu NAKAZATO,  Takanobu ANDO,  Tetsuji FUKAYA,  

[Date]2010/7/29
[Paper #]SS2010-18
A Concern-oriented Recommendation System for Debugging

Masaru SHINOZUKA,  Naoyasu UBAYASHI,  

[Date]2010/7/29
[Paper #]SS2010-19
A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs

Goro YAMADA,  Norihiro YOSHIDA,  Katsuro INOUE,  

[Date]2010/7/29
[Paper #]SS2010-20
Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development

Kenji TADANO,  Taro KURITA,  

[Date]2010/7/29
[Paper #]SS2010-21
Reachability Analysis for Timed Systems using Parallel Processing

Toshiaki TANAKA,  Takeshi NAGAOKA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2010/7/29
[Paper #]SS2010-22
Validation of System Requirements written in Event-B

Shin NAKAJIMA,  

[Date]2010/7/29
[Paper #]SS2010-23
Argument Filterings and Usable Rules in Higher-Order Rewrite Systems

Sho SUZUKI,  Keiichirou KUSAKARI,  Frederic BLANQUI,  

[Date]2010/7/29
[Paper #]SS2010-24
On Implementation of a Translater from OCL into JML

Kiyoyuki MIYAZAWA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2010/7/29
[Paper #]SS2010-25
A Code Search Tool for Repositories of Version Control Systems

Toshihiro KAMIYA,  

[Date]2010/7/29
[Paper #]SS2010-26
Generating Descriptions of Nouns in Software from Program Comments

TETSUYA Fujiki,  Yasuhiro HAYASE,  Katsuro INOUE,  

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

,  

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

,  

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

,  

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