|
|
| 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, Jun 30, 2011 09:55 - 17:30
Fri, Jul 1, 2011 10:00 - 12:00 |
| Topics |
Student Session |
| Conference Place |
Korea University |
| Address |
Anam-dong, Seongbuk-gu Seoul, 136-713 Korea |
| Transportation Guide |
Please see the following URL:
http://www.info.kochi-tech.ac.jp/sigss/programs/2011-06-trans.txt |
Contact
Person |
Prof. Sungdeok Cha (College of Inf. & Commun.) (Japan side: Prof. Shin Nakajima (NII)) |
| Sponsors |
This conference is co-located with the Joint Workshop on Software Science and Engineering.
|
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, Jun 30 AM
09:55 - 12:00 |
| |
09:55-10:00 |
Opening Address ( 5 min. ) |
| |
10:00-10:30 |
"A Cost-Driven Hardware/Software Co-Design Lifecycle Transition Model," Dong-Hyun Lee, Hoh Peter In (Korea University) ( 30 min. ) |
| (1) |
10:30-11:00 |
An Extention of DynAlloy with Concurrency  SS2011-1 |
Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.) |
| (2) |
11:00-11:30 |
Verification of BPEL Workflows Design using Model Checking SS2011-2 |
Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso) |
| (3) |
11:30-12:00 |
An Introduction of a Formal Method in PBL: A Case Report SS2011-3 |
Shinya Yamada, Tomohiro Iwamoto, Tsunayuki Shinozawa, Mitsuhide Honda, Ryo Miyashita (Kyushu Univ.), Takashi Iwasaki, Yasuo Inoue (FUJITSU QNET), Keijiro Araki, Shigeru Kusakabe, Yoichi Omori (Kyushu Univ.) |
| |
12:00-13:00 |
Lunch Break ( 60 min. ) |
Thu, Jun 30 PM
13:00 - 15:00 |
| |
13:00-13:30 |
"TMO-based Automatic Code Generator for Real-time Embedded Software," Ho-Dong Ryu, Woojin Lee (Kyungbuk National University) ( 30 min. ) |
| (4) |
13:30-14:00 |
Static Analysis for k-secrecy against Inference Attacks SS2011-4 |
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki (NAIST) |
| (5) |
14:00-14:30 |
ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts SS2011-5 |
Seiki Tokunaga, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
| (6) |
14:30-15:00 |
Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development SS2011-6 |
Akira Shimojo, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ) |
| |
15:00-15:30 |
Break ( 30 min. ) |
Thu, Jun 30 PM
15:30 - 17:30 |
| |
15:30-16:00 |
"Generating Model of Reactive System through LTL Synthesis," Ryoungkwo Kwon, Gihwon Kwon (Kyonggi University) ( 30 min. ) |
| (7) |
16:00-16:30 |
A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences SS2011-7 |
Tetsuya Kanda, Yuki Manabe, Takashi Ishio, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
| (8) |
16:30-17:00 |
A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD SS2011-8 |
Kazunori Sakamoto (Waseda Univ.), Takuto Wada (Towers Quest), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
| (9) |
17:00-17:30 |
Evaluating Habituation Effect on Conversational Voice Control in Home Network System SS2011-9 |
Noriyuki Matsubara, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
Fri, Jul 1 AM
10:00 - 12:00 |
| |
10:00-10:30 |
"A Scalable Distributed Concolic Testing Approach," Youngjoo Kim, Moonzoo Kim (KAIST) ( 30 min. ) |
| (10) |
10:30-11:00 |
Finding Code Clones for Refactoring with Clone Metrics: A Case Study of Open Source Software SS2011-10 |
Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Takashi Ishio, Katsuro Inoue (Osaka Univ.), Tateki Sano (NEC) |
| (11) |
11:00-11:30 |
An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density SS2011-11 |
Kenji Fujiwara, Kyohei Fushida, Norihiro Yoshida, Hajimu Iida (NAIST) |
| (12) |
11:30-12:00 |
Preliminary Assessment of Software Metrics based on Coding Standards Violations SS2011-12 |
Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa (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-06-28 14:32:21
|