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 -- |
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 |
Yoshihisa Tsubota, Tsuneo Ajisaka (Wakayama Univ.) |
(3) |
14:20-14:50 |
DAO Design Pattern for Multi-version Schema of XML Database |
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 |
Takahiro Komamizu, Yasuhiro Hayase, Hiroyuki Kitagawa (Univ. of Tsukuba) |
(5) |
15:35-16:05 |
Development and Implementation of an Efficient Algorithm for Delta Mining |
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 |
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 |
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 |
Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.) |
(9) |
10:30-11:00 |
A discussion of inspections based on patterns for CSP descriptions |
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 |
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 |
Takashi Nakashima, Shoji Yuen (Nagoya Univ.) |
(12) |
12:15-12:45 |
Incorporating Elementary Symmetric Clauses into SAT Solvers with Two-Watched-Literal Scheme |
Yoshizane Hino, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |