Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2010-08-05 10:30 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
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) SS2010-16 |
Generally, the empirical and qualitative methods are used to specify the effective processes in order to improve the sof... [more] |
SS2010-16 pp.1-4 |
SS |
2010-08-05 11:00 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Proposal of Coding Rule Construction Method Based on Pattern Isamu Hasegawa (Nomura Research Inst, Ltd.) SS2010-17 |
In large software development project like enterprise applications, coding rules are often provided. Applying coding rul... [more] |
SS2010-17 pp.5-10 |
SS |
2010-08-05 11:30 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction
-- Rearrangement Specification with Development Cost -- Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp) SS2010-18 |
Low energy consumption is one big issue. We study about requirement analysis for low energy consumption with keeping use... [more] |
SS2010-18 pp.11-16 |
SS |
2010-08-05 13:15 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
A Concern-oriented Recommendation System for Debugging Masaru Shiozuka (Kyushu Inst. of Tech.), Naoyasu Ubayashi (Kyushu Univ.) SS2010-19 |
It is not so difficult for professional programmers to predict the cause of a bug from their experience. On the other ha... [more] |
SS2010-19 pp.17-22 |
SS |
2010-08-05 13:45 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs Goro Yamada (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.) SS2010-20 |
In this paper, we propose a novel approach to detecting defects from source code, which checks for consistency of progra... [more] |
SS2010-20 pp.23-28 |
SS |
2010-08-05 14:15 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development Kenji Tadano, Taro Kurita (FeliCa Networks) SS2010-21 |
We applied SPIN model checker to C source code as a quality assurance method for Mobile FeliCa IC chip firmware. In this... [more] |
SS2010-21 pp.29-34 |
SS |
2010-08-05 15:00 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Reachability Analysis for Timed Systems using Parallel Processing Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-22 |
This report proposes efficient parallel processing of reachability analysis for timed automaton. Our research group has ... [more] |
SS2010-22 pp.35-40 |
SS |
2010-08-05 15:30 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Validation of System Requirements written in Event-B Shin Nakajima (NII) SS2010-23 |
[more] |
SS2010-23 pp.41-46 |
SS |
2010-08-05 16:00 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Argument Filterings and Usable Rules in Higher-Order Rewrite Systems Sho Suzuki, Keiichirou Kusakari (Nagoya Univ.), Frederic Blanqui (INRIA) SS2010-24 |
The static dependency pair method is a method for proving the termination
of higher-order rewrite systems {\em \`a la} ... [more] |
SS2010-24 pp.47-52 |
SS |
2010-08-06 10:00 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
On Implementation of a Translater from OCL into JML Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-25 |
OCL (Object Constraint Language) is an annotation language for UML, which can describe specication more precisely. In r... [more] |
SS2010-25 pp.53-58 |
SS |
2010-08-06 10:30 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
A Code Search Tool for Repositories of Version Control Systems Toshihiro Kamiya (Future Univ-Hakodate.) SS2010-26 |
This study, which is organized toward evaluation of a code-search tool on code repository of version controlsystem, reve... [more] |
SS2010-26 pp.59-63 |
SS |
2010-08-06 11:00 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Generating Descriptions of Nouns in Software from Program Comments Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka Univ.) SS2010-27 |
Software developers surmise roles and workings of functions or variables for program comprehension judging from its iden... [more] |
SS2010-27 pp.65-69 |