一般セッション・学生セッション
ソフトウェア科学・工学
一般セッション［1B会場］（3月6日（水） 9:30〜12:00）
数理モデル化と問題解決（1） 座長 犬塚 信博（名工大）
鉄道土木構造物の状態監視に用いる 無線センサネットワークの設計モデル
○羽田明生（鉄道総研），廣瀬壮一（東工大），巳波弘佳（関西学院大）
○羽田明生（鉄道総研），廣瀬壮一（東工大），巳波弘佳（関西学院大）
整数計画ソルバーを用いた囲碁における連数最大値探索の効率化
○神保秀司，香西成人（岡山大）
○神保秀司，香西成人（岡山大）
家電オンライン市場のエージェントモデル
○水野貴之（筑波大），渡辺 努（東大）
○水野貴之（筑波大），渡辺 努（東大）
naive bayesを用いたネットユーザのセグメンテーションに関する一考察
○坂巻英一（宮城大），鈴木邦成（文化ファッション大）
○坂巻英一（宮城大），鈴木邦成（文化ファッション大）
ランダムな近傍セル選択による等方的BZ反応セルオートマトンについて
○小林美緒（阿南高専）
○小林美緒（阿南高専）
Improvement of the Accuracy of Mapping by Composing Alleles
○奥田華代，竹中要一，大野朋重，瀬尾茂人，松田秀雄（阪大）
○奥田華代，竹中要一，大野朋重，瀬尾茂人，松田秀雄（阪大）
設備割付の並列化によるMRPの高速化手法
○黄 双全，高橋 完，海老名拓，宗形 聡，岡崎 司（日立ソリューションズ東日本）
○黄 双全，高橋 完，海老名拓，宗形 聡，岡崎 司（日立ソリューションズ東日本）
一般セッション［2B会場］（3月6日（水） 15:30〜18:00）
数理モデル化と問題解決（2） 座長 棟朝 雅晴（北大）
GAを用いた分散システム向けのEnd-to-Endタスクの割り当て
○枝光圭祐，兪 明連（東京都市大）
○枝光圭祐，兪 明連（東京都市大）
設備配置による不均質な相互結合網構築のヒューリスティック手法に関する検討
○當山孝義（日本工大）
○當山孝義（日本工大）
ストリーム上の頻出時系列とその近似発見アルゴリズムについて
○岡本 敦，正代隆義（九大）
○岡本 敦，正代隆義（九大）
PCセンサデータマイニングによるHDD故障予兆検出
○中津川実，西川武一郎（東芝）
○中津川実，西川武一郎（東芝）
開いた構造を持つ事例を対象とした関係的知識発見
○西尾典晃，犬塚信博（名工大）
○西尾典晃，犬塚信博（名工大）
P/Tペトリネットにおける特解導出法に関する一考察
○恐神正博，山西輝也，魚崎勝司（福井工大）
○恐神正博，山西輝也，魚崎勝司（福井工大）
不均一型矩形分割で表現される画像内の図形の移動に伴う矩形数変化
○久保田彬仁（日大），穴田浩一（早大高等学院），高加晋司，神藤悠希，夜久竹夫（日大）
○久保田彬仁（日大），穴田浩一（早大高等学院），高加晋司，神藤悠希，夜久竹夫（日大）
一般セッション［3B会場］（3月7日（木） 9:30〜12:00）
要求・設計 座長 中谷 多哉子（筑波大）
アクターに着目した要求仕様書の一貫性検証手法
○木村隼人，位野木万里，北川貴之（東芝ソリューション）
○木村隼人，位野木万里，北川貴之（東芝ソリューション）
リバースロジスティクス支援システムにおけるドメイン分析に関する研究
○鈴木邦成（文化ファッション大），若林敬造，渡邊昭廣（日大），坂巻英一（宮城県立大）
○鈴木邦成（文化ファッション大），若林敬造，渡邊昭廣（日大），坂巻英一（宮城県立大）
Webアプリケーション開発のためのソフトウェアセキュリティ知識ベースの開発
○櫨山淳雄（東京学芸大）
○櫨山淳雄（東京学芸大）
3B-4
（講演取消）
UMLを対象したソフトウェアオーバーホール手法とその環境
○内田眞司，山本 舜，里中健太郎（奈良高専）
○内田眞司，山本 舜，里中健太郎（奈良高専）
Ontologyを使ったTraceability確立手法の評価
○田中勝輝，小形真平，海谷治彦，海尻賢二（信州大）
○田中勝輝，小形真平，海谷治彦，海尻賢二（信州大）
モジュール化された製品における選択リリース方式の提案
○芳賀悠一，上野浩一郎，秋間孝道（三菱）
○芳賀悠一，上野浩一郎，秋間孝道（三菱）
一般セッション［4B会場］（3月7日（木） 14:45〜17:15）
開発管理 座長 櫨山 淳雄（東京学芸大）
Webサイト構築における作業の収束過程
○山口 猛，石原正道，古山幹雄（郡山女子大）
○山口 猛，石原正道，古山幹雄（郡山女子大）
情報機器組込みソフトウェア開発のQCD向上を目的とする開発工程改善活動
○鈴来和久，柴崎登紀子，渡邉亮一，玉田隆史，森田知宏（三菱）
○鈴来和久，柴崎登紀子，渡邉亮一，玉田隆史，森田知宏（三菱）
PC操作ログを用いたプロジェクト管理システムの活用
○戸田直美，伊藤智子，渡辺昌寛（NTTコムウェア）
○戸田直美，伊藤智子，渡辺昌寛（NTTコムウェア）
イテレーション開発に適したプロジェクト進捗可視化手法の提案
○石井裕志，森 俊樹（東芝）
○石井裕志，森 俊樹（東芝）
文化背景の異なる拠点間における開発プロセス構築と改善の取り組み
○田村朱麗（東芝），小島昌一（東芝ソフトウェア・コンサルティング）
○田村朱麗（東芝），小島昌一（東芝ソフトウェア・コンサルティング）
多国間における新しいソフトウェア共同開発の提案
○田中智康（東海大）
○田中智康（東海大）
Collaboration for Impact
○鈴木雄一（神戸大），レイマン アミン（PMI Honolulu Chapter）
○鈴木雄一（神戸大），レイマン アミン（PMI Honolulu Chapter）
一般セッション［5B会場］（3月8日（金） 9:30〜12:00）
テスト・評価 座長 西 康晴（電通大）
ブロック結線モデルを用いたペアワイズテストの原理に関する考察
○古賀明彦，加藤正恭，小川秀人（日立）
○古賀明彦，加藤正恭，小川秀人（日立）
仕様書分析によるAll Pair法の水準データ抽出法
○増田 聡（日本IBM），松尾谷徹（デバッグ工学研），津田和彦（筑波大）
○増田 聡（日本IBM），松尾谷徹（デバッグ工学研），津田和彦（筑波大）
モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法
○高木智彦，河原林春香，古川善吾（香川大）
○高木智彦，河原林春香，古川善吾（香川大）
効率的な機能テスト設計のための欠陥情報の活用方法
○湯本 剛（日本HP），松尾谷徹（デバッグ工学研），津田和彦（筑波大）
○湯本 剛（日本HP），松尾谷徹（デバッグ工学研），津田和彦（筑波大）
分散制御システムにおけるテストケース生成方法の検討
○柴崎登紀子，渡邉亮一，浅井陽介（三菱）
○柴崎登紀子，渡邉亮一，浅井陽介（三菱）
Webシステム試験方式の提案
○大塚 亮，鶴 薫（三菱）
○大塚 亮，鶴 薫（三菱）
5B-7
（講演取消）
異常データ発生時のクライアント端末模擬方式の検討
○三宅信之，鶴 薫（三菱）
○三宅信之，鶴 薫（三菱）
一般セッション［6B会場］（3月8日（金） 14:15〜16:45）
解析・環境 座長 松下 誠（阪大）
最適なError-proneモジュール予測器の識別手法の提案
○松浦 優，小形真平，海谷治彦，海尻賢二（信州大）
○松浦 優，小形真平，海谷治彦，海尻賢二（信州大）
集約的手法によるError Prone モジュール予測における最適モデル集合の選択
○高橋利英，小形真平，海谷治彦，海尻賢二（信州大）
○高橋利英，小形真平，海谷治彦，海尻賢二（信州大）
APIの類似性を利用したソフトウェア類似部品検索手法の評価
○高見 愛，井上勝行，北村操代（三菱）
○高見 愛，井上勝行，北村操代（三菱）
Bugzilla等へ報告されるIssueの分類手法の提案
○板垣恭太，小形真平，海谷治彦，海尻賢二（信州大）
○板垣恭太，小形真平，海谷治彦，海尻賢二（信州大）
スマートデバイス用DB連携アプリケーション向けフレームワークの提案
○石倉直弥，伊藤俊明，菊地大介（日立ソリューションズ東日本）
○石倉直弥，伊藤俊明，菊地大介（日立ソリューションズ東日本）
訪問看護事業所支援システムのGeneXusによる開発効果
○金子数馬，添野元秀，名本聖矢（IT働楽研）
○金子数馬，添野元秀，名本聖矢（IT働楽研）
日本語プログラミング言語処理系の字句解析
○馬場祐人（早大）
○馬場祐人（早大）
学生セッション［5L会場］（3月8日（金） 9:30〜12:00）
プログラミング言語 座長 青戸 等人 （東北大）
スピルコストを考慮した部分冗長除去
○澄川靖信，滝本宗宏（東理大）
○澄川靖信，滝本宗宏（東理大）
キャッシュメモリ効率化のためのCFG解析に基づくソースコード自動変換ツールの開発
○田邉博之，太田 剛（静岡大）
○田邉博之，太田 剛（静岡大）
JavaScriptにおける動的情報流解析のソースコード変換による実装
○佐藤寛之，小宮常康（電通大）
○佐藤寛之，小宮常康（電通大）
日本語プログラミング言語「プロデル」における動的型の解決方式の改良
○東海林薫，筧 捷彦，馬場祐人（早大）
○東海林薫，筧 捷彦，馬場祐人（早大）
"若返り"を用いた世代別GCの実装と評価
○深井優一，安井浩之，吉野邦生（東京都市大）
○深井優一，安井浩之，吉野邦生（東京都市大）
オブジェクトおよびアスペクト指向プログラミング言語との比較実験を通した新しいコンテキスト指向プログラミング言語の提案
○加藤史也，坂本一憲，鷲崎弘宜，深澤良彰（早大）
○加藤史也，坂本一憲，鷲崎弘宜，深澤良彰（早大）
日本語プログラミング言語プロデルのソースコードからJavaバイトコードを生成するコンパイラの設計
○小尾哲也，筧 捷彦（早大）
○小尾哲也，筧 捷彦（早大）
手続き型言語と関数型言語の相互変換手法
○森下大輔（中部大）
○森下大輔（中部大）
新しいオブジェクト指向の手法を取り入れたプログラム言語の設計と実装
○高橋 平，筧 捷彦（早大）
○高橋 平，筧 捷彦（早大）
物理環境に基づく分散アスペクト指向プログラミングの提案
○井上 聡，滝本宗宏（東理大）
○井上 聡，滝本宗宏（東理大）
学生セッション［6L会場］（3月8日（金） 14:15〜16:45）
プログラム解析・ソフトウェア開発ツール 座長 小宮 常康（電通大）
コンパイラの中間表現を用いた実行系列取得システムの開発
○松崎新司，太田 剛（静岡大）
○松崎新司，太田 剛（静岡大）
静的解析によるAndroidパーミッションの利用目的の可視化方法
○坂下卓弥，小形真平，海谷治彦，海尻賢二（信州大）
○坂下卓弥，小形真平，海谷治彦，海尻賢二（信州大）
モデル検査を用いたC言語プログラムの不具合修正ツールの開発
○古川直樹，深海 悟（阪工大）
○古川直樹，深海 悟（阪工大）
Valgrindを用いたパスプロファイリングツールの開発
○大島一輝，大津金光，大川 猛，横田隆史，馬場敬信（宇都宮大）
○大島一輝，大津金光，大川 猛，横田隆史，馬場敬信（宇都宮大）
長時間シミュレーションにおける効率的デバッグ手法の提案
○辻 祐喜，十鳥弘泰，大津金光，大川 猛，横田隆史，馬場敬信（宇都宮大）
○辻 祐喜，十鳥弘泰，大津金光，大川 猛，横田隆史，馬場敬信（宇都宮大）
6L-6
（講演取消）
ソースコードへ自然言語による注釈の自動付与を行う手法の提案
○杉浦稜介，下里祐介，中島将之，濱川 礼（中京大）
○杉浦稜介，下里祐介，中島将之，濱川 礼（中京大）
関数型プログラミング言語におけるコードクローン検出
○石川琢也，太田 剛（静岡大）
○石川琢也，太田 剛（静岡大）
プログラミング言語 Ruby のための Unicode 正規化ライブラリの効率化
○野島 歩，松原俊一，Martin J. Duerst（青学大）
○野島 歩，松原俊一，Martin J. Duerst（青学大）
学生セッション［1M会場］（3月6日（水） 9:30〜12:00）
アルゴリズム 座長 山中 克久（岩手大）
k番目の最短経路探索の実装
○新家大亮，久保田光一（中大）
○新家大亮，久保田光一（中大）
GPUを用いたドローネ三角形分割アルゴリズムの効率化について
○河野勇人，山本修身（名城大）
○河野勇人，山本修身（名城大）
Ant Colony Optimizationとニューラルネットワークアルゴリズムによるチャネル割り当て問題に対するヒューリスティック解法
○山本脩太，北道淳司（会津大）
○山本脩太，北道淳司（会津大）
巡回セールスマン問題における粒子群最適化と2-opt法を組み合わせた最短経路探索法
○伊藤 甫，藤井昭宏，田中輝雄（工学院大）
○伊藤 甫，藤井昭宏，田中輝雄（工学院大）
粒子群最適化アルゴリズムを用いた方形導波管誘導性窓付き共振器の設計
○原 幸平，山西貴士，平岡隆晴，豊嶋久道（神奈川大）
○原 幸平，山西貴士，平岡隆晴，豊嶋久道（神奈川大）
LSHによる大規模画像データからの高速類似検索
○重村拓也，清水大輝，寺沢憲吾（はこだて未来大）
○重村拓也，清水大輝，寺沢憲吾（はこだて未来大）
無線センサーネットワーク位置特定問題に対するクラスタリングを用いた解法
○浅海雅人（中大）
○浅海雅人（中大）
ブロック圧縮行格納形式への高速データ構造変換方式の開発
○佐藤真之介，藤井昭宏，田中輝雄（工学院大）
○佐藤真之介，藤井昭宏，田中輝雄（工学院大）
A fast density-based clustering algorithm using fuzzy neighborhood functions
○劉 浩，小山 聡，栗原正仁，佐藤晴彦（北大）
○劉 浩，小山 聡，栗原正仁，佐藤晴彦（北大）
学生セッション［2M会場］（3月6日（水） 15:30〜18:00）
要求・アーキテクチャ 座長 坂田 祐司（NTTデータ）
新規ビジネスモデル構築プロセスの提案
○熊坂拓哉，大場みち子（はこだて未来大）
○熊坂拓哉，大場みち子（はこだて未来大）
形式的ソフトウェア合成手法における再利用部品群の決定
○熊谷 恒，織田 健（電通大）
○熊谷 恒，織田 健（電通大）
The Encapsulation of the quality
○齋藤大輔，山浦恒央（東海大）
○齋藤大輔，山浦恒央（東海大）
意図に基づくコンテキストアウェアサービス提供モデルの提案とカーナビゲーションシステムへの応用
○牧 慶子，中道 上，青山幹雄（南山大）
○牧 慶子，中道 上，青山幹雄（南山大）
セキュリティ機能方針の具体化によるセキュリティ機能要求分析手法
○野呂 惇（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
○野呂 惇（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
OSLCに基づく要求管理方法の提案と評価
○壁谷考洋，中道 上，青山幹雄（南山大）
○壁谷考洋，中道 上，青山幹雄（南山大）
AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析
○松井駿介（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
○松井駿介（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法
○式見 遼（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
○式見 遼（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
自動車テレマティクスサービスの外部連携アーキテクチャの提案
○伊藤智基，中道 上，青山幹雄（南山大）
○伊藤智基，中道 上，青山幹雄（南山大）
学生セッション［3M会場］（3月7日（木） 9:30〜12:00）
教育・作業支援 座長 松浦 佐江子（芝浦工大）
ソフトウェア工学における産業界と大学教育の差異に関する研究
○岡野道太郎，中谷多哉子（筑波大）
○岡野道太郎，中谷多哉子（筑波大）
3M-2
（講演取消）
女子学生向けプログラミング学習用環境の構築
○高野孝一，坂本一憲，鷲崎弘宣，深澤良彰（早大）
○高野孝一，坂本一憲，鷲崎弘宣，深澤良彰（早大）
オンライングループワーク演習環境による要求工学教材の開発とその教育効果の定量的評価
○云 海，丸山 広，中村太一，高嶋章雄（東京工科大）
○云 海，丸山 広，中村太一，高嶋章雄（東京工科大）
テスト貢献度に基づくゲーミフィケーションを用いた教育用ソフトウェアテストツールの提案
○髙澤亮平，坂本一憲，鷲崎弘宜，深澤良彰（早大）
○髙澤亮平，坂本一憲，鷲崎弘宜，深澤良彰（早大）
開発環境からリアルタイムに自動取得した履歴データを活用したソフトウェア開発演習支援システムの提案
○田中昂文（東京学芸大），森 一樹（芝浦工大），橋浦弘明（東洋大），櫨山淳雄（東京学芸大），古宮誠一（芝浦工大）
○田中昂文（東京学芸大），森 一樹（芝浦工大），橋浦弘明（東洋大），櫨山淳雄（東京学芸大），古宮誠一（芝浦工大）
地理情報システムにおけるアプリケーションスキーマ作成支援ツール
○菅野敏朗，久保田光一（中大）
○菅野敏朗，久保田光一（中大）
OpenGLを用いた流体シミュレーションにおけるインタラクティブ操作の実現
○石塚祥士，藤井昭宏，田中輝雄（工学院大）
○石塚祥士，藤井昭宏，田中輝雄（工学院大）
学生セッション［4M会場］（3月7日（木） 14:45〜17:15）
開発環境・手法 座長 野村 佳秀（富士通研）
iPhoneとAndroidアプリの共通開発支援ツール
○村山優弥，佐藤輝久，瀬黒雄作，平野竜希，平松貴宏，三沢拓也，紫合 治（電機大）
○村山優弥，佐藤輝久，瀬黒雄作，平野竜希，平松貴宏，三沢拓也，紫合 治（電機大）
Vimエディタ上でのキー入力解析による入力短縮化方法の学習を支援するツールの構築
○杉本元気（早大）
○杉本元気（早大）
マルチプロセス環境を利用したベクトル時間による作業プロセスの順序関係の分析
○石田諭史，宮崎貴成，坂下善彦（湘南工科大）
○石田諭史，宮崎貴成，坂下善彦（湘南工科大）
要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価
○奥田博隆（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
○奥田博隆（芝浦工大），小形真平（信州大），松浦佐江子（芝浦工大）
メソッドとフィールドの関係を用いたアンチパターン特定手法
○渡辺大貴（芝浦工大）
○渡辺大貴（芝浦工大）
プログラム理解支援を目的とした分散ペアプログラミングのコミュニケーションログの活用
○秀毛嶺維馬，奥野 拓（はこだて未来大）
○秀毛嶺維馬，奥野 拓（はこだて未来大）
ゲーミフィケーションを用いたバグパターンによる欠陥除去を促進する手法の提案
○新井 慧，坂本一憲，鷲崎弘宜，深澤良彰（早大）
○新井 慧，坂本一憲，鷲崎弘宜，深澤良彰（早大）
ソフトウエアの共同開発における編集衝突低減手法
○矢萩寛人（慶大）
○矢萩寛人（慶大）
学生セッション［5M会場］（3月8日（金） 9:30〜12:00）
数理モデル化と問題解決（1） 座長 山本 雅人（北大）
時間制限付き優勢領域図の提案とサッカーの守備の分析への応用
○岩浅真秀人，大塚 寛（愛媛大）
○岩浅真秀人，大塚 寛（愛媛大）
共起クラスタマイニング ー数値観測量の事象系列に対する頻出パターン抽出ー
○稲場大樹，福井健一，沼尾正行（阪大）
○稲場大樹，福井健一，沼尾正行（阪大）
Mixing Matrixに基づく階層付きカテゴリカルデータの可視化法
○伏見卓恭，斉藤和巳，武藤伸明，池田哲夫，大久保誠也（静岡県大）
○伏見卓恭，斉藤和巳，武藤伸明，池田哲夫，大久保誠也（静岡県大）
年代順を考慮に入れた工業製品の進化系統図の提案
○太田章悟，武藤敦子，犬塚信博（名工大）
○太田章悟，武藤敦子，犬塚信博（名工大）
レビューサイトにおけるユーザ間の動的類似度分析
○山岸祐己，斉藤和巳，池田哲夫（静岡県大）
○山岸祐己，斉藤和巳，池田哲夫（静岡県大）
年齢・時代別に観測されたデータの分析による乳癌と肝臓癌の因果関係の検討
○張替勝也，華山宣胤（尚美学園大）
○張替勝也，華山宣胤（尚美学園大）
ネットワークモデルにおけるボンド・サイト破壊に対する頑健性の比較
○赤池祐樹，吉村 仁，泰中啓一，守田 智（静岡大）
○赤池祐樹，吉村 仁，泰中啓一，守田 智（静岡大）
web検索履歴データを用いた外国為替市場のボラティリティ予測
○家治川博，佐藤彰洋（京大）
○家治川博，佐藤彰洋（京大）
投資信託と銘柄のネットワーク構造に基づいた投資信託の分類
○武田祐太（名工大），松井藤五郎（中部大），犬塚信博（名工大）
○武田祐太（名工大），松井藤五郎（中部大），犬塚信博（名工大）
学生セッション［6M会場］（3月8日（金） 14:15〜16:45）
数理モデル化と問題解決（2） 座長 小林 聡（電通大）
単峰性正規分布交叉を用いた実数値遺伝的アルゴリズムによる宇宙探査機の多重重力支援軌道最適化
○田中一真，棟朝雅晴，赤間 清（北大）
○田中一真，棟朝雅晴，赤間 清（北大）
GPGPUを用いた遺伝的アルゴリズムにおける近傍モデルの実装について
○山本英之，渡辺 郁（大阪電通大）
○山本英之，渡辺 郁（大阪電通大）
構内3次元経路案内システムのデータ構造の改良
○坂井貴裕，久保田光一（中大）
○坂井貴裕，久保田光一（中大）
人工社会を用いて創発現象を研究するためのルール学習の検討
○西山瑞紀，山崎誠治，西尾典晃，武藤敦子，犬塚信博（名工大）
○西山瑞紀，山崎誠治，西尾典晃，武藤敦子，犬塚信博（名工大）
分散処理による大規模グラフのクラスタリング
○橋川寛士（東工大）
○橋川寛士（東工大）
指定された2点間の経路の見やすさを考慮した略地図生成
○竹内真樹，森口昌樹，今井桂子（中大）
○竹内真樹，森口昌樹，今井桂子（中大）
LSPCを用いた活字文書画像における頻出文字列抽出
○細谷拓史，寺沢憲吾（はこだて未来大）
○細谷拓史，寺沢憲吾（はこだて未来大）
道路情報を用いた古地図の自動位置合わせ手法
○亀ケ森理史，川嶋稔夫（はこだて未来大）
○亀ケ森理史，川嶋稔夫（はこだて未来大）
6M-9
（講演取消）
学生セッション［1N会場］（3月6日（水） 9:30〜12:00）
モデリング・検証 座長 紫合 治（電機大）
組込みソフトウェア開発におけるトップダウンな振る舞い・データモデリングプロセス
○岡田康治，松浦佐江子（芝浦工大）
○岡田康治，松浦佐江子（芝浦工大）
自動車クラウドサービスにおける連携データモデルの提案
○濱千代正弥，中道 上，青山幹雄（南山大）
○濱千代正弥，中道 上，青山幹雄（南山大）
マルチテナントクラウドサービスのメタデータ駆動アーキテクチャモデルの提案と評価
○黒野 望，中道 上，青山幹雄（南山大）
○黒野 望，中道 上，青山幹雄（南山大）
文字列一致による数学的等価性判定可能なモデル分割手法
○三鍋孝介，織田 健（電通大）
○三鍋孝介，織田 健（電通大）
上流工程のUMLクラス図を入力としたソフトウェアの保守性測定メトリクススイート
○津田直彦，鷲崎弘宜，深澤良彰（早大）
○津田直彦，鷲崎弘宜，深澤良彰（早大）
組込みソフトウェアのモデル検証
○本間洋光，齋藤 理，新村祐太，力武克彰（仙台高専）
○本間洋光，齋藤 理，新村祐太，力武克彰（仙台高専）
イベントハンドラを使用したWebアプリケーションを対象とした動作検証
○佐藤隆広，伊藤 恵，奥野 拓（はこだて未来大）
○佐藤隆広，伊藤 恵，奥野 拓（はこだて未来大）
同期実行モデルを用いた並行状態グラフ上のNスイッチテストについて
○高島和紀，古川善吾，高木智彦（香川大）
○高島和紀，古川善吾，高木智彦（香川大）
