電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 111, Number 107

ソフトウェアサイエンス

開催日 2011-06-30 - 2011-07-01 / 発行日 2011-06-23

[PREV] [NEXT]

[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

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

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会