|
|
| 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, Oct 27, 2011 13:20 - 17:20
Fri, Oct 28, 2011 09:30 - 12:45 |
| Topics |
General topics |
| Conference Place |
Japan Advanced Institute of Science and Technology |
| Address |
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan. |
| Transportation Guide |
11 min. by JAIST shuttle bus from Tsurugi Sta. (Hokuriku Railroad Co.)
http://www.jaist.ac.jp/english/location/index.html |
Contact
Person |
Prof. Masato Suzuki |
| Announcement |
Please join us for an opening reception.
Kanazawa Manten Hotel (in front of JR Kanazawa Sta.) 1F 19:00-21:00 |
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, Oct 27 PM
13:20 - 14:50 |
| (1) |
13:20-13:50 |
Research into the impact on sales caused by the spread of information on SNS
-- Correlation between number of tweets on Twitter and sales of mobile application on iTunes AppStore --  SS2011-27 |
Tasuku Okuda, Takami Yasuda (Nagoya Univ.), Masashi Mizuno (QueryEye) |
| (2) |
13:50-14:20 |
Information System Development Method Based on the Service Supply and Demand Schema SS2011-28 |
Yoshihisa Tsubota, Tsuneo Ajisaka (Wakayama Univ.) |
| (3) |
14:20-14:50 |
DAO Design Pattern for Multi-version Schema of XML Database SS2011-29 |
Toshifumi Enomoto, Gengo Suzuki, Nobuyuki Kobayashi, Masashi Yamamuro (NTT) |
| |
14:50-15:05 |
Break ( 15 min. ) |
Thu, Oct 27 PM
15:05 - 16:05 |
| (4) |
15:05-15:35 |
Towards Efficient Faceted Navigation for Software Component Search SS2011-30 |
Takahiro Komamizu, Yasuhiro Hayase, Hiroyuki Kitagawa (Univ. of Tsukuba) |
| (5) |
15:35-16:05 |
Development and Implementation of an Efficient Algorithm for Delta Mining SS2011-31 |
Keishi Yamane, Naoya Nitta (Konan Univ.) |
| |
16:05-16:20 |
Break ( 15 min. ) |
Thu, Oct 27 PM
16:20 - 17:20 |
| (6) |
16:20-17:20 |
[Invited Talk]
Driving Forces of Research on Software Engineering SS2011-32 |
Koichiro Ochimizu (JAIST) |
Fri, Oct 28 AM
09:30 - 11:00 |
| (7) |
09:30-10:00 |
Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation SS2011-33 |
Kazuhiro Kabashima, Akio Nakata (Hiroshima City Univ.) |
| (8) |
10:00-10:30 |
A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints SS2011-34 |
Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.) |
| (9) |
10:30-11:00 |
A discussion of inspections based on patterns for CSP descriptions SS2011-35 |
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) |
| |
11:00-11:15 |
Break ( 15 min. ) |
Fri, Oct 28 AM
11:15 - 12:45 |
| (10) |
11:15-11:45 |
Iterative Construction of Finite Alloy Descriptions SS2011-36 |
Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) |
| (11) |
11:45-12:15 |
Towards a formal verification of interrupts in TOPPERS/ASP by the separation logic SS2011-37 |
Takashi Nakashima, Shoji Yuen (Nagoya Univ.) |
| (12) |
12:15-12:45 |
Incorporating Elementary Symmetric Clauses into SAT Solvers with Two-Watched-Literal Scheme SS2011-38 |
Yoshizane Hino, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya 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. Tech.)
TEL 0887-57-2207
FAX 0887-57-2220
E- :      a    -  |
| Announcement |
Latest information will be presented on the homepage
http://www.info.kochi-tech.ac.jp/sigss/ |
Last modified: 2011-10-18 16:13:33
|