Information and Systems-Software Science(Date:2011/06/23)

Presentation
表紙

,  

[Date]2011/6/23
[Paper #]
目次

,  

[Date]2011/6/23
[Paper #]
An Extention of DynAlloy with Concurrency

Takuya IWATSUKA,  Shoji YUEN,  

[Date]2011/6/23
[Paper #]SS2011-1
Verification of BPEL Workflows Design using Model Checking

Ryosuke NAKASHIRO,  Yasutaka KAMEI,  Naoyasu UBAYASHI,  Shin NAKAJIMA,  Akihito IWAI,  

[Date]2011/6/23
[Paper #]SS2011-2
An Introduction of A Formal Method in PBL : A Case Report

Shinya Yamada,  Tomohiro Iwamoto,  Tsunayuki Shinozawa,  Mitsuhide Honda,  Ryo Miyashita,  Takashi Iwasaki,  Yasuo Inoue,  Keijiro Araki,  Shigeru Kusakabe,  Yoichi Omori,  

[Date]2011/6/23
[Paper #]SS2011-3
Static Analysis for k-secrecy against Inference Attacks

Chittaphone PHONHARATH,  Kenji HASHIMOTO,  Hiroyuki SEKI,  

[Date]2011/6/23
[Paper #]SS2011-4
ReceiptLog : A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts

Seiki TOKUNAGA,  Shinsuke MATSUMOTO,  Masahide NAKAMURA,  

[Date]2011/6/23
[Paper #]SS2011-5
Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development

Akira SHIMOJO,  Shinsuke MATSUMOTO,  Masahide NAKAMURA,  

[Date]2011/6/23
[Paper #]SS2011-6
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,  

[Date]2011/6/23
[Paper #]SS2011-7
A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD

Kazunori SAKAMOTO,  Takuto WADA,  Hironori WASHIZAKI,  Yoshiaki FUKAZAWA,  

[Date]2011/6/23
[Paper #]SS2011-8
Evaluating Habituation Effect on Conversational Voice Control in Home Network System

Noriyuki MATSUBARA,  Shinsuke MATSUMOTO,  Masahide NAKAMURA,  

[Date]2011/6/23
[Paper #]SS2011-9
Finding Code Clones for Refactoring with Clone Metrics : A Case Study of Open Source Software

Eunjong CHOI,  Norihiro YOSHIDA,  Takashi ISHIO,  Katsuro INOUE,  Tateki SANO,  

[Date]2011/6/23
[Paper #]SS2011-10
An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density

Kenji FUJIWARA,  Kyohei FUSHIDA,  Norihiro YOSHIDA,  Hajimu IIDA,  

[Date]2011/6/23
[Paper #]SS2011-11
Preliminary Assessment of Software Metrics based on Coding Standards Violations

Yasunari TAKAI,  Takashi KOBAYASHI,  Kiyoshi AGUSA,  

[Date]2011/6/23
[Paper #]SS2011-12
複写される方へ

,  

[Date]2011/6/23
[Paper #]
Notice for Photocopying

,  

[Date]2011/6/23
[Paper #]
奥付

,  

[Date]2011/6/23
[Paper #]
裏表紙

,  

[Date]2011/6/23
[Paper #]