Vol.IX |
招待講演 |
情報技術とカタカナ語 |
牛島和夫(九州産業大,九州システム情報技術研) 1 |
数式処理とWeb コンピューティング |
野田松太郎(愛媛大) 7 |
開発と環境 |
XCI:CASEツール開発向けANSICインタプリタの開発経験 |
権藤克彦,川島勇人(JAIST) 13 |
資源適合型アプリケーション統合開発環境の提案 |
中川晋吾(静岡大),金指文明(カラビナシステムズ), |
谷沢智史,富樫敦(静岡大) 25 |
作業分割による増加工数を考慮した工数見積もりモデルの提案 |
花川典子(阪南大),松本健一,鳥居宏次(NAIST) 37 |
分散オブジェクトの高信頼化へのアプローチ |
杉山安洋(日大) 49 |
分析 |
システム分析の進展に伴うモデル図の有効利用 |
瀬沼祐志,丸山潤,川端亮,伊藤潔(上智大) 61 |
異なる視点で記述されたシナリオの統合支援手法 |
張紅輝,藤本宏,大西淳(立命館大) 73 |
意味要素集合によるUMLアクティビティ図の意味解析 |
福安直樹(和歌山大),平松宏章(日立ソフト), |
鯵坂恒夫,満田成紀,吉田敦(和歌山大) 85 |
現実的なプログラミング問題作成手法の提案 |
藤田充典,権藤克彦,落水浩一郎(JAIST) 95 |
論理と検証 |
項書換えを用いた安全性検証の組織化 |
清野貴博(JAIST),緒方和博(NECソフト),二木厚吉(JAIST) 107 |
並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理 |
磯部祥尚,大蒔和仁(産総研) 119 |
IOA-ToolkitによるNepiネットワークプログラミングシステムの検証 |
河辺義信,真野健(日本電信電話) 131 |
極小性チェックを必要としない極小変更ソフトウェア仕様の導出 |
佐藤健(情報学研) 143 |
オブジェクト指向 |
解析可能なオブジェクトモデルとしての制約付きクラス図 |
宗像 一樹,二木厚吉(JAIST) 151 |
メソッドの結合範囲に基づいたクラス凝集度メトリクス |
山崎 健司,阿萬裕久,山田宏之,野田松太郎(愛媛大) 155 |
Javaプログラミングに対するデザインパターン適用支援ツール |
山下純司(エヌ・アイ・エス), |
谷川健,高木俊幸,林雄二(北海道情報大) 159 |
アスペクト指向を用いた並列言語実行時環境構成のためのフレームワーク |
児玉靖司,野呂昌満(南山大) 163 |
XML を利用したHTML文書生成系の提案 |
蜂巣吉成(南山大) 167 |
形式化 |
diffを用いたソフトウェア構成要素の階層化差分 |
新美健一(名大),山本晋一郎(愛知県大),阿草清滋(名大) 171 |
プログラム構造の形式化による追従性分析法 |
佐藤匡正(島根大),岸本頼紀(名工大) 175 |
ソフトウェアアーキテクチャにおける形式手法の適用に関する考察 |
張漢明,野呂昌満,蜂巣吉成(南山大),荒木啓二郎(九大), |
熊崎敦司(南山大) 179 |
表のための属性付きグラフとアルゴリズム |
本橋友江(早大),土田賢省(東洋大),夜久竹夫(日大) 183 |
テーブルを用いた形式仕様記述 |
小池 憲史,二木厚吉(JAIST) 187 |
CafeOBJにおける書き換えエンジンの停止性 |
中村正樹(JAIST),櫻井一雅(日総研),二木厚吉(JAIST) 191 |
ミニチュートリアル |
データマイニング技術を応用したソフトウェア構築・保守支援 1 |
小林隆志(名古屋大学),林晋平(東京工業大学) |
SAT/SMTソルバとそのソフトウェア工学分野での応用 3 |
梅村晃広(株式会社NTTデータ) |
ソフトウェアの多面性~要求から,設計から,コードから |
属性つきゴールグラフにおけるゴールの品質特性 5 |
鵜飼孝典(東京工業大学,富士通研究所),林晋平,佐伯元司(東京工業大学) |
デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計 15 |
浦野彰彦,沢田篤史,野呂昌満,蜂巣吉成,張漢明,吉田敦(南山大学) |
実装者に依存しないプログラム規模の測定に向けて 25 |
門田暁人(奈良先端科学技術大学院大学),内田眞司(奈良工業高等専門学校) |
松本健一(奈良先端科学技術大学院大学) |
支援ツール |
表明動的生成を目的としたテストケース制約のESC/Java2を利用した導出 35 |
小林和貴,宮本敬三,岡野浩三,楠本真二(大阪大学) |
プログラム変更履歴調査のための編集操作再生器 45 |
大森隆行,丸山勝久(立命館大学) |
トレースに基づくデバッグにおける欠陥箇所発見支援手法 55 |
上原伸介,小林隆志,渥美紀寿(名古屋大学) |
山本晋一郎(愛知県立大学),阿草清滋(名古屋大学) |
形式的解析。検証 |
CONPASU-tool:記号処理に基づく並行プロセス解析支援ツールの試作 65 |
磯部祥尚(産業技術総合研究所) |
組込みシステム検証のためのUML+MARTEモデルから時間オートマトンへの変換手法 75 |
小野康一,河原亮,中村健太,坂本佳史,中田武男(日本アイ・ビー・エム株式会社) |
テキスト処理のためのパーザーコンビネーター |
岩間太,中村大賀,竹内広宜(日本アイ・ビー・エム株式会社) |
検証 |
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法 95 |
青木善貴,松浦佐江子(芝浦工業大学) |
検証項目を持つ情報制御システム記述言語のための分析・設計手法 101 |
小飼敬(茨城工業高等専門学校),柳翔太,上田賀一(茨城大学) |
大久保訓,高橋勇喜,中野利彦(株式会社日立製作所) |
モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して- |
張漢明,野呂昌満,沢田篤史,蜂巣吉成,吉田敦(南山大学) |
ソフトウェア保守 |
プロセス標準化に着目したソフトウェア保守ベンチマーク構築の試み |
角田雅照,門田暁人,松本健一(奈良先端科学技術大学院大学) |
高橋昭彦,押野智樹(財団法人経済調査会) |
Webサービスのリファクタリング検出と自動適応 119 |
福留康之,鷲崎弘宜,深澤良彰(早稲田大学) |
テンプレートメソッドの形成に基づく類似メソッド集約支援 125 |
政井智雄(大阪大学),吉田則裕(奈良先端科学技術大学院大学) |
松下誠,井上克郎(大阪大学) |
テストと分析 |
多面的テストの統合によるユーザビリテイ評価 131 |
矢下雄一郎(早稲田大学),白銀純子(東京女子大学) |
岩田一(神奈川工科大学),深澤良彰(早稲田大学) |
OEMソフトウェア製品の検証プロセスの分析 137 |
名倉正剛(株式会社日立製作所),川口真司,飯田元(奈良先端科学技術大学院大学) |
組合せテストの評価と直交表を用いた網羅率改善法 143 |
曽我部幸司,阿萬裕久(愛媛大学) |
デバッグ支援のためのグラフベース推薦システム 149 |
塩塚大(九州工業大学),鵜林尚靖(九州大学) |
開発から管理まで |
ケーススタディ:KAOS/UMLモデリング 155 |
本田耕三,中川博之,田原康之,大須賀昭彦(電気通信大学) |
高度道路交通システム向け開放型分散アスペクト指向フレームワーク 161 |
成瀬龍人,野村潤(九州工業大学),外村慶二,鵜林尚靖(九州大学) |
司代尊裕,岩井明史(株式会社デンソー) |
ファイル結合によるウェブサイトのフロントエンド性能の改善 167 |
野ヶ山尊秀,井床利生(IBM東京基礎研究所) |
組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法 173 |
渥美紀寿,谷聡貴(名古屋大学),大塚直也(愛知県立大学) |
小林隆志(名古屋大学),山本晋一郎(愛知県立大学),阿草清滋(名古屋大学) |
ライブ論文 |
ナップサック問題としてのFault-proneモジュール選択とそこでのメトリクスの効果について 179 |
山下裕也,阿萬裕久(愛媛大学) |
仕様記述を必要としない有界レグレッション検知フレームワークの提案 181 |
吉田雅年(株式会社日立製作所/Massachusetts Institute of Technology) |
事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案 |
海老原健一,満田成紀,福安直樹,鯵坂恒夫(和歌山大学) |
モバイルデバイスにおけるカスタマイズ可能なインタフェースに関する研究 185 |
棚池祐樹,福田浩章,山本喜一(慶應義塾大学) |
オブジェクト生成関係抽出ツールROBIN 187 |
中野佑紀,伊達浩典,渡邊結,石尾隆,井上克郎(大阪大学) |
IZMI:成果物の修正頻度に着目したソフトウェア開発履歴の可視化ツール 189 |
大蔵君治,飯田元(奈良先端科学技術大学院大学) |
教室コンピュータを利用した大規模不正コピーレポート検出システムの開発 191 |
尾花将輝(奈良先端科学技術大学院大学),妹背武志,花川典子(阪南大学) |
飯田元(奈良先端科学技術大学院大学) |
テスティングフレームワークにおける問題と考察 193 |
坂本一憲,鷲崎弘宜,深澤良彰(早稲田大学) |
招待講演論文 |
「ソースコード天国」実現に向けて 1 |
大和 正武(レッドハット株式会社) |
1.開発環境とツール |
SMTベースのCOPデバッグ支援 11 |
内尾静,鵜林尚靖,亀井靖高(九州大学) |
コンパイル方式によるXQuery問い合わせプログラム生成方法 21 |
蜂巣吉成,野呂昌満,沢田篤史,張漢明,吉田敦(南山大学) |
実行時エラー時に変数の推移’青報を表示するJava仮想マシンの提案 31 |
星孝一郎,山本哲男,杉山安洋(日本大学) |
2.開発プロセス支援 |
シナリオ差分に基づくシナリオ検索手法 41 |
吉田裕作,大西淳(立命館大学) |
Ajaxアプリケーションを対象としたラウンドトリップエンジニアリング支援手法 51 |
林干博(慶應義塾大学),名倉正剛(株式会社日立製作所),高田眞吾(慶應義塾大学) |
3.開発プロセスの理解 |
ソースコード編集履歴のリファクタリング手法 61 |
林晋平(東京工業大学),大森隆行(立命館大学),善明晃由(東京工業大学) |
丸山勝久(立命館大学),佐伯元司(東京工業大学) |
ソースコード差分のレビューにおけるレビューアの理解度の実験的評価 71 |
田口雅裕(奈良先端大学),森崎修司(静岡大学),松本健一(奈良先端大学) |
OSS開発におけるコミッター選出のための開発者の活動量に関する実証的分析 |
伊原彰紀,藤田将司,大平雅雄,松本健一(奈良先端大学) |
4.モデリング手法 |
統一ソーシャルグラフモデルの提案とSNSへの適用評価 91 |
青山幹雄,横井公紀(南山大学) |
ソフトウェアモデル間のスケーラブルな整合化戦略について 97 |
岸知二(早稲田大学) |
組込みシステムのリソースモデルからUPPAAL時間オートマトンへの変換手法 103 |
モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察 109 |
吉池弘樹,本田耕三,中川博之,田原康之,大須賀昭彦(電気通信大学) |
5.実装技術 |
DCWeaver:動的なWebコンテンツを考慮したアスペクト指向言語の設計と実装 115 |
永島康平(慶應義塾大学),福田浩章(芝浦工業大学),山本喜一(慶應義塾大学) |
プログラム理解支援を目的とした編集操作スライスとその再生 121 |
丸山勝久,木津栄二郎,大森隆行(立命館大学),林晋平(東京工業大学) |
スタンドアロンソフトウェアを発展させた分散システムにおけるオブジェクト配置制御法 127 |
神田翔太,山本哲男,杉山安洋(日本大学) |
ミラーリング可能な分散オブジェクトシステムの重複メソッド呼び出し問題とその解決法 133 |
山ノ内健,山本哲男,杉山安洋(日本大学) |
6.モデル検査・設計支援手法 |
非機能特性を考慮した自己適応システムの動的再構成手法の提案 139 |
堀越永幸,中川博之,田原康之,大須賀昭彦(電気通信大学) |
情報制御システム記述言語による列車運行制御モデルの記述と検証 145 |
小飼敬(茨城工専),小山恭平,上田賀一(茨城大学) |
高橋勇喜,武澤隆之,中野利彦(株式会社日立製作所) |
時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法 151 |
新井貴大,島川昌也,萩原茂樹,米崎直樹(東京工業大学) |
Support for Generating UML Class Diagrams and OCL Constraints from KAGS Model 157 |
Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, |
Akihiko Ohsuga (Univ. electro-Communications) |
7.テストと保守 |
呼び出し関係を用いた単体テストおよび静的検査の可視化手法の改善とその評価 163 |
武藤祐子,岡野浩三,楠本真二(大阪大学) |
業務アプリケーションの結合テストでの回帰テスト選択手法 169 |
前田芳晴,上村学,松尾昭彦(富士通研究所),木村茂樹(富士通株式会社) |
保守性向上へ向けた設計モデルとソースコード間のトレーサビリティ解析 175 |
伊藤弘毅,志水理哉(早稲田大学),田邉浩之,波木理恵子(株式会社オージス総研) |
鷲崎弘宜,深澤良彰(早稲田大学) |
設計段階における抽象度を考慮したソフトウェアの保守性評価枠組み 181 |
志水理哉,伊藤弘毅(早稲田大学),田邉浩之,波木理恵子(株式会社オージス総研) |
8.ソフトウェア品質と制約充足問題 187 |
Minimal Unsatisfiable Core 列挙によるプログラムの準最弱な事前条件推定 187 |
今井健男,酒井政裕(株式会社東芝),萩谷昌己(東京大学) |
論理的制約条件付き0-1計画問題として定式化した重点レビュー対象モジュールの選択 197 |
阿萬裕久(愛媛大学) |
9.要求仕様と設計 |
組込みシステムのアーキテクチャー検討における非機能要求の評価に適したモデル変換手法 |
河原亮(日本アイ・ビー・エム株式会社),岡林弘嗣,久住憲嗣(九州大学) |
小野康一,中田武男,坂本佳史,長野正(日本アイ・ビー・エム株式会社) |
中西恒夫,福田晃(九州大学) |
出現単語の上位語,下位語を用いたソフトウェアドキュメントの抽象度定量化 213 |
森崎修司(静岡大学) |
設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験 219 |
小形真平,松浦佐江子(芝浦工業大学) |
ユーザ・ベンダによるソフトウェア要件合意形成プロセスにおけるユーザ発言の自動分類 225 |
戸田航史,松本健一(奈良先端大学),吉田誠,井手直子(東芝ソリューション株式会社) |
10.開発データ分析とサービス化 |
リポジトリマイニング技術共有のためのサービス指向フレームワーク |
松本真佑,中村匡秀(神戸大学) |
不具合管理パターンが不具合修正に与える影響の分析 237 |
大平雅雄,大澤直哉(奈良先端大学),アハマドハッサン(Queen's Univ),松本健一(奈良先端大学) |
プログラム解析技術のサービス化の試み |
桑原寛明(立命館大学),渥美紀寿(名古屋大学),山本晋一郎(愛媛県立大学) |
カスタムソフトの価格妥当性確認に向けた分析 249 |
角田雅照,松本健一(奈良先端大学),大岩佐和子,押野智樹(財団法人経済調査会) |
11.ライブ論文 |
プロジェクトの可視化に基づくPBL指導支援 255 |
福安直樹(和歌山大学),佐伯幸郎(高知工科大学),水谷泰治(大阪工業大学) |
モデル検査技術を用いた性能最適化手法の提案 257 |
長野岳彦(株式会社日立製作所),吉岡信和(国立情報学研究所) |
GPUを利用したポインタ解析の実装と評価 |
深谷敏邦,権藤克彦(東京工業大学) |
Vol.IX |
招待講演 |
情報技術とカタカナ語 |
牛島和夫(九州産業大,九州システム情報技術研) 1 |
数式処理とWeb コンピューティング |
野田松太郎(愛媛大) 7 |