| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2011年度)
「from:2011-06-30 to:2011-06-30」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2011-06-30 10:30 |
海外 | 高麗大(韓国) | An Extention of DynAlloy with Concurrency ○Takuya Iwatsuka・Shoji Yuen（Nagoya Univ.）  SS2011-1 |
We extend the DynAlloy specification language to deal with c... [more] | SS2011-1 pp.1-6 |
| SS | 2011-06-30 11:00 |
海外 | 高麗大(韓国) | 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 |
海外 | 高麗大(韓国) | 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 |
[more] | SS2011-3 pp.11-16 |
| SS | 2011-06-30 13:30 |
海外 | 高麗大(韓国) | 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 |
海外 | 高麗大(韓国) | レシログ：レシート蓄積・振り返りのための消費者向けライフログサービス ○徳永清輝・柗本真佑・中村匡秀（神戸大） SS2011-5 |
我々は，先行研究においてレシートをデジタル化して様々なアプリケーション・サービスに活用できるレシートサービス基盤を構築し... [more] | SS2011-5 pp.23-28 |
| SS | 2011-06-30 14:30 |
海外 | 高麗大(韓国) | 実アプリケーション開発を通したライフログ標準データモデルとマッシュアップAPIの評価 ○下條 彰・柗本真佑・中村匡秀（神戸大） SS2011-6 |
[more] | SS2011-6 pp.29-34 |
| SS | 2011-06-30 16:00 |
海外 | 高麗大(韓国) | 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 ... [more] | SS2011-7 pp.35-40 |
| SS | 2011-06-30 16:30 |
海外 | 高麗大(韓国) | 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... [more] | SS2011-8 pp.41-46 |
| SS | 2011-06-30 17:00 |
海外 | 高麗大(韓国) | ホームネットワークシステムの対話型音声操作における慣れ効果の評価 ○松原典行・柗本真佑・中村匡秀（神戸大） SS2011-9 |
[more] | SS2011-9 pp.47-52 |
| SS | 2011-07-01 10:30 |
海外 | 高麗大(韓国) | 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 |
[more] | SS2011-10 pp.53-57 |
| SS | 2011-07-01 11:00 |
海外 | 高麗大(韓国) | 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. W... [more] |
SS2011-11 pp.59-62 |
| SS | 2011-07-01 11:30 |
海外 | 高麗大(韓国) | 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 ... [more] | SS2011-12 pp.63-67 |
[研究会発表申込システムのトップページに戻る]