IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
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 TalkEach 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--mail: 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


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   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan