2012年度 野呂研究室 修士論文要旨
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- M2011MM007 江坂篤侍
- マルチプラットフォームに対応した同期処理の実現に関する研究
- M2011MM014 服部裕介
- 非機能特性の特定によるアーキテクチャの構造決定に関する研究
- M2011MM015 平崎唯善
- 並行システムにおけるフォールトのパターン化に関する研究
- M2011MM025 稲垣尋紀
- コード検査ツール開発における検査仕様記述の提案とテストケースの自動生成に関する研究
- M2011MM034 加藤遼介
- コード検査ツール開発における検査仕様記述の提案と処理コードの自動生成に関する研究
- M2011MM036 金賢修
- 自動販売機システムのクラウド化に向けたアプリケーションアーキテクチャの設計
- M2011MM040 小池由和
- モデル検査とテストを組み合わせたソフトウェア検証手法に関する研究
- M2011MM052 中村信太
- パターンを用いた並行システムにおけるフォールトの検
出に関する研究
- M2011MM066 杉浦友紀
- SOAに基づくシステムのための共通プラットフォームの
妥当性の検証
- M2011MM076 若尾明日香
- アスペクト指向ソフトウェアにおけるアプリケーション設計支援 〜モデル変換による自動設計〜
- M2011MM079 山下優理
- 並行システム記述に対するパスの照合の研究
- M2011MM080 山内宏也