修了のための制作

トップエスイーコース,アドバンスコース共に,修了のための必須要件として,様々なテーマに基づく制作作業を行います. トップエスイーコース受講者にとっては,講義を履修することに加えて,「ソフトウェア開発実践演習」により,より時間のかかる実践力を養う演習を行います. アドバンスコースの受講者は,自分自身の問題を解決するための「プロフェッショナルスタディ」や,テーマを決めてグループを構成し高度な話題を協働して学習する 「最先端ソフトウェア工学ゼミ」を履修します.これらの活動を本ページで紹介します.

プロフェッショナルスタディ

受講生が所属する職場の問題を分析し,問題解決の課題を設定して取り組み,結果を評価することを,担当講師と1対1で,1年かけて行います.さらに取り組んだ成果を職場へ展開することを指導します.

5月末には「テーマ企画発表会」を行い,各自が選択したテーマとこれからの取組みについて発表を行います.10月に開催される「中間発表会」では,決定したテーマを掘り下げて,どこまで取り組みが進んだかを発表し,最終的な結論に到るまでのプランも示されます.そして,2月に開催される「審査会」で,1年を通して達成できた内容を発表し,「審査基準」に基づいた評価が行われます.

最先端ソフトウェア工学ゼミ

最先端ソフトウェア工学ゼミでは,アドバンスコースの受講生が, チームで最先端の話題に取り組み,理解を深め,自身の問題解決能力を向上させることを目標としています.6月~8月と10月〜12月の期間,週1回のゼミが実施され,そこで得られた知見などを各期間の最終週に報告します.

ソフトウェア開発実践演習

ソフトウェア開発の実課題に対し,学んだ技術を使って解決する演習で,実践的な演習を通して講義で学んだ技術の定着を図ることを目的としています. 演習では,講師が提示する課題あるいは受講生が提案した課題をグループ,あるいは,個人で取り組みます.課題ごとに担当講師が決められ,講師が,適宜アドバイスします.審査会,取り組み内容を発表します.

プロフェッショナルスタディ審査会[14期, 2019年度]

テーマ 受講生 指導教員
ポスタープログラム修正範囲特定のための設計書とソースコード間のマッピングツールの提案 伊田 侑起 吉岡 信和
最優秀賞 ポスター表彰理由Large-Scale Scrumバックログの適用と管理手法の提案 城戸 英之 土肥 拓生
優秀賞 ポスター表彰理由ルールベースと両立する機械学習システムの開発 工藤 淳真 石川 冬樹
ポスタードメイン駆動設計に基づいたマイクロサービス・アーキテクチャ の効果的なモデリング・設計手法 酒井 響平 鄭 顕志
ポスター大型基板貼り合わせ装置の自動調整システムの検討 永田 哲也 末田 直道

最先端ソフトウェア工学ゼミ[14期, 2019年度]

ソフトウェア開発実践演習(通常グループ演習)[14期, 2019年度]

テーマ(関連するシリーズ) 受講生 指導教員
優秀賞 ポスター表彰理由マイクロサービスを含むシステムの詳細設計による 変更容易性の検証 島倉 優人    千秋 義紀    高瀬 駿     福島 健太   矢崎 貴大   野村 直輝 鄭 顕志     新居 雅行
ポスター深層学習を用いた画像分類モデルの構築パターンの抽出 孫 将司     西川 智也    野口 直希    平河 正博    堀脇 一樹   粟飯原 勝也 吉田 和樹
ポスターBlack Jack AIの作成 本間 武     濱口 大志    土肥 拓生
ポスター機械学習システムにおける訓練モデル解釈による要求の明確化 浅野 正義    川越 佑太 吉岡 信和
ポスターConcolic testingツールKLEEのメモリ関連バグ発見能力の評価 鈴木 貴敦    黄 文鴻 石川 冬樹
最優秀賞 ポスター表彰理由人工知能とテスト・検証 石野 克徳    上野 一輝    岡本 将明    小澤 遼     小山 尚晃 石川 冬樹
ポスターマルチクラウド対応構築手順へのLC4RI適用 川村 佳裕   雜賀 翼     柴川 元宏    岡村 智也    萱場 靖二郎   元木 康貴 長久 勝
ポスターシステムやドメインの実践的形式仕様記述演習 須﨑 拓真    滝沢 幹雄    徳田 伸矢 石川 冬樹
ポスター実践 ATDD / TDD 古木 隆裕    佐々木 晃    助川 隆俊 土肥 拓生
ポスター実例に基づくシンプルデザイン 加藤 泰大    白石 卓馬    藤澤 千尋    村上 敬亮    泉澤 聡 土肥 拓生
ポスタービジネスモデルのシステムダイナミクスによる検証 石川 尊之    石田 仁志    泉 智      西 辰徳     宮浦 秀一    山本 智之    吉田 拓也    坂口 智哉 吉田 和樹

ソフトウェア開発実践演習(独自演習)[14期, 2019年度]

テーマ 受講生 指導教員
ポスター画像処理フロー設計における設計検証 有澤 悠紀 石川 冬樹
ポスターユーザー行動データのクラスタリングに基づく アプリケーションの離脱分析 石田 智也 吉岡 信和
最優秀賞 ポスター表彰理由助け合い活動管理支援システム 宇野 一義 粂野 文洋
ポスター確率的モデルによるクラウドアプリケーションに代表される並行システムのパフォーマンス検証手法 武石 大樹    杉村 昌彦 石川 冬樹    小林 努
ポスターゴール指向型分析を用いた機械学習ソフトウェアシステムの品質特性の抽出 仲道 耕二 石川 冬樹
ポスター前処理パターンの抽出と評価 西村 駿人 吉田 和樹
ポスターカムコーダシステムにおける上流工程の品質改善事例 水谷 仁 鄭 顕志
優秀賞 ポスター表彰理由Fault Localization の精度向上にむけたテスト実装方式の提案 安田 和矢 田辺 良則
ポスタービザンチン故障検出器を用いたブロックチェーンシステムのアカウンタビリティの強化 堀口 直也 吉岡 信和

プロフェッショナルスタディ審査会[13期, 2018年度]

テーマ 受講生 指導教員
ポスターアジャイル開発に対して、リスクベースドテストを実施するケーススタディ 古谷 恒平 鄭 顕志
ポスタースポーツにおけるコーチング支援のためのデータ活用 太田 裕一 鄭 顕志
ポスター新規製品開発時の発想支援ツールの提案 辻脇 優一 中谷 多哉子
ポスター為替レート予測における機械学習システムの モニタリング手法の検討 北野 健太 石川 冬樹
優秀賞 ポスターWebぺージにおけるレイアウト崩れの検出方法の研究 早川 芳昭 石川 冬樹
ポスタースマートコントラクトを利用したソフトウェアライセンスの認証方式の提案 前田 泰晴 吉岡 信和

最先端ソフトウェア工学ゼミ[13期, 2018年度]

ソフトウェア開発実践演習(通常グループ演習)[13期, 2018年度]

テーマ(関連するシリーズ) 受講生 指導教員
ポスターユースケース図をもとに詳細設計を行う 森谷 郁文    紺野 雅晃    久保 栄治 新居 雅行
優秀賞 ポスター機械学習システムの要求 荒川 純也    石谷 規彦    坂本 竜太    定塚 和久    長柄 昌浩   吉岡 信和
ポスター機械学習適用に向けた要求分析・要求合意プロセスの提案 飯田 利彦    岩崎 聖     中村 紘爾    高落 要     吉岡 信和
ポスター機械学習応用システムの要求~自動運転をテーマとして~ 伊藤 賢人    岩本 賢芳    前田 佑希子 吉岡 信和
優秀賞 ポスターKaggleを参照した機械学習アルゴリズム適用パターンの抽出と評価 大内 一哲    岡留 有哉    土屋 俊雄    松岡 賢     晦日 慶太    神崎 元    吉田 和樹
ポスターソルバー活用演習 菊地 明美    木村 昇一    小林 正季    高岸 正人    石川 冬樹
ポスター実例に基づくシンプルデザイン 相澤 亮太   青山 祐三    中尾 陽一   廣田 智紀    深瀬 智紀    山本 淳一    小牟田 俊介 土肥 拓生
ポスター実践ATDD & TDD 梅原 崚     加藤 史也    相樂 恭宏  土肥 拓生
ポスターBlack Jack AIの作成 太田 貴之    川澄 明裕    菅原 久嗣    森 大雅     土肥 拓生
ポスターLiterate Computing for Infrastructure 阿部 秀一    井浦 陽一郎   宇野 耕平    原野 昌幸    山崎 航史   横山 重俊

ソフトウェア開発実践演習(独自演習)[13期, 2018年度]

テーマ 受講生 指導教員
ポスターカメラの新規機能搭載における仕様検討時の妥当性検証 角田 昌芳 鄭 顕志
ポスターコネクティッドカーシステムの構築におけるDDSの適用評価 福田 謙児 鄭 顕志
ポスター欲求×感情×行動の相互作用の定量化手法の検討とその活用スキーム提案 鎌田 雄大   木内 一揮 新居 雅行
奨励賞 ポスター機能制約モデルからのテスト生成手法の提案 斎藤 英美 田辺 良則
プライバシー保護のフィジビリティスタディ 戸川 修 石川 冬樹
奨励賞 ポスター知識バックグラウンドが異なるメンバー間での効率的な問題共有を可能にするコミュニケーションテンプレートの提案 菅原 茉莉子 吉岡 信和
優秀賞 ポスターテレビCMが与える消費者の購買行動への影響度分析 奥野 拓也   織田 達広 吉岡 信和
最優秀賞 ポスターFAQ作成支援のためのクラスタ内文書ランキング 溝渕 裕司 吉田 和樹

プロフェッショナルスタディ[12期, 2017年度]

テーマ 受講生 指導教員
奨励賞 ポスターアイトラッキングを利用した,次世代の要件定義書レビュー評価手法 斉藤 功樹 土肥 拓生
ポスターEvent-Bモデルのイベントにおけるリファインメント関係の特徴の解析 猿渡 真之介 石川 冬樹
奨励賞 ポスター確率モデル分析を用いた車載ネットワーク設計 種村 嘉高 鄭 顕志
ポスター蓄積されたチケット情報の分類によるナレッジの有効活用 宮城 俊秀 鄭 顕志
最優秀賞 ポスターコンパイラのランダムテストにおけるエラープログラム原因特定補助ツール:PRUTEの開発 百足 勇人 坂本 一憲
奨励賞 ポスターソフトウェアリリースに着目したテストケース不備に対する修正事例の検出及び特徴分析 塚本 啓太 前澤 悠太
ポスター継続的なバージョンアップを前提としたメトリクス駆動開発モデルの確立 図司 達 横山 重俊

最先端ソフトウェア工学ゼミ[12期, 2017年度]

CPS・IoTゼミ(第1期)

CPS・IoTゼミ(第2期)

ソフトウェア開発実践演習(通常グループ演習)[12期, 2017年度]

テーマ(関連するシリーズ) 受講生 指導教員
ポスターシステム仕様の実践的記述演習(形式仕様記述) 達見 良介    井口 尚人  石川 冬樹
ポスターシステム開発での機械学習の活かし方(ビッグデータ) 伊佐 陽介   小田 博司 土肥 拓生
ポスター機械学習による問題解決アプローチの実践〜ブラックジャックAIをつくろう〜(ビッグデータ) 石飛 政樹    草薙 卓     真田 昌幸    兵庫 友一郎   山本 翼     吉村 隆彦 土肥 拓生
ポスター概念モデルを用いた将来システム要求を抽出するための手法の提案(要求工学) 後藤 秀雄  中谷 多哉子
ポスター法律・規定の形式化演習(形式仕様記述) 近藤 崇之    江越 俊介  石川 冬樹
ポスターユースケース図を基に変更容易性の高い設計を行う(アーキテクチャ) 坂田 宏輔    山科 元希   保坂 広樹 鄭 顕志   新居 雅行
実践演習賞 ポスターLiterate Computing for Reproducible Infrastructure (LC4RI)〜PaaSaaSによる開発環境構築手法〜(クラウド) 西川 優    古川 勇志郎  米田 匡史  横山 重俊
ポスターオープンデータを用いた移住さ住居環境の可視化システム(ビッグデータ) 松留 貴文   松本 義秀  土肥 拓生

ソフトウェア開発実践演習(独自演習)[12期, 2017年度]

テーマ 受講生 指導教員
ポスターソフトウェアの障害調査に使用可能な検証モデル自動生成 浅川 春奈 田辺 良則
ポスター形式仕様記述言語の特徴を利用した自然言語の品質向上技術の研究 平野 由紀子 石川 冬樹
実践演習賞 ポスター外部Webサービスを利用したWebAPI設計におけるリスクを考慮したAPI仕様記述手法 大田 智範 石川 冬樹
実践演習賞 ポスターSPA Webアプリの保守開発時に利用する画面遷移理解支援ツールの開発と評価 是木 玄太 鄭 顕志
ポスターブラウザサイドプログラムの動的更新のための設計パターン抽出 鈴本 悟 鄭 顕志
実践演習賞 ポスターScrum開発とWaterfall開発におけるシミュレートモデルの構築 宗田 知子    関根 浩二    原田 知拡 土肥 拓生
実践演習賞 ポスターSDKの利用によって WebAPI利用ソフトウェアの保守性は向上するか? 福寄 雅洋 坂本 一憲
ポスターQ学習による有向グラフ上の特定ノードの利用効率最適化手法の検討 森月 政博 吉岡 信和
ポスターソフトウェアバグ予測システム構築に向けた3次元メトリックス表示の検討 藤原 貴之 吉岡 信和
ポスターWebアプリケーションにおけるセキュアデザインパターンを使用した設計の実践と効果の分析 林 昌紀 吉岡 信和

修了制作

トップエスイーの講義を受講することで得た知識を,自身の問題に適用する場が,修了制作です. 修了制作を提出し,審査会にて合格の判定を得ることは,トップエスイーを修了するための1つの要件になっています. 受講生の方が,業務経験などに基づいて,解くべき問題を設定します. トップエスイーのさまざまな講義で扱っている方法論,ツール,科学的アプローチを活用して,問題解決を行います. 手法やツールの単なる適用では問題が解けず,これらを拡張する必要があるかもしれません. また,複数の方法論を組み合わせることが適当である場合もあるでしょう. 基本的には,問題を設定した受講生と,担当講師(内容に応じ1,2名)で,ミーティングを繰り返しながら,問題解決へのアプローチをしていきます. 実施期間は原則として3ヶ月ですが,意欲的な問題設定の場合には6ヶ月をかけることもできます. 期間の終わりには,問題解決についてのレポートをまとめ,提出することになります. また,審査会において,(講師から構成される)審査員に対して15分ほどの発表をします.

修了制作のテーマ

共同研究への発展

修了制作の期間は3ヶ月ないし6ヶ月と,必ずしも長くはないので,問題の部分的な解決にとどまることもあります. さらに本格的な研究へと発展させるために,担当講師などとの共同研究をすすめることができます.

博士研究への発展

電気通信大学で、研究を発展させることで,学位を取得する道が開けています.

修了制作のタイプ

過去の修了制作から,典型的なタイプと,そこで解くべき問題を抽出すると次のようになります. (もちろん,これは一つの見方で,実際に修了制作をする際に, どれかに当てはまらなくてはならないということはありません)

ケーススタディタイプ 特定のシステムに対して,実際に手法・ツールを適用し,その効果を評価するものです. ここでの「問題」は,既存のシステム開発における,正しさの保証,再利用性の確保等の難しさです.
ドメイン適用支援タイプ 特定のドメインに対して,手法・ツールの適用を支援するものです. ここでの「問題」は,汎用的な手法・ツールを特定のドメインに適用する際のコスト・難しさです.
橋渡しタイプ 複数の手法・ツールを連携して用いるプロセスを支援する仕組みを作成します. ここでの「問題」は複数の手法・ツールを効率的・効果的に連携させることの難しさです.
手法・ツール拡張タイプ 既存の手法・ツールを拡張するものです. ここでの「問題」は既存の手法・ツールの限界です.
戻る

2016年度(平成28年度) 第11期修了制作

機械学習を活用したソースコード静的解析ツールによる解析結果の判定支援手法 ポスター発表 赤堀 文隆 (指導:坂本 一憲 講師)
PJ計画立案時のツール適用計画支援手法の提案―ツール適用計画のためのパターン集として― ポスター発表 飯星 貴裕 (指導:古宮 誠一 講師)
データサンプリングと回帰分析によるHiveクエリ実行時間の予測 ポスター発表 石川 和典 (指導:坂本 一憲 講師)
Webアプリケーションにおけるミューテーション解析の効率化 ポスター発表 伊藤 隼平 (指導:前澤 悠太 講師)
政府調達におけるRFP解析方法の提案 ポスター発表 井無田 輝 (指導:中村 太一 講師)
Deep Learningを用いた株価予測モデルの提案・検証 ポスター発表 大山 承剛 (指導:土肥 拓生 講師)
アジャイル開発におけるチーム評価の定量化とその評価 ポスター発表 大柚 智 (指導:土肥 拓生 講師)
大規模ミッションクリティカルシステムに対する Blue-Green Deploymentの適用検討 ポスター発表 粥川 隆信 (指導:横山 重俊 講師)
短い実行時間の中でもテストの障害検出率が向上する技術の検討 ポスター発表 紅林 竜也 (指導:石川 冬樹 講師)
最優秀賞 Windowsクライアント環境構築におけるLiterate Computing for Infrastructure の適用 ポスター発表 国府田 充 (指導:横山 重俊 講師)
派生開発の調査負担を軽減するソフトウェアの品質確認表示支援ツールの構築 ポスター発表 小林 賢次 (指導:古宮 誠一 講師)
品質向上策のパターン化による他プロジェクトへの適用 ポスター発表 小林 達也 (指導:高橋 竜一 講師)
SPARQLエンドポイントの効率的なキャッシュ手法の提案 ポスター発表 佐藤 大輔 (指導:石川 冬樹 講師)
ATAM (アーキテクチャトレードオフ分析) に基づくConfiguration 選択支援プロセスの提案 ポスター発表 嶋村 誠 (指導:鄭 顕志 講師)
優秀賞 高抽象度SW/HWモデルによる並行性能検証シミュレータ ポスター発表 杉本 駿 (指導:田辺 良則 講師)
奨励賞 マイクロサービスにおける設計・実装パターン抽出 ポスター発表 関口 敦二 (指導:鄭 顕志 講師)
クラウド管理へのAI活用の提案 -障害注入テストツールを利用した学習データの生成- ポスター発表 立石 直樹 (指導:横山 重俊 講師)
状態復元技術を用いた Webアプリケーションテストの支援ツール ポスター発表 田中 裕大 (指導:前澤 悠太 講師)
IoTシステムにおける同期バージョンアップ方式 ポスター発表 野村 圭 (指導:横山 重俊 講師)
モバイルシステムソフトウェア開発におけるゴール指向要求分析とコンポーネント指向設計の適用 ポスター発表 東 紘一郎 (指導:高橋 竜一 講師)
最優秀賞 カバレッジとミューテーションスコアの収束を元にした最適な因子間の組み合わせの強さの特定手法の提案 ポスター発表 藤澤 克貴 (指導:前澤 悠太 講師)
メタヒューリスティクスを用いた画像再構成 ポスター発表 水澤 悟 (指導:石川 冬樹 講師)
重回帰分析モデルを利用したテストフレームワーク選定の定量的評価 ポスター発表 森山 泰亘 (指導:坂本 一憲 講師)
アーキテクチャ検証手法ATAMの適用可能性評価 ポスター発表 山下 裕介 (指導:鄭 顕志 講師)
システム性能低下要因の自動検出〜アプリケーション性能低下の要因分析自動化に向けて〜 ポスター発表 吉川 拓哉 (指導:田辺 良則 講師)
置き換え対象分類器との分類結果の互換性を維持するための,“Variational AutoEncoder”を利用した類似データ生成手法および部分的再学習手法の提案 ポスター発表 吉田 裕輔 (指導:横山 重俊 講師)
Alloy時間経過に伴う状態遷移モデルのフレームワーク ポスター発表 谷岡 祐志 (指導:石川 冬樹 講師)
Blockchain技術が実現する機能に関する考察 ポスター発表 前田 周也 (指導:新居 雅行 講師)
再利用性を向上させたIoTエッジ端末向けフレームワーク ポスター発表 大淵 滋樹 (指導:新居 雅行 講師)
画面単体テスト自動化手法の提案 ポスター発表 片岡 祥啓 (指導:前澤 悠太 講師)
奨励賞 形式仕様記述を用いたテスト手順の自動生成 ポスター発表 明神 智之 (指導:石川 冬樹 講師)
要求仕様の内容理解と妥当性確認のための議論を誘導し,議論の内容を構造化して記録するためのモデル〜支援システムの実装による問題点の抽出〜 ポスター発表 高津 智成 (指導:古宮 誠一 講師)
メモリ制限のあるシステムでのスレッドセーフなデータ管理フレームワーク化 ポスター発表 管 恩政 (指導:新居 雅行 講師)
戻る

2015年度(平成27年度) 第10期修了制作

デザインパターン検出ツールによる開発プロセスの改良提案 ポスター発表 秋葉 宏和 (指導:高橋 竜一 講師)
優秀賞 組み込みソフトウェアのアジャイル開発における品質管理に関する一考察 ポスター発表 石井 雄介 (指導:土肥 拓生 講師)
COPY文に着目したCOBOLソースコード依存関係可視化手法の検討 ポスター発表 伊藤 秀朗 (指導:坂本 一憲 講師)
組込みソフトウェア開発における,状態遷移表を用いた品質向上手法 ポスター発表 今川 雄大 (指導:吉岡 信和 講師)
機能テストによるリバースエンジニアリングとテストファーストによるシステム統合開発方法の提案 ポスター発表 伊山 宗吉 (指導:中村 太一 講師)
近距離無線通信技術におけるRF性能の自動測定プログラムの再利用性,拡張性の改善検討 ポスター発表 小野塚 克弘 (指導:鄭 顕志 講師)
要件定義のプロセス改善を目指した,政府調達における現実の問題状況分析に関する研究 ポスター発表 片岡 洋介 (指導:中谷 多哉子 講師)
技術文書の品質確保のための設計モデル ポスター発表 川崎 真弘 (指導:石川 冬樹 講師)
奨励賞 拡張可能なグラフィカルエディタへの多階層モデリングフレームワークの適用に関する評価 ポスター発表 木村 功作 (指導:坂本 一憲 講師)
並行性設計における不具合検出のためのICONIXの拡張 ポスター発表 國松 冬樹 (指導:鄭 顕志 講師)
流用開発における影響範囲検出手法 ポスター発表 熊谷 浩介 (指導:坂本 一憲 講師)
優秀賞 Webベース監視制御システムにおけるView model同期の信頼性評価とその検証 ポスター発表 古城 仁士 (指導:田原 康之 講師)
仮想化時代におけるL2SWのMACテーブルの管理手法 ポスター発表 小松 忠嗣 (指導:横山 重俊 講師)
要求仕様の理解不足を早期検出するためのモデルの部分適用に関する検討 ポスター発表 新司 哲也 (指導:土肥 拓生 講師)
RESTful Web API 設計フロー ポスター発表 末永 晋也 (指導:石川 冬樹 講師)
リスクドライバー最適化とリスク事象の発生確率算出式の改良 ポスター発表 鈴木 雅人 (指導:古宮 誠一 講師)
画面設計書からのアプリケーションテストシナリオの自動生成 ポスター発表 高木 慎也 (指導:石川 冬樹 講師)
形式仕様記述を用いたジョブスケジュールソフトウェアのエンハンスにおける仕様検証 ポスター発表 竹内 幸大 (指導:石川 冬樹 講師)
大容量映像データに対するオープンソース機械学習フレームワークの適用 ポスター発表 立薗 真樹 (指導:横山 重俊 講師,政谷 好伸 講師)
ゴール指向分析を用いたテスト品質向上 ポスター発表 田中 祐太郎 (指導:中村 太一 講師)
提案書の品質向上のための提案書評価フレームワーク ポスター発表 中山 基 (指導:位野木 万里 講師)
派生開発プロジェクトにおける影響調査ツリー導入の検討 ポスター発表 冨士 暁之 (指導:石川 冬樹 講師)
解析困難な追加開発における考慮すべきコンポーネントの識別 ポスター発表 堀崎 峻 (指導:新居 雅行 講師)
形式仕様記記述の上流工程における活用容易化 ポスター発表 丸元 博之 (指導:石川 冬樹 講師)
チケット駆動開発基盤とプロダクトライン型開発の融合手法の検討と評価実験 ポスター発表 宮本 陽一 (指導:位野木 万里 講師)
大規模ソフトウェアにモデル検査を適用するための抽象化指標検討 ポスター発表 安岡 大知 (指導:早水 公二 講師)
C言語ソースコードからSMV検査モデル記述への変換手法の検討 ポスター発表 山口 大貴 (指導:田辺 良則 講師)
最優秀賞 OpenFlowネットワークの設定変更手順導出〜ネットワークを稼働させたまま設定変更を行う手順〜 ポスター発表 山崎 智史 (指導:田辺 良則 講師)
優秀賞 コンポーネントベース開発におけるセキュリティ要件記法の提案 ポスター発表 山﨑 裕紀 (指導:吉岡 信和 講師)
フィーチャー指向分析を用いた通信シミュレータ開発フレームワーク選定手法 ポスター発表 柚木 祥慈 (指導:鄭 顕志 講師)
優秀賞 Androidアプリ開発におけるデザインパターンの提案 ポスター発表 若松 和憲 (指導:高橋 竜一 講師)
車載システム向け選択的MCDC測定ツールの構築 ポスター発表 渡辺 洸平 (指導:前澤 悠太 講師)
クラウド向け非機能要求定義のためのプロセス定義,およびプロセスで実施した成果の資産化 ポスター発表 木村 隼人 (指導:横山 重俊 講師,政谷 好伸 講師)
戻る

2014年度(平成26年度) 第9期修了制作

画像認識ソフトウェアのパラメタ最適化システムの高速化 ポスター発表 秋山 健 (指導:横山 重俊 講師,政谷 好伸 講師)
クラウドストレージのシャドーIT化を防ぐ利用モデルの提案 ポスター発表 飯田 正樹 (指導:横山 重俊 講師,政谷 好伸 講師)
抽象構文解析木(AST)を用いたハートブリード脆弱性の検査方法の検討と評価 ポスター発表 礒崎 亮多 (指導:吉岡 信和 講師)
Java VM上におけるJava PathFinderで検出した不具合再現の自動化 ポスター発表 大木 憲二 (指導:田辺 良則 講師)
ソースコードの静的解析結果へのRandom Forest適用による不具合予測 ポスター発表 垣田 賢一 (指導:野中 誠 講師)
最優秀賞 MALSS: 機械学習支援ツール ポスター発表 鴨志田 亮太 (指導:坂本 一憲 講師)
自己結合SQLクエリ検出ツール によるチューニングの提案 ポスター発表 岸本 拓也 (指導:野中 誠 講師)
業務パッケージ利用システム開発における要件定義書品質向上の検討と向上方法の提案 ポスター発表 北村 敬祐 (指導:中谷 多哉子 講師)
全文検索システム構築の検索要件定義におけるオントロジーの適用と考察 ポスター発表 國府田 一輝 (指導:妻木 俊彦 講師)
テスト自動化へのモデル検査の適用 ポスター発表 小林 道央 (指導:田辺 良則 講師)
分散シミュレーション設計における AADLの適用性評価 ポスター発表 小堀 壮彦 (指導:鷲崎 弘宜 講師)
知見を用いたデータ分析業務へのデータ中心分析法の適用評価 ポスター発表 斉藤 功樹 (指導:土肥 拓生 講師)
ERPバッチ処理フレームワークへのモデル検査の適用 ポスター発表 齋藤 誉 (指導:田原 康之 講師)
ナビゲーションシステムの要件定義におけるGoal Directed Task Analysisの適用 ポスター発表 坂本 孝博 (指導:位野木 万里 講師)
LSIのCDC設計パターンの構築 ポスター発表 鈴木 利彦 (指導:鄭 顕志 講師)
行列演算プログラムにおける整合性保証 ポスター発表 知原 信博 (指導:田辺 良則 講師)
Promelaにおける割り込み制御処理のフレーム ワーク作成およびデッドロック原因推定について ポスター発表 中山 仁 (指導:田原 康之 講師)
企業における開発プロセス改善手法の提案 〜「気付き」から始めるプロセス改善〜 ポスター発表 西田 寿雄 (指導:位野木 万里 講師)
テストケースの作成を⽀援する 制約付き設計書の検討 ポスター発表 西野 敏幸 (指導:石川 冬樹 講師)
通信アプリケーションのフレームワーク化の検討 ポスター発表 沼上 幸夫 (指導:鄭 顕志 講師)
特定ドメイン向けWebアプリケーションの画面性能測定用フレームワーク開発による性能測定の効率的な自動化 ポスター発表 袴田 眞史 (指導:土肥 拓生 講師)
データ仕様復元に向けたパターン検出技術の適用検討 ポスター発表 橋本 康範 (指導:鷲崎 弘宜 講師)
協調シミュレーションによる保護リレーの検証 ポスター発表 濱野 智明 (指導:石川 冬樹 講師)
開発者モニタリングデータを活用したリアルタイムプロジェクト管理支援技術 ポスター発表 福井 大輔 (指導:坂本 一憲 講師)
組込みシステムのオフショア開発のための 形式仕様記述方式の検討 ポスター発表 福永 吉晃 (指導:石川 冬樹 講師)
バイオツールを並列処理するための導入提案 ポスター発表 福家 優 (指導:横山 重俊 講師,政谷 好伸 講師)
従来の仕様書からの変換によるVDMの活用 ポスター発表 松崎 裕介 (指導:石川 冬樹 講師)
メッセージングシステム開発におけるモデル検査適用 ポスター発表 三木 康裕 (指導:吉岡 信和 講師)
要求仕様の理解と妥当性確認のための議論の内容を構造化し即時記録するためのモデル ポスター発表 三成 竜也 (指導:古宮 誠一 講師)
形式仕様記述と実装間の整合性検証手法の構築 ポスター発表 黒田 尭利 (指導:石川 冬樹 講師)
制約プログラミングを用いた自動車向け機能配置案の導出 ポスター発表 徳永 智哉 (指導:鄭 顕志 講師)
ソフトウェア開発におけるリスク識別手法としてFTAとKepner-Tregoe法の本質的な差異は何か? ポスター発表 岩崎 弘志 (指導:古宮 誠一 講師)
システム基盤開発における要求変更の考察 ポスター発表 塔村 通孝 (指導:中村 太一 講師)
リスク因子に基づくソフトウェア開発工数の 見積り誤差モデル ポスター発表 上村 龍平 (指導:野中 誠 講師)
BPMツールを用いた開発手法改善の提案 ポスター発表 田端 聖也 (指導:石川 冬樹 講師)
エンハンスプロジェクトでの活用を目的とした 障害予測 ポスター発表 畠中 翔 (指導:野中 誠 講師)
戻る

2013年度(平成25年度) 第8期修了制作

1年を選択して2014年3月に修了した方及び,1年6箇月を選択して2014年9月に修了した方の修了制作です.

ゴール指向を用いた複数医療情報ガイドライン要求事項分析 ポスター発表 伊藤 健 (指導:石川 冬樹 講師)
優秀賞 Event-Bによる2台のクレーン協調制御のシステム分析 ポスター発表 岩田 理史 (指導:來間 啓伸 講師)
UML Componentsにおける仕様策定プロセスの評価 ポスター発表 上野 高史 (指導:鄭 顕志 講師)
品質要求を考慮したアーキテクチャ設計の製品開発への適用と表現明瞭化の検討 ポスター発表

大野 隼人 (指導:鷲崎 弘宜 講師)

派生開発における要求分析工程での影響箇所の検出手法 ポスター発表 大場 聡司 (指導:古宮 誠一 講師)
形式仕様記述の機能仕様書への適用 ポスター発表 大屋 由香里 (指導:石川 冬樹 講師)
ビッグデータ分析の導入工程の定型化とクラウドデザインパターンの適用 ポスター発表 柏村 洋平 (指導:横山 重俊 講師)
形式手法を用いたプロダクトライン検証手法の研究 ポスター発表 加藤正恭 (指導:石川 冬樹 講師)
交差点における運転行動による環境の変化を考慮した要求抽出手法 ポスター発表 可児 佑介 (指導:位野木 万里 講師)
プログラムスライシング技術を応用したテストメソッド概要抽出 ポスター発表 上村 学 (指導:坂本 一憲 講師)
最優秀賞 シーケンス図を用いたモデル検査手法の提案 ポスター発表 後藤 隼弐 (指導:吉岡 信和 講師)
CMSを合理的に選択するための指標策定 ポスター発表 小濱 裕太 (指導:粂野 文洋 講師)
組込みソフトウェアの派生開発におけるコードクローンの安全かつ効率的なリファクタリングパターンの抽出 ポスター発表 小林 思無邪 (指導:鷲崎 弘宜 講師)
リバースモデリングにおける レガシーコードとモデルの一致性評価 ポスター発表 小林 純 (指導:田辺 良則 講師)
Specification By Exampleを用いた仕様共有によるコンポーネント平行開発プロセス ポスター発表 小林 智行 (指導:石川 冬樹 講師)
組み込み機器のテストプログラムのパターン ポスター発表 近藤 理 (指導:坂本 一憲 講師)
アスペクト指向に基づいたUML Components拡張 既存コンポーネントの変更を不要としたソフトウェア機能拡張の実現 ポスター発表 榊原 正天 (指導:鄭 顕志 講師)
優秀賞 MVC Webアプリケーションの機能縮退を考慮した振舞い検証 ポスター発表 澤野 宏貴 (指導:高橋 竜一 講師)
静的コード解析ツールの指摘における複雑度を用いた確認優先度付け手法の提案 ポスター発表 渋谷 健介 (指導:田辺 良則 講師)
アーキテクチャ評価手法(ATAM)の導入における手法の改善 ポスター発表 鈴木 孝明 (指導:鷲崎 弘宜 講師)
モデル検査によるデータベースのアクセスコントロールポリシー違反の検出 ポスター発表 鈴木 祐一郎 (指導:吉岡 信和 講師)
半順序を利用したカーネルドライバのデッドロック検出手法 ポスター発表 聖城 豊 (指導:土肥 拓生 講師)
BI開発プロトタイプレビューにおけるメトリクス可視化手法の提案 ポスター発表 大門 未直 (指導:野中 誠 講師)
モデル検査の業務適用について ポスター発表 田嶋 裕司 (指導:田原 康之 講師)
コーディングルール適用による複雑度低減の試み ポスター発表 西潟 憲策 (指導:土肥 拓生 講師)
Statement Deletion Operatorを使用したミューテーション解析ツールの作成と適用効果の研究 ポスター発表 野中 亮 (指導:坂本 一憲 講師)
レビュープロセス改善に向けた定量的評価とその応用 ポスター発表 長谷川 和也 (指導:野中 誠 講師,阿萬 裕久 講師 )
クラウド基盤の安全な継続的デリバリーの実現 ポスター発表 塙 大紀 (指導:横山 重俊 講師)
ソフトウェアの老化を放置させないためのヘルスチェック ポスター発表 東 勲 (指導:位野木 万里 講師)
UI設計のためのHTMLデザインパターン ポスター発表 日野 克哉 (指導:鷲崎 弘宜 講師)
クラウド基盤における物理サーバ障害時影響テナント特定方法の検討 ポスター発表 細川 天 (指導:横山 重俊 講師)
Java PathFinderの統合開発環境への組み込みによるデバッグ機能強化ツールの製作 ポスター発表 本間 芳則 (指導:田辺 良則 講師)
ストレージシステム機能仕様策定におけるEvent-B適用検討 ポスター発表 松下 貴記 (指導:石川 冬樹 講師)
超上流要求工学の要求分析手法に基づく要件定義書のレビュー手法の提案 ポスター発表 眞鍋 慎一 (指導:田原 康之 講師)
VDM++におけるテストデータに基づいたリファインメント手法の提案 ポスター発表 水谷 祐馬 (指導:石川 冬樹 講師)
組込みシステム向けデータ管理機能における外部品質向上のためのデザインパターンの抽出および評価 ポスター発表 森 拓郎 (指導:鄭 顕志 講師)
組込みソフトウェアへの設計モデル検査適用検討 ポスター発表 八巻 智和 (指導:田辺 良則 講師)
ソフトウェア製品開発における知識獲得手法の提案 ポスター発表 廣田 匠 (指導:位野木 万里 講師)
顧客要求の妥当性に関する議論を記録するためのモデルの提案 ポスター発表 田中 淳一 (指導:古宮 誠一 講師)
ArbitCheck: Javaのための高度に自動化された性質テストツール ポスター発表 矢藤 康祐 (指導:坂本 一憲 講師)
DBMSの開発における整合性検証のモデル検査適応検討 ポスター発表 礒田 有哉 (指導:吉岡 信和 講師)
戻る

2012年度(平成24年度) 第7期修了制作

1年を選択して2013年3月に修了した方及び,1年6箇月を選択して2013年9月に修了した方の修了制作です.

組込みソフトウェアへの設計モデル検査の適用とPromelaコード生成の拡張 ポスター発表 青木 仁志 (指導:田辺 良則 講師)
画面設計書からの実行可能なテストケース生成技術の提案 ポスター発表 朱峰 錦司 (指導:石川 冬樹 講師)
ウォーターフォール型開発とアジャイル型開発における生産性データ同値性分析 ポスター発表 石井 博幸 (指導:野中 誠 講師)
複数のソースコード解析手法の組み合わせによるオープンソースソフトウェアの品質確認 ポスター発表 出内 将夫 (指導:田辺 良則 講師)
画像処理ライブラリにおけるテストパターン ポスター発表 大藤 洋 (指導:石川 冬樹 講師)
アプリケーションに特化したHadoopタスク分割設計の提案 ポスター発表 沖田 弘明 (指導:横山 重俊 講師)
スケーラブルなDBMS向け負荷試験環境構築 ポスター発表 片山 大河 (指導:横山 重俊 講師)
Java PathFinderによるFile IOプログラム検証 ポスター発表 加藤 新吾 (指導:田辺 良則 講師)
非機能要求グレードとインフラデザインパターンを利用したシステムインフラ設計支援の提案 ポスター発表 兼清 裕平 (指導:鷲崎 弘宜 講師)
スケーラブルアプリケーション実現に向けた設計・実装手法の検討 ポスター発表 川畑 光平 (指導:鄭 顕志 講師)
Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析 ポスター発表 川村 健 (指導:鷲崎 弘宜 講師)
組込みシステム向けデバイスドライバ開発におけるソフトウェアプロダクトラインの適用 ポスター発表 北隅 伸明 (指導:鄭 顕志 講師)
ソフトウェアパターンを活用した設計による,ネットワーク機器運用保守機能の変更容易性向上 ポスター発表 小林 和敏 (指導:鄭 顕志 講師)
アスペクト指向開発による操作ログ分析システム開発 ポスター発表 五味 剛 (指導:鄭 顕志 講師)
優秀賞 FTAに基づくEvent-Bリファインメントの手順化 ポスター発表 佐藤 直人 (指導:石川 冬樹 講師)
最優秀賞 フィーチャ分析と充足可能性判定を用いたシステムテストに向けたシステム構成導出 ポスター発表 新原 敦介 (指導:鷲崎 弘宜 講師)
多種サービス間でBASEを保証するための更新トランザクションの設計ルールと検証手法 ポスター発表 髙鶴 哲也 (指導:田辺 良則 講師, 今井 宜洋 講師)
品質駆動によるクラウドデザインパターンの適用プロセス ポスター発表 月川 剛徳 (指導:鷲崎 弘宜 講師)
静的解析ツールのデータを使用した故障検知抽出手法 ポスター発表 土屋 雅生 (指導:野中 誠 講師)
Event-Bを利用した安全要求仕様の導出と検証方法の提案 ポスター発表 豊 裕介 (指導:來間 啓伸 講師)
優秀賞 組込みソフトウェアへのKobrA法の適用 ポスター発表 仲 顕照 (指導:鄭 顕志 講師)
Androidアプリケーションへのコンポーネント指向開発の適用 ポスター発表 中里 克久 (指導:鄭 顕志 講師)
スマートデバイス向けアプリケーション開発へのFunctional Reactive Programmingの適用評価 ポスター発表 中村 秀樹 (指導:石川 冬樹 講師, 今井 宜洋 講師)
自動運転における駐車位置決定手法の一検討 ポスター発表 新原 竜馬 (指導:田辺 良則 講師)
i*フレームワークを用いたゴール指向分析での時間表現 ポスター発表 根津 芳香 (指導:妻木 俊彦 講師)
厳密性緩和型計算のためのS/Wマシンモデルを用いた低コスト評価環境の提案 ポスター発表 濱本 真生 (指導:田辺 良則 講師)
複数のソフトウェアメトリクスにおける外れ値の分析 ポスター発表 日下 裕貴 (指導:野中 誠 講師)
Ajaxアプリケーションのテスト自動化・支援ツールの業務適用に関する評価 ポスター発表 星 敬一郎 (指導:高橋 竜一 講師)
JavaScript Webアプリケーションに対するミューテーション操作の提案と評価 ポスター発表 西浦 一貴 (指導:鷲崎 弘宜 講師)
ソフトウェア開発における欠陥分析とHAZOPのガイドワードを用いたリスク観点導出の方法 ポスター発表 増田 礼子 (指導:妻木 俊彦 講師)
アプリケーション情報を基にした仮想マシン配置手法の考案 ポスター発表 平原 誠也 (指導:横山 重俊 講師)
戻る

2011年度(平成23年度) 第6期修了制作

1年を選択して2012年3月に修了した方及び,1年6箇月を選択して2012年9月に修了した方の修了制作です.

静的コード解析メトリクスを用いたバグ予測モデルの評価 ポスター発表 新井 広之 (指導:野中 誠 講師)
オントロジーの適用による小規模ソフトウェアのための ドキュメント管理について ポスター発表 石川 利行 (指導:妻木 俊彦 講師)
確率CSPモデル検査支援ツール ポスター発表 大新 智行 (指導:磯部 祥尚 講師)
異なるSQL文の等価性を証明する為のEvent-Bによるモデリング ポスター発表 岡 啓 (指導:來間 啓伸 講師)
機能設計段階での第三者検証チームによる事象検出方法の検討 ポスター発表 岡部 憲一 (指導:石川 冬樹 講師)
Webアプリケーションに対するテストケースの自動生成 ポスター発表 尾山 卓也 (指導:石川 冬樹 講師)
IaaS構築作業のワークフロー作成と 再利用手法の提案 ポスター発表 北山 真太郎 (指導:横山 重俊 講師, 石川 冬樹 講師)
工程別欠陥埋め込み数の予測 ポスター発表 衣簱 宏和 (指導:野中 誠 講師,阿萬 裕久 講師)
AOPとCIを用いた 実装モデル検証の自動実行環境の構築 ポスター発表 古賀 陽一郎 (指導:田辺 良則 講師)
高可用クラスタソフトウェアの設計モデル検証 ポスター発表 小島 隆弘 (指導:吉岡 信和 講師)
Event-Bによる離散コントロールシステムの分析 手法の提案 ポスター発表 小林 努 (指導:來間 啓伸 講師)
並行オブジェクト設計手法COMETの組込みシステム開発への適用 ポスター発表 小林 秀典 (指導:鄭 顕志 講師)
欠陥摘出数のモデル化と,レイリーモデルによる 残存欠陥数の予測可能性に関する調査 ポスター発表 佐竹 裕久 (指導:野中 誠 講師,阿萬 裕久 講師)
JavaScriptにおける変数定義空間の 相互作用動的分析ツールの開発 ポスター発表 塩野谷 友隆 (指導:石川 冬樹 講師)
JUnitへのJava PathFinderの適用 ポスター発表 末松 慎也 (指導:田辺 良則 講師)
組込みソフト教育コンテンツの制作-検証モデル「データ送信システム」を教材に- ポスター発表 関口 賢三 (指導:田辺 良則 講師)
原因分類情報を用いた Fault-Prone 予測モデル の適用事例 ポスター発表 仙頭 洋一 (指導:野中 誠 講師,阿萬 裕久 講師)
プロセスメトリクスを用いた システムテスト検出バグ数の予測 ポスター発表 高橋 亮介 (指導:野中 誠 講師)
JPFファイルIOプログラム検証 ポスター発表 田中 佑季 (指導:田辺 良則 講師)
ガイドラインに沿ったテストデータの自動生成 ポスター発表 千谷 裕志 (指導:磯部 祥尚 講師)
Webアプリケーションにおける テストの自動化 ポスター発表 中川 直行 (指導:石川 冬樹 講師)
パターン適用によるフレームワークの内部構造の改良 ポスター発表 新居 雅行 (指導:鄭 顕志 講師)
優秀賞 テスト実行履歴に基づく テストケース生成手法の提案 ポスター発表 野尻 周平 (指導:野中 誠 講師,阿萬 裕久 講師)
エンタープライズ系システムへのAlloyの適用の検討 ポスター発表 橋本 憲幸 (指導:石川 冬樹 講師)
優秀賞 実装コード不具合検出へのJava PathFinder 適用に向けた探索空間削減手法の検討 ポスター発表 前岡 淳 (指導:田辺 良則 講師)
派生開発における見積モデルの構築 ポスター発表 桝田 秀和 (指導:鄭 顕志 講師, 鷲崎 弘宜 講師)
Java PathFinderを利用した スレッドアンセーフなコードの検出 ポスター発表 松田 友隆 (指導:田辺 良則 講師)
企業情報システムにおけるユースケース分析支援 のためのパターンマイニングとその活用に関する一考察 ポスター発表 松本 琢也 (指導:鄭 顕志 講師)
優秀賞 静的解析ツールによるオープンソースの問題検出 ポスター発表 松本 博郎 (指導:田辺 良則 講師)
テスト密度に着目した結合テストリスクの構造分析 ポスター発表 丸山 泰生 (指導:野中 誠 講師,阿萬 裕久 講師)
ホームネットワークシステムにおけるサービス競合を事前 に検出するためのシナリオ記述方式の提案 ポスター発表 百瀬 正光 (指導:水野 修 講師)
ゴール指向モデリングによる 運用要求仕様書の品質検証 ポスター発表 柳瀬 隆史 (指導:妻木 俊彦 講師)
Androidアプリ開発における 方式設計パターンカタログの作成 ポスター発表 山下 雅喜 (指導:鄭 顕志 講師)
Hadoop MapReduce デザインパターンのカタログ化 ポスター発表 横石 潔和 (指導:石川 冬樹 講師)
クラウドコンピューティングにおける 提供サービスと提供基盤の対応付けの整理 ポスター発表 吉田 一幸 (指導:横山 重俊 講師, 石川 冬樹 講師)
リスク分析手法とモデル検査を組合わせた 高信頼設計プロセスの提案 ポスター発表 若林 昇 (指導:吉岡 信和 講師)
Androidアプリケーションにおける Java Path Finderを用いた並列処理の品質向上検討 ポスター発表 和田 真 (指導:田辺 良則 講師)
要求分析のための質的調査に基づくAsWas- AsIs分析手法の提案 ポスター発表 渡辺 将弘 (指導:中谷多哉子講師)
AjaxアプリケーションにおけるJavaPathFinder適用手法の提案 ポスター発表 佐野 宏行 (指導:田辺 良則 講師)
コード品質確認プロセスのGQMによるモデル化 ポスター発表 小角 能史 (指導:鄭 顕志 講師)
戻る

2010年度(平成22年度) 第5期修了制作

クラウド環境下におけるアクセス制御のVDMを用いての検証 ポスター発表 阿南 秀忠 (指導:石川 冬樹 講師)
第三者評価における大略テスト設計書を用いたテストの俯瞰及びテスト設計までのフレームワークの検討 ポスター発表 伊藤 拓也 (指導:石川 冬樹 講師, 田辺 良則 講師)
改良開発におけるEvent-Bの有効性検証 ポスター発表 岩崎 隆 (指導:來間 啓伸 講師)
画像処理ソフトウェアの仕様に基づいたテスト画像の自動生成,および検証・評価自動化 ポスター発表 榎本 誠 (指導:鷲崎 弘宜 講師)
開発現場への形式仕様記述展開手法の提案 ポスター発表 大橋 充幸 (指導:來間 啓伸 講師)
VDMによるユースケース検証用ツール ポスター発表 岡野 道太郎 (指導:石川 冬樹 講師)
組み込みソフトウェア開発におけるモデル検査スタンダードの考案 ポスター発表 片岡 久宜 (指導:吉岡 信和 講師)
適用デザインパターンの選択プロセスに関する一考察 ポスター発表 河田 洋平 (指導:鄭 顕志 講師)
既存システムの改良・保守業務における,上流工程(要件定義,概要設計)の欠陥除去方法の提案 ポスター発表 川村 正治 (指導:石川 冬樹 講師)
パスカバレッジテストデータの自動生成 ポスター発表 木村 一臣 (指導:磯部 祥尚 講師)
コードクローンとファイル名情報を利用した静的コード解析指摘分類 ポスター発表 郡司 尚樹 (指導:野中 誠 講師)
優秀賞 Promelaコード生成およびエラー原因推定アルゴリズム開発 ポスター発表 佐々木 隆益 (指導:吉岡 信和 講師)
優秀賞 DSLによる設計情報記述に対する誤り検出方法の考察 ポスター発表 佐々木 高洋 (指導:石川 冬樹 講師)
ステークホルダの選好を考慮に入れたゴール選択手法 ポスター発表 佐藤 慎一 (指導:石川 冬樹 講師)
業務WebシステムへのUML Components 適用(共同制作) ポスター発表 陣内 一, 堀切 哲生 (指導:鷲崎 弘宜 講師, 鄭 顕志 講師)
制約プログラミングによる機器配置設計補助ツール ポスター発表 諏訪 公洋 (指導:田辺 良則 講師, 石川 冬樹 講師)
ランダムテストにおけるテスト実績の可視化 ポスター発表 田中 信彰 (指導:野中 誠 講師)
要求獲得技法による技術戦略立案支援の提案 ポスター発表 辻 昇治 (指導:妻木 俊彦 講師)
制御ボードファームウェアの二重化制御機能を対象とした形式検証の適用 ポスター発表 辻村 浩史 (指導:石川 冬樹 講師)
Java PathFinderを活用したWebアプリケーションの検証 ポスター発表 直井 稔 (指導:田辺 良則 講師)
性能モデル検査技術を用いた性能最適化支援手法の提案と評価 ポスター発表 長野 岳彦 (指導:吉岡 信和 講師)
AspectCによる組込みプロダクトライン開発 ポスター発表 羽柴 瑠弥子 (指導:鄭 顕志 講師)
検査モデルを自動生成するモデル検査支援基盤の提案 ポスター発表 近久 真章 (指導:粂野 文洋 講師)
アスペクト指向による計測ソフトウェアフレームワーク設計 ポスター発表 廣瀬 鉄平 (指導:鄭 顕志 講師)
Android開発へモデル検査の提案 ポスター発表 細川 友武 (指導:田辺 良則 講師)
優秀賞 Rich Internet Applications のページ内状態遷移のモデリング手法の提案 ポスター発表 前澤 悠太 (指導:鷲崎 弘宜 講師)
ソフトウェア開発組織の文書化方針に関する一考察(企業横断調査データに基づくマクロ視点での分析) ポスター発表 水上 祐治 (指導:野中 誠 講師)
一般化線形モデルを用いたソフトウェアプロジェクトデータ分析 ポスター発表 渡邉 智 (指導:野中 誠 講師)
無線センサネットワークの為のモデル駆動開発におけるモデル間データフロー相違の検証 ポスター発表 清水 遼 (指導:田辺 良則 講師)
Promelaモデルの自動抽象化の枠組みの提案 ポスター発表 姜 帆 (指導:田辺 良則 講師)
戻る

2009年度(平成21年度) 第4期修了制作

形式手法を用いた高可用性クラスタ・システムのモデル化と検証 ポスター発表 今泉 正雄 (指導:田口 研治 講師)
RTOSスケジューリング機能の段階的詳細化によるモデル化 ポスター発表 岩本 信一 (指導:來間 啓伸 講師, 石川 冬樹 講師)
ゴール指向モデルを利用したソフトウェアテストの精度向上 ポスター発表 沖汐 大志 (指導:妻木 俊彦 講師)
ソフトウェアメトリクスによる定量的分析手法の実践と評価 ポスター発表 河合 克己 (指導:野中 誠 講師)
UML と実装モデル検査を組み合わせた導入コストの低い開発プロセスの提案 ポスター発表 川上 真澄 (指導:吉岡 信和 講師)
優秀賞 UPPAAL を用いたリアルタイムシステムにおける設計・運用品質の向上手法  ポスター発表 駒形 龍太 (指導:田辺 良則 講師)
複数言語対応のソースコード処理系フレームワーク 〜テストカバレッジ測定への適用例〜 ポスター発表 坂本 一憲 (指導:石川 冬樹 講師)
優秀賞 モデル検査手法を用いたマリシャスコードパターンの分析 ポスター発表 椎木 孝斉 (指導:田口 研治 講師, 吉岡 信和 講師)
セキュリティ要件定義のためのゴール指向モデリング手法 ポスター発表 斯波 万恵 (指導:田口 研治 講師, 吉岡 信和 講師)
ユーザ企業におけるゴール指向要求分析法の導入とテスト効率化手法の提案 ポスター発表 清水 靖則 (指導:中村 太一 講師)
DSL とパターンによる高生産かつ高拡張なコード自動生成ツール ポスター発表 正野 勇嗣 (指導:石川 冬樹 講師, 鷲崎 弘宜 講師)
状態遷移表のモデル検証自動化ツールの開発 ポスター発表 高田 沙都子 (指導:粂野 文洋 講師)
スケジュール管理Web アプリケーションへのアスペクト指向プログラミングの適用 ポスター発表 竹澤 亮 (指導:鷲崎 弘宜 講師)
優秀賞 インクリメンタル型ソフトウェア開発の品質予測 ポスター発表 竹田 和正 (指導:野中 誠 講師)
Promela における割り込み制御の半自動モデル化 ポスター発表 只野 賢二 (指導:磯部 祥尚 講師)
Web システムにおけるデータ項目の抽出とチェックの仕組み検討 ポスター発表 塚本 純一 (指導:石川 冬樹 講師, 久保 正樹 講師)
組込みシステムコア資産の作成手法の提案 ポスター発表 徳弘 雄亮 (指導:吉岡 信和 講師)
ゴール指向分析によるCoBRA 法の変動要因抽出支援 ポスター発表 豊嶋 大輔 (指導:妻木 俊彦 講師)
大規模検証のための検査モデルの構築方法の提案 ポスター発表 中川 雄一郎 (指導:吉岡 信和 講師)
UML Components for SOA ポスター発表 橋本 好史 (指導:鄭 顕志 講師, 石川 冬樹 講師)
確率的モデル検査を用いたQoS 向上のための複数プロバイダ併用設定の検証 ポスター発表 平塚 信明 (指導:石川 冬樹 講師)
Event-B を用いた上流工程品質向上の施策について ポスター発表 北條 浩一郎 (指導:石川 冬樹 講師, 來間 啓伸 講師)
時間制約を含む連動図表のUPPAALによるモデル検査 ポスター発表 堀 悟 (指導:磯部 祥尚 講師)
クラウドコンピューティング環境のためのモデル駆動開発ツールの試作 ポスター発表 前田 隆之 (指導:磯部 祥尚 講師)
抽象化された形式仕様に基づく実装のチェック ポスター発表 真野 悟 (指導:石川 冬樹 講師)
ユーザーインターフェース開発における状態認知性のモデル検査 ポスター発表 村田 孝宏 (指導:粂野 文洋 講師)
形式仕様記述の自然言語と図への変換 ポスター発表 山本 力世 (指導:石川 冬樹 講師)
新人技術者教育におけるソースコード評価メトリクスの分析 ポスター発表 吉住 英樹 (指導:野中 誠 講師)
OCL 記述を用いたコンポーネント設計の検証 ポスター発表 和田 明日可 (指導:鷲崎 弘宜 講師)
戻る

2008年度(平成20年度) 第3期修了制作

Spinを用いた処理フロー妥当性の早期検証ツールの提案 ポスター発表 森岡 剛 (指導:石川 冬樹 講師)
最優秀賞 モデル検査技法を用いたビジネスプロセス検証 ポスター発表
スライド発表
綿引 健二 (指導:石川 冬樹 講師)
RTOS を用いた組込みソフトウェア開発へのモデル検査適用手法の提案 朝岡 忠 (指導:吉岡 信和 講師)
自社用ソフトウェア開発ツールのオープンソース型開発の提案 ポスター発表 石井 健一 (指導:田口 研治 講師)
モデル検査基準を導入した開発プロセスについて ポスター発表 乾 道孝 (指導:吉岡 信和 講師)
VDMにおける状態遷移ベース仕様記述と検証の提案 ポスター発表 植木 雅幸 (指導:石川 冬樹 講師)
プロダクトラインアーキテクチャ設計・評価へのモデル検査の適用 ポスター発表 宇佐美 雅紀 (指導:田辺 良則 講師, 鷲崎 弘宜 講師)
NaviGlasses ワールドの形式仕様記述と検証 ポスター発表 大座畑 重光 (指導:田口 研治 講師)
繰り返し型プロジェクトにおける Trac の適用 ポスター発表 大沼 智之 (指導:田口 研治 講師)
分散型依存検証フレームワークの設計検証 岡本 尚彰 (指導:粂野 文洋 講師)
組織の開発力を考慮したプロジェクト開発期間見積もり ポスター発表 川村 真弥 (指導:野中 誠 講師)
要求分析技法の社内適用手順の開発 ポスター発表 栗原 英俊 (指導:妻木 俊彦 講師)
セキュアトロポス(secure Tropos)による内部統制のモデル化 ポスター発表 河本 高文 (指導:田口 研治 講師)
ESC/Java2を用いた画面入力チェック仕様検証の手法提案とツール試作 ポスター発表 小堀 一雄 (指導:粂野 文洋 講師)
超上流工程における形式手法及び要求工学手法の適用検討 ポスター発表 猿渡 卓也 (指導:田口 研治 講師)
VDM++ と SPIN の連携による検証プロセスの効率化 ポスター発表 鷲見 毅 (指導:石川 冬樹 講師)
優秀賞 ユーザ企業における,要件定義プロセスの標準化提案 ポスター発表
スライド発表
角川 友隆 (指導:妻木 俊彦 講師)
データベース設計における,モデルベースの非機能要求記述へのアプローチ ポスター発表 千葉 浩太郎 (指導:田口 研治 講師)
不具合レポートの定性的情報に基づいた不具合の重要度判別 ポスター発表 那須 一義 (指導:野中 誠 講師)
ソフトウェア開発の改善に先端的ツール,手法を活用する方法 ポスター発表 早川 昌志 (指導:吉岡 信和 講師)
ゴール指向要求分析とオブジェクト指向分析を組合わせた組込み機器の分析・設計プロセスの提案 ポスター発表 松川 明子 (指導:鄭 顕志 講師)
見積りシステム開発を通じた Event-B 導入に関する一考察 ポスター発表 松崎 和賢 (指導:來間 啓伸 講師)
ビジネスプロセスの検証ツールの開発 ポスター発表 村田 大二郎 (指導:磯部 祥尚 講師)
SOA 時代における通信プログラムのモデル検査手法の確立 ポスター発表 茂呂 範 (指導:田辺 良則 講師)
Event-B の記述実験と式の命名による可読性向上の提案 ポスター発表 山﨑 雄大 (指導:來間 啓伸 講師)
組込み開発におけるリスク分析手法の適用 ポスター発表 和田 美江子 (指導:野中 誠 講師)
無線センサーネットワークにおけるネットワークスタックのコンポーネント化 ポスター発表 阿部 玲 (指導:鄭 顕志 講師)
優秀賞 VDM++ → Event-B 変換器 ポスター発表
スライド発表
川俣 洋次郎 (指導:田口 研治 講師)
自然言語処理技術の適用によるソフトウェア部品への自動タグ付け ポスター発表 馬場 雪乃 (指導:石川 冬樹 講師)
アスペクト指向プログラミングの SunSPOT アプリケーション開発への適用 ポスター発表 中里 彦俊 (指導:鄭 顕志 講師)
戻る

2007年度(平成19年度) 第2期修了制作

ゴール指向要求分析を用いたモデル検査技術の適用プロセス ポスター発表 小川 秀人 (指導:粂野 文洋 講師)
安全要求分析とセキュリティパターンを利用したセキュアな社内システム設計 ポスター発表 宮田 尚志 (指導:粂野 文洋 講師)
パケット送受信ツールのフレームワーク化 ポスター発表 阿部 匡弘 (指導:鷲崎 弘宜 講師)
検証機能および変更容易性を有する離散事象シミュレーションフレームワーク ポスター発表 天野 和洋 (指導:田原 康之 講師)
最優秀賞 要求仕様の精度向上の試み〜シミュレーション投入システムへの適用〜 ポスター発表
スライド発表
井上 拓 (指導:本位田真一 講師)
提案のための要求分析支援 ポスター発表 太田 唯子 (指導:妻木 俊彦 講師)
SOX法に対応したSANを利用する新しいバックアップスケジュールングの提案 ポスター発表 貝嶋 創 (指導:田口 研治 講師)
段階的詳細化をサポートするUML開発環境 ポスター発表 海津 智宏 (指導:磯部 祥尚 講師)
優秀賞 FDRによるRPGシナリオの検証 ポスター発表
スライド発表
長久 勝 (指導:磯部 祥尚 講師)
セキュリティを考慮したシステム開発方法論の提案 ポスター発表 中本 泰弘 (指導:吉岡 信和 講師)
優秀賞 品質駆動型設計によるWEBシステム開発 ポスター発表 繁在家 学 (指導:鷲崎 弘宜 講師)
要求-設計間のトレーサビリティを考慮した提案時方式設計法 ポスター発表 松永 振一郎 (指導:田原 康之 講師)
MPFジョブ制御システムの設計 ポスター発表 丸山 健治 (指導:田原 康之 講師)
無線センサネットワークにおける非機能要求の優先順位によるアプリケーションの実行継続 ポスター発表 末永 俊一郎 (指導:吉岡 信和 講師)
ユビキタスコンピューティングにおけるコンテンツアクセス制御のモデル構築と実装 ポスター発表 清 雄一 (指導:吉岡 信和 講師)
Freediaフレームワークを用いたパターン指向リファクタリングのケーススタディ ポスター発表 河村 美嗣 (指導:石川 冬樹 講師)
アスペクト指向設計における実現可能性分析のためのKAOS拡張 ポスター発表 清家 良太 (指導:石川 冬樹 講師)
プロトコル合成における,合成プロトコルの性質・制約の検証 ポスター発表 髙橋 竜一 (指導:石川 冬樹 講師)
異なるコンテキストモデリング言語間の変換手法の提案 ポスター発表 中村 善行 (指導:石川 冬樹 講師)
戻る

2006年度(平成18年度) 第1期修了制作

ホームネットワークにおけるコンテンツ配信サーバの制作 風戸 広史
UTM アプライアンスのログ情報解析ツールの開発 徳本 晋
センサーミドルウェアのアーキテクチャ設計 石黒 真
Web アプリケーションのページ間遷移検証ツールの制作 久保 淳人
コンプライアンス遵守(じゅんしゅ)のための要求分析 小黒 博昭
モデル検査ツールによるポリシー整合性検証 鴨田 浩明
SPIN対応環境 小泉 健
無線センサーネットワークにおける計測要求から計測処理への自動変換ルールの提案 鄭 顕志
複数ステークホルダーを有するWebシステムのビジネスモデル分析 丹羽 智史
モデル検査技術を用いたGUIテスティング・妥当性の検証 井元 崇之
映画推薦システムのレーティングを予測するコンポーネントの構築 チュオン カン クアン
要求を反映した形式仕様記述の獲得 中川 博之