Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2011-06-30 10:30 |
Overseas |
Korea Univ. (Seoul) |
An Extention of DynAlloy with Concurrency Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.) SS2011-1 |
We extend the DynAlloy specification language to deal with concurrency. DynAlloy is an extension of the Alloy specificat... [more] |
SS2011-1 pp.1-6 |
SS |
2011-06-30 11:00 |
Overseas |
Korea Univ. (Seoul) |
Verification of BPEL Workflows Design using Model Checking Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso) SS2011-2 |
[more] |
SS2011-2 pp.7-10 |
SS |
2011-06-30 11:30 |
Overseas |
Korea Univ. (Seoul) |
An Introduction of a Formal Method in PBL: A Case Report 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.) SS2011-3 |
In this paper, we report our PBL whose aim is to establish a guideline
to introduce formal methods into software develo... [more] |
SS2011-3 pp.11-16 |
SS |
2011-06-30 13:30 |
Overseas |
Korea Univ. (Seoul) |
Static Analysis for k-secrecy against Inference Attacks Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki (NAIST) SS2011-4 |
[more] |
SS2011-4 pp.17-22 |
SS |
2011-06-30 14:00 |
Overseas |
Korea Univ. (Seoul) |
ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts Seiki Tokunaga, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) SS2011-5 |
We have previously implemented the receipt service platform, where consumers can digitize their own receipts for various... [more] |
SS2011-5 pp.23-28 |
SS |
2011-06-30 14:30 |
Overseas |
Korea Univ. (Seoul) |
Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development Akira Shimojo, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ) SS2011-6 |
[more] |
SS2011-6 pp.29-34 |
SS |
2011-06-30 16:00 |
Overseas |
Korea Univ. (Seoul) |
A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences Tetsuya Kanda, Yuki Manabe, Takashi Ishio, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2011-7 |
For both users and developers, it is important to select an appropriate application from similar ones. There are some wa... [more] |
SS2011-7 pp.35-40 |
SS |
2011-06-30 16:30 |
Overseas |
Korea Univ. (Seoul) |
A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD Kazunori Sakamoto (Waseda Univ.), Takuto Wada (Towers Quest), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) SS2011-8 |
The amount of test code has increased as the test technology has developed and the amount of duplicated test code that i... [more] |
SS2011-8 pp.41-46 |
SS |
2011-06-30 17:00 |
Overseas |
Korea Univ. (Seoul) |
Evaluating Habituation Effect on Conversational Voice Control in Home Network System Noriyuki Matsubara, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) SS2011-9 |
The voice control is an easy and effective method to operate heterogeneous devices in the home network system (HNS).
H... [more] |
SS2011-9 pp.47-52 |
SS |
2011-07-01 10:30 |
Overseas |
Korea Univ. (Seoul) |
Finding Code Clones for Refactoring with Clone Metrics: A Case Study of Open Source Software Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Takashi Ishio, Katsuro Inoue (Osaka Univ.), Tateki Sano (NEC) SS2011-10 |
A code clone is a code fragment that has identical or similar code fragments to it in the source code.
Code clone has b... [more] |
SS2011-10 pp.53-57 |
SS |
2011-07-01 11:00 |
Overseas |
Korea Univ. (Seoul) |
An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density Kenji Fujiwara, Kyohei Fushida, Norihiro Yoshida, Hajimu Iida (NAIST) SS2011-11 |
Refactoring is a technique for improving software design.
We propose an approach to investigating how a lack of softwar... [more] |
SS2011-11 pp.59-62 |
SS |
2011-07-01 11:30 |
Overseas |
Korea Univ. (Seoul) |
Preliminary Assessment of Software Metrics based on Coding Standards Violations Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.) SS2011-12 |
Software metrics is one of promise technique to capture the size and quality of products, development process in order t... [more] |
SS2011-12 pp.63-67 |