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
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．