| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Hiroyuki Seki (NAIST) Vice Chair: Shin Nakajima (NII) Secretary: Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.) Assistant: Hironobu Washizaki (Waseda Univ.) DATE: Thu, Aug 5, 2010 10:30 - 16:30 Fri, Aug 6, 2010 10:00 - 11:30 PLACE: Asahikawa Civic Cultural Hall, Conference Room (3F)(9-Chome, 7-Jyo, Asahikawa, 070-0037 Japan.About 15 minutes' walk from JR Asahikawa Station. http://www.city.asahikawa.hokkaido.jp/files/bunkashinko/siminbunka/annaizu.htm) TOPICS: General ---------------------------------------- Thu, Aug 5 AM (10:30 - 12:00) ---------------------------------------- (1) 10:30 - 11:00 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) (2) 11:00 - 11:30 Proposal of Coding Rule Construction Method Based on Pattern Isamu Hasegawa (Nomura Research Inst, Ltd.) (3) 11:30 - 12:00 Requirement Analysis for Low Energy Consumption with Keeping User Satisfaction -- Rearrangement Specification with Development Cost -- Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp) ----- Lunch Break ( 75 min. ) ----- ---------------------------------------- Thu, Aug 5 PM (13:15 - 14:45) ---------------------------------------- (4) 13:15 - 13:45 A Concern-oriented Recommendation System for Debugging Masaru Shiozuka (Kyushu Inst. of Tech.), Naoyasu Ubayashi (Kyushu Univ.) (5) 13:45 - 14:15 A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs Goro Yamada (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.) (6) 14:15 - 14:45 Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development Kenji Tadano, Taro Kurita (FeliCa Networks) ----- Break ( 15 min. ) ----- ---------------------------------------- Thu, Aug 5 PM (15:00 - 16:30) ---------------------------------------- (7) 15:00 - 15:30 Reachability Analysis for Timed Systems using Parallel Processing Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) (8) 15:30 - 16:00 Validation of System Requirements written in Event-B Shin Nakajima (NII) (9) 16:00 - 16:30 Argument Filterings and Usable Rules in Higher-Order Rewrite Systems Sho Suzuki, Keiichirou Kusakari (Nagoya Univ.), Frederic Blanqui (INRIA) ---------------------------------------- Fri, Aug 6 AM (10:00 - 11:30) ---------------------------------------- (10) 10:00 - 10:30 On Implementation of a Translater from OCL into JML Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.) (11) 10:30 - 11:00 A Code Search Tool for Repositories of Version Control Systems Toshihiro Kamiya (Future Univ-Hakodate.) (12) 11:00 - 11:30 Generating Descriptions of Nouns in Software from Program Comments Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE ANNOUNCEMENT: - Please join us for a banquet (Aug/5). http://www.info.kochi-tech.ac.jp/sigss/konshin/?id=1008 === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Oct 14, 2010 - Fri, Oct 15, 2010: Iwate Prefectural Univ. [Wed, Aug 18], Topics: General # SECRETARY: Yoshiaki Takata (Kochi Univ. of Tech.) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a    -  # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2010-06-22 18:00:47 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]