Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
SS2010-16
A Quantitative Approach for Predicting the Cause-effect Relationships between the Process Performances and the Software Quality in a Software Development Organization
Yoshinori Itabashi (Panasonic Corp./JAIST), Koichiro Ochimizu (JAIST)
pp. 1 - 4
SS2010-17
Proposal of Coding Rule Construction Method Based on Pattern
Isamu Hasegawa (Nomura Research Inst, Ltd.)
pp. 5 - 10
SS2010-18
Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction
-- Rearrangement Specification with Development Cost --
Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp)
pp. 11 - 16
SS2010-19
A Concern-oriented Recommendation System for Debugging
Masaru Shiozuka (Kyushu Inst. of Tech.), Naoyasu Ubayashi (Kyushu Univ.)
pp. 17 - 22
SS2010-20
A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs
Goro Yamada (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.)
pp. 23 - 28
SS2010-21
Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development
Kenji Tadano, Taro Kurita (FeliCa Networks)
pp. 29 - 34
SS2010-22
Reachability Analysis for Timed Systems using Parallel Processing
Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 35 - 40
SS2010-23
Validation of System Requirements written in Event-B
Shin Nakajima (NII)
pp. 41 - 46
SS2010-24
Argument Filterings and Usable Rules in Higher-Order Rewrite Systems
Sho Suzuki, Keiichirou Kusakari (Nagoya Univ.), Frederic Blanqui (INRIA)
pp. 47 - 52
SS2010-25
On Implementation of a Translater from OCL into JML
Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 53 - 58
SS2010-26
A Code Search Tool for Repositories of Version Control Systems
Toshihiro Kamiya (Future Univ-Hakodate.)
pp. 59 - 63
SS2010-27
Generating Descriptions of Nouns in Software from Program Comments
Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka Univ.)
pp. 65 - 69
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.