Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
SS2011-1
An Extention of DynAlloy with Concurrency
Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.)
pp. 1 - 6
SS2011-2
Verification of BPEL Workflows Design using Model Checking
Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso)
pp. 7 - 10
SS2011-3
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.)
pp. 11 - 16
SS2011-4
Static Analysis for k-secrecy against Inference Attacks
Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki (NAIST)
pp. 17 - 22
SS2011-5
ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts
Seiki Tokunaga, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)
pp. 23 - 28
SS2011-6
Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development
Akira Shimojo, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ)
pp. 29 - 34
SS2011-7
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.)
pp. 35 - 40
SS2011-8
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.)
pp. 41 - 46
SS2011-9
Evaluating Habituation Effect on Conversational Voice Control in Home Network System
Noriyuki Matsubara, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)
pp. 47 - 52
SS2011-10
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)
pp. 53 - 57
SS2011-11
An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density
Kenji Fujiwara, Kyohei Fushida, Norihiro Yoshida, Hajimu Iida (NAIST)
pp. 59 - 62
SS2011-12
Preliminary Assessment of Software Metrics based on Coding Standards Violations
Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.)
pp. 63 - 67
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.