Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2008-48
システム特性を考慮したペアワイズテストの改良
○秀島健太郎・土屋達弘・菊野 亨（阪大）
pp. 1 - 6
SS2008-49
MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
○沈 悦・福安直樹・吉田 敦・鯵坂恒夫（和歌山大）
pp. 7 - 12
SS2008-50
改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発
○渥美清隆（鈴鹿高専）・増山 繁（豊橋技科大）
pp. 13 - 16
SS2008-51
Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
○馬場 敬・結縁祥治・阿草清滋（名大）
pp. 17 - 22
SS2008-52
並列分散型SATソルバにおける探索空間の分割手法の提案
○高見明秀・鍋島英知・岩沼宏治（山梨大）
pp. 23 - 28
SS2008-53
［招待講演］時間オートマトンのモデル検査
○中田明夫（広島市大）
pp. 29 - 34
SS2008-54
教育用コンパイラXCCとその可視化ツールMieruCompiler
○権藤克彦・野崎広弥（東工大）
pp. 35 - 42
SS2008-55
x86版DRACULAのバグ修復と予備評価
○大菅星哉（東工大）・田原貴光（NEC）・権藤克彦（東工大）
pp. 43 - 48
SS2008-56
設計支援ツールPerseusに対するリバースエンジニアリング機能の組み込み
○才所直也・掛下哲郎（佐賀大）
pp. 49 - 54
SS2008-57
カラー二次元コードを高解像度化するための認識アルゴリズムの実現と評価
○寺田遼平・藤本敬介・中山泰一（電通大）
pp. 55 - 60
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．