|
データマイニング技術を応用したソフトウェア構築・保守支援
|
データ マイニング ギジュツ オ オウヨウ シタ ソフトウェア コウチク ホシュ シエン |
小林 隆志／著 |
コバヤシ タカシ |
１－２ |
|
SAT/SMTソルバとそのソフトウェア工学分野での応用
|
エスエーティー エスエムティー ソルバ ト ソノ ソフトウェア コウガク ブンヤ デノ オウヨウ |
梅村 晃広／著 |
ウメムラ アキヒロ |
３－４ |
|
属性つきゴールグラフにおけるゴールの品質特性
|
ゾクセイツキ ゴール グラフ ニ オケル ゴール ノ ヒンシツ トクセイ |
鵜飼 孝典／著 |
ウガイ タカノリ |
５－１４ |
|
デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計
|
デザイン パターン オ モチイタ ソース コード インスペクション ツール ノ ソフトウェア アーキテクチャ セッケイ |
浦野 彰彦／ほか著 |
ウラノ アキヒコ |
１５－２４ |
|
実装者に依存しないプログラム規模の測定に向けて
|
ジッソウシャ ニ イゾン シナイ プログラム キボ ノ ソクテイ ニ ムケテ |
門田 暁人／著 |
モンデン アキト |
２５－３４ |
|
表明動的生成を目的としたテストケース制約のESC/Java2を利用した導出
|
ヒョウメイ ドウテキ セイセイ オ モクテキ ト シタ テスト ケース セイヤク ノ イーエスシー ジャヴァ ツー オ リヨウ シタ ドウシュツ |
小林 和貴／ほか著 |
コバヤシ カズキ |
３５－４４ |
|
プログラム変更履歴調査のための編集操作再生器
|
プログラム ヘンコウ リレキ チョウサ ノ タメ ノ ヘンシュウ ソウサ サイセイキ |
大森 隆行／著 |
オオモリ タカユキ |
４５－５４ |
|
トレースに基づくデバッグにおける欠陥箇所発見支援手法
|
トレース ニ モトズク デバッグ ニ オケル ケッカン カショ ハッケン シエン シュホウ |
上原 伸介／ほか著 |
ウエハラ ノブユキ |
５５－６４ |
|
CONPASU‐tool:記号処理に基づく並行プロセス解析支援ツールの試作
|
コンパス ツール キゴウ ショリ ニ モトズク ヘイコウ プロセス カイセキ シエン ツール ノ シサク |
磯部 祥尚／著 |
イソベ ヨシナオ |
６５－７４ |
|
組込みシステム検証のためのUML+MARTEモデルから時間オートマトンへの変換手法
|
クミコミ システム ケンショウ ノ タメ ノ ユーエムエル プラス マルテ モデル カラ ジカン オートマトン エノ ヘンカン シュホウ |
小野 康一／ほか著 |
オノ コウイチ |
７５－８４ |
|
テキスト処理のためのパーザーコンビネーター
|
テキスト ショリ ノ タメ ノ パーザー コンビネーター |
岩間 太／著 |
イワマ フトシ |
８５－９４ |
|
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法
|
ソース コード カイセキ オ リヨウ シタ モデル ケンサ ニ モトズク ケッカン チュウシュツ シュホウ |
青木 善貴／著 |
アオキ ヨシタカ |
９５－１００ |
|
検証項目を持つ情報制御システム記述言語のための分析・設計手法
|
ケンショウ コウモク オ モツ ジョウホウ セイギョ システム キジュツ ゲンゴ ノ タメ ノ ブンセキ セッケイ シュホウ |
小飼 敬／ほか著 |
コガイ ケイ |
１０１－１０６ |
|
モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して
|
モデル ケンサ オ モチイタ フルマイ ケンショウ ノ ジツヨウカ ギジュツ ニ カンスル コウサツ モウラセイ ニ チャクモク シテ |
張 漢明／ほか著 |
チョウ カンメイ |
１０７－１１２ |
|
プロセス標準化に着目したソフトウェア保守ベンチマーク構築の試み
|
プロセス ヒョウジュンカ ニ チャクモク シタ ソフトウェア ホシュ ベンチ マーク コウチク ノ ココロミ |
角田 雅照／ほか著 |
ツノダ マサテル |
１１３－１１８ |
|
Webサービスのリファクタリング検出と自動適応
|
ウェブ サービス ノ リファクタリング ケンシュツ ト ジドウ テキオウ |
福留 康之／著 |
フクトメ ヤスユキ |
１１９－１２４ |
|
テンプレートメソッドの形成に基づく類似メソッド集約支援
|
テンプレート メソッド ノ ケイセイ ニ モトズク ルイジ メソッド シュウヤク シエン |
政井 智雄／ほか著 |
マサイ トモオ |
１２５－１３０ |
|
多面的テストの統合によるユーザビリティ評価
|
タメンテキ テスト ノ トウゴウ ニ ヨル ユーザビリティ ヒョウカ |
矢下 雄一郎／ほか著 |
ヤシタ ユウイチロウ |
１３１－１３６ |
|
OEMソフトウェア製品の検証プロセスの分析
|
オーイーエム ソフトウェア セイヒン ノ ケンショウ プロセス ノ ブンセキ |
名倉 正剛／著 |
ナグラ マサタカ |
１３７－１４２ |
|
組合せテストの評価と直交表を用いた網羅率改善法
|
クミアワセ テスト ノ ヒョウカ ト チョッコウヒョウ オ モチイタ モウラリツ カイゼンホウ |
曽我部 幸司／著 |
ソガベ コウジ |
１４３－１４８ |
|
デバッグ支援のためのグラフベース推薦システム
|
デバッグ シエン ノ タメ ノ グラフ ベース スイセン システム |
塩塚 大／著 |
シオズカ マサル |
１４９－１５４ |
|
ケーススタディ:KAOS/UMLモデリング
|
ケース スタディ カオス ユーエムエル モデリング |
本田 耕三／ほか著 |
ホンダ コウゾウ |
１５５－１６０ |
|
高度道路交通システム向け開放型分散アスペクト指向フレームワーク
|
コウド ドウロ コウツウ システムムケ カイホウガタ ブンサン アスペクト シコウ フレームワーク |
成瀬 龍人／ほか著 |
ナルセ リュウト |
１６１－１６６ |
|
ファイル結合によるウェブサイトのフロントエンド性能の改善
|
ファイル ケツゴウ ニ ヨル ウェブ サイト ノ フロント エンド セイノウ ノ カイゼン |
野ケ山 尊秀／著 |
ノガヤマ タカヒデ |
１６７－１７２ |
|
組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法
|
クミコミ ソフトウェア セイヒン ファミリ ニ オケル コンパイル スイッチ ニ ヨル コウセイ カンリ シュホウ |
渥美 紀寿／ほか著 |
アツミ ノリトシ |
１７３－１７８ |
|
ナップサック問題としてのFault‐proneモジュール選択とそこでのメトリクスの効果について
|
ナップサック モンダイ ト シテ ノ フォールト プローン モジュール センタク ト ソコ デノ メトリクス ノ コウカ ニ ツイテ |
山下 裕也／著 |
ヤマシタ ユウヤ |
１７９－１８０ |
|
仕様記述を必要としない有界レグレッション検知フレームワークの提案
|
シヨウ キジュツ オ ヒツヨウ ト シナイ ユウカイ レグレッション ケンチ フレームワーク ノ テイアン |
吉田 雅年／著 |
ヨシダ マサトシ |
１８１－１８２ |
|
事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
|
ジレイ ブンセキ ニ モトズク クミコミ システム ニ テキシタ ソフトウェア アーキテクチャ ノ テイアン |
海老原 健一／ほか著 |
エビハラ ケンイチ |
１８３－１８４ |
|
モバイルデバイスにおけるカスタマイズ可能なインタフェースに関する研究
|
モバイル デバイス ニ オケル カスタマイズ カノウ ナ インタフェース ニ カンスル ケンキュウ |
棚池 祐樹／著 |
タナイケ ユウキ |
１８５－１８６ |
|
オブジェクト生成関係抽出ツールROBIN
|
オブジェクト セイセイ カンケイ チュウシュツ ツール アールオービーアイエヌ |
中野 佑紀／ほか著 |
ナカノ ユウキ |
１８７－１８８ |
|
IZMI:成果物の修正頻度に着目したソフトウェア開発履歴の可視化ツール
|
アイゼットエムアイ セイカブツ ノ シュウセイ ヒンド ニ チャクモク シタ ソフトウェア カイハツ リレキ ノ カシカ ツール |
大蔵 君治／著 |
オオクラ キミハル |
１８９－１９０ |
|
教室コンピュータを利用した大規模不正コピーレポート検出システムの開発
|
キョウシツ コンピュータ オ リヨウ シタ ダイキボ フセイ コピー レポート ケンシュツ システム ノ カイハツ |
尾花 将輝／ほか著 |
オバナ マサキ |
１９１－１９２ |
|
テスティングフレームワークにおける問題と考察
|
テスティング フレームワーク ニ オケル モンダイ ト コウサツ |
坂本 一憲／著 |
サカモト カズノリ |
１９３－１９４ |
