|
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.) |
|
Conference Date |
Thu, Aug 5, 2010 10:30 - 16:30
Fri, Aug 6, 2010 10:00 - 11:30 |
Topics |
General |
Conference Place |
Asahikawa Civic Cultural Hall, Conference Room (3F) |
Address |
9-Chome, 7-Jyo, Asahikawa, 070-0037 Japan. |
Transportation Guide |
About 15 minutes' walk from JR Asahikawa Station http://www.city.asahikawa.hokkaido.jp/files/bunkashinko/siminbunka/annaizu.htm |
Announcement |
Please join us for a banquet (Aug/5).
http://www.info.kochi-tech.ac.jp/sigss/konshin/?id=1008 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
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 SS2010-16 |
Yoshinori Itabashi (Panasonic Corp./JAIST), Koichiro Ochimizu (JAIST) |
(2) |
11:00-11:30 |
Proposal of Coding Rule Construction Method Based on Pattern SS2010-17 |
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 -- SS2010-18 |
Ryu Nakazato, Takanobu Ando, Tetsuji Fukaya (Toshiba Corp) |
|
12:00-13:15 |
Lunch Break ( 75 min. ) |
Thu, Aug 5 PM 13:15 - 14:45 |
(4) |
13:15-13:45 |
A Concern-oriented Recommendation System for Debugging SS2010-19 |
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 SS2010-20 |
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 SS2010-21 |
Kenji Tadano, Taro Kurita (FeliCa Networks) |
|
14:45-15:00 |
Break ( 15 min. ) |
Thu, Aug 5 PM 15:00 - 16:30 |
(7) |
15:00-15:30 |
Reachability Analysis for Timed Systems using Parallel Processing SS2010-22 |
Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(8) |
15:30-16:00 |
Validation of System Requirements written in Event-B SS2010-23 |
Shin Nakajima (NII) |
(9) |
16:00-16:30 |
Argument Filterings and Usable Rules in Higher-Order Rewrite Systems SS2010-24 |
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 SS2010-25 |
Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(11) |
10:30-11:00 |
A Code Search Tool for Repositories of Version Control Systems SS2010-26 |
Toshihiro Kamiya (Future Univ-Hakodate.) |
(12) |
11:00-11:30 |
Generating Descriptions of Nouns in Software from Program Comments SS2010-27 |
Tetsuya Fujiki (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Katsuro Inoue (Osaka Univ.) |
Announcement for Speakers |
General Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
Contact Address and Latest Schedule Information |
SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
Contact Address |
Yoshiaki Takata (Kochi Univ. of Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E- : ![](/ken/images/new/0507csee.gif) ![](/ken/images/new/at.gif) ![](/ken/images/new/tod.gif) ![](/ken/images/new/1217oy.bmp) a![](/ken/images/new/1111tdad.gif) ![](/ken/images/new/ta.gif) ![](/ken/images/new/1111mdye.gif) -![](/ken/images/new/0507veqw.gif) |
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
|