これまでに本教育プログラムを修了された方々の、修了制作に関するポスター発表の資料を公開します。各資料は個々のリンクから表示することが出来ます。
|
ソフトウェアメトリクスによる定量的分析手法の実践と評価 ポスター発表 |
河合 克己 |
|
クラウド環境下におけるアクセス制御のVDMを用いての検証 ポスター発表 |
阿南 秀忠 |
|
第三者評価における大略テスト設計書を用いたテストの俯瞰及びテスト設計までのフレームワークの検討 ポスター発表 |
伊藤 拓也 |
|
改良開発におけるEvent-Bの有効性検証 ポスター発表 |
岩崎 隆 |
|
画像処理ソフトウェアの仕様に基づいたテスト画像の自動生成、および検証・評価自動化 ポスター発表 | 榎本 誠 |
|
開発現場への形式仕様記述展開手法の提案 ポスター発表 | 大橋 充幸 |
|
VDMによるユースケース検証用ツール ポスター発表 | 岡野 道太郎 |
|
組み込みソフトウエア開発におけるモデル検査スタンダードの考案 ポスター発表 | 片岡 久宜 |
|
適用デザインパターンの選択プロセスに関する一考察 ポスター発表 | 河田 洋平 |
|
既存システムの改良・保守業務における，上流工程（要件定義，概要設計）の欠陥除去方法の提案 ポスター発表 | 川村 正治 |
|
パスカバレッジテストデータの自動生成 ポスター発表 | 木村 一臣 |
|
コードクローンとファイル名情報を利用した静的コード解析指摘分類 ポスター発表 | 郡司 尚樹 |
|
Promelaコード生成およびエラー原因推定アルゴリズム開発 ポスター発表 | 佐々木 隆益 |
|
DSLによる設計情報記述に対する誤り検出方法の考察 ポスター発表 | 佐々木 高洋 |
|
ステークホルダの選好を考慮に入れたゴール選択手法 ポスター発表 | 佐藤 慎一 |
|
業務WebシステムへのUML Components 適用(共同制作) ポスター発表 | 陣内 一喜 堀切 哲生 |
|
制約プログラミングによる機器配置設計補助ツール ポスター発表 | 諏訪 公洋 |
|
ランダムテストにおけるテスト実績の可視化 ポスター発表 | 田中 信彰 |
|
要求獲得技法による技術戦略立案支援の提案 ポスター発表 | 辻 昇治 |
|
制御ボードファームウェアの二重化制御機能を対象とした形式検証の適用 ポスター発表 | 辻村 浩史 |
|
Java PathFinderを活用したWebアプリケーションの検証 ポスター発表 | 直井 稔 |
|
性能モデル検査技術を用いた性能最適化支援手法の提案と評価 ポスター発表 | 長野 岳彦 |
|
AspectCによる組込みプロダクトライン開発 ポスター発表 | 羽柴 瑠弥子 |
|
検査モデルを自動生成するモデル検査支援基盤の提案 ポスター発表 | 近久 真章 |
|
アスペクト指向による計測ソフトウェアフレームワーク設計 ポスター発表 | 廣瀬 鉄平 |
|
Android開発へモデル検査の提案 ポスター発表 | 細川 友武 |
|
Rich Internet Applications のページ内状態遷移のモデリング手法の提案 ポスター発表 | 前澤 悠太 |
|
ソフトウェア開発組織の文書化方針に関する一考察（企業横断調査データに基づくマクロ視点での分析） ポスター発表 | 水上 祐治 |
|
一般化線形モデルを用いたソフトウェアプロジェクトデータ分析 ポスター発表 | 渡邉 智 |
|
無線センサネットワークの為のモデル駆動開発におけるモデル間データフロー相違の検証 ポスター発表 | 清水 遼 |
|
Promelaモデルの自動抽象化の枠組みの提案 ポスター発表 | 姜 帆 |
|
形式手法を用いた高可用性クラスタ・システムのモデル化と検証 ポスター発表 | 今泉 正雄 |
|
RTOSスケジューリング機能の段階的詳細化によるモデル化 ポスター発表 | 岩本 信一 |
|
ゴール指向モデルを利用したソフトウェアテストの精度向上 ポスター発表 | 沖汐 大志 |
|
UML と実装モデル検査を組み合わせた導入コストの低い開発プロセスの提案 ポスター発表 | 川上 真澄 |
|
UPPAAL を用いたリアルタイムシステムにおける設計・運用品質の向上手法 ポスター発表 | 駒形 龍太 |
|
複数言語対応のソースコード処理系フレームワーク ～テストカバレッジ測定への適用例～ ポスター発表 | 坂本 一憲 |
|
モデル検査手法を用いたマリシャスコードパターンの分析 ポスター発表 | 椎木 孝斉 |
|
セキュリティ要件定義のためのゴール指向モデリング手法 ポスター発表 | 斯波 万恵 |
|
ユーザ企業におけるゴール指向要求分析法の導入とテスト効率化手法の提案 ポスター発表 | 清水 靖則 |
|
DSL とパターンによる高生産かつ高拡張なコード自動生成ツール ポスター発表 | 正野 勇嗣 |
|
状態遷移表のモデル検証自動化ツールの開発 ポスター発表 | 高田 沙都子 |
|
スケジュール管理Web アプリケーションへのアスペクト指向プログラミングの適用 ポスター発表 | 竹澤 亮 |
|
インクリメンタル型ソフトウェア開発の品質予測 ポスター発表 | 竹田 和正 |
|
Promela における割り込み制御の半自動モデル化 ポスター発表 | 只野 賢二 |
|
Web システムにおけるデータ項目の抽出とチェックの仕組み検討 ポスター発表 | 塚本 純一 |
|
組込みシステムコア資産の作成手法の提案 ポスター発表 | 徳弘 雄亮 |
|
ゴール指向分析によるCoBRA 法の変動要因抽出支援 ポスター発表 | 豊嶋 大輔 |
|
大規模検証のための検査モデルの構築方法の提案 ポスター発表 | 中川 雄一郎 |
|
UML Components for SOA ポスター発表 | 橋本 好史 |
|
確率的モデル検査を用いたQoS 向上のための複数プロバイダ併用設定の検証 ポスター発表 | 平塚 信明 |
|
Event-B を用いた上流工程品質向上の施策について ポスター発表 | 北條 浩一郎 |
|
時間制約を含む連動図表のUPPAALによるモデル検査 ポスター発表 | 堀 悟 |
|
クラウドコンピューティング環境のためのモデル駆動開発ツールの試作 ポスター発表 | 前田 隆之 |
|
抽象化された形式仕様に基づく実装のチェック ポスター発表 | 真野 悟 |
|
ユーザーインターフェース開発における状態認知性のモデル検査 ポスター発表 | 村田 孝宏 |
|
形式仕様記述の自然言語と図への変換 ポスター発表 | 山本 力世 |
|
新人技術者教育におけるソースコード評価メトリクスの分析 ポスター発表 | 吉住 英樹 |
|
OCL 記述を用いたコンポーネント設計の検証 ポスター発表 | 和田 明日可 |
|
Spinを用いた処理フロー妥当性の早期検証ツールの提案 ポスター発表 |
森岡 剛 |
|
モデル検査技法を用いたビジネスプロセス検証 ポスター発表 スライド発表 |
綿引 健二 |
|
RTOS を用いた組込みソフトウェア開発へのモデル検査適用手法の提案 |
朝岡 忠 |
|
自社用ソフトウェア開発ツールのオープンソース型開発の提案 ポスター発表 |
石井 健一 |
|
モデル検査基準を導入した開発プロセスについて ポスター発表 |
乾 道孝 |
|
VDMにおける状態遷移ベース仕様記述と検証の提案 ポスター発表 |
植木 雅幸 |
|
プロダクトラインアーキテクチャ設計・評価へのモデル検査の適用 ポスター発表 |
宇佐美 雅紀 |
|
NaviGlasses ワールドの形式仕様記述と検証 ポスター発表 |
大座畑 重光 |
|
繰り返し型プロジェクトにおける Trac の適用 ポスター発表 |
大沼 智之 |
|
分散型依存検証フレームワークの設計検証 |
岡本 尚彰 |
|
組織の開発力を考慮したプロジェクト開発期間見積もり ポスター発表 |
川村 真弥 |
|
要求分析技法の社内適用手順の開発 ポスター発表 |
栗原 英俊 |
|
セキュアトロポス（secure Tropos）による内部統制のモデル化 ポスター発表 |
河本 高文 |
|
ESC/Java2を用いた画面入力チェック仕様検証の手法提案とツール試作 ポスター発表 |
小堀 一雄 |
|
超上流工程における形式手法及び要求工学手法の適用検討 ポスター発表 |
猿渡 卓也 |
|
VDM++ と SPIN の連携による検証プロセスの効率化 ポスター発表 |
鷲見 毅 |
|
ユーザ企業における、要件定義プロセスの標準化提案 ポスター発表 スライド発表 |
角川 友隆 |
|
データベース設計における，モデルベースの非機能要求記述へのアプローチ ポスター発表 |
千葉 浩太郎 |
|
不具合レポートの定性的情報に基づいた不具合の重要度判別 ポスター発表 |
那須 一義 |
|
ソフトウェア開発の改善に先端的ツール、手法を活用する方法 ポスター発表 |
早川 昌志 |
|
ゴール指向要求分析とオブジェクト指向分析を組合わせた組込み機器の分析・設計プロセスの提案 ポスター発表 |
松川 明子 |
|
見積りシステム開発を通じた Event-B 導入に関する一考察 ポスター発表 |
松崎 和賢 |
|
ビジネスプロセスの検証ツールの開発 ポスター発表 |
村田 大二郎 |
|
SOA 時代における通信プログラムのモデル検査手法の確立 ポスター発表 |
茂呂 範 |
|
Event-B の記述実験と式の命名による可読性向上の提案 ポスター発表 |
山﨑 雄大 |
|
組込み開発におけるリスク分析手法の適用 ポスター発表 |
和田 美江子 |
|
無線センサーネットワークにおけるネットワークスタックのコンポーネント化 ポスター発表 |
阿部 玲 |
|
VDM++ → Event-B 変換器 ポスター発表 スライド発表 |
川俣 洋次郎 |
|
自然言語処理技術の適用によるソフトウェア部品への自動タグ付け ポスター発表 |
馬場 雪乃 |
|
アスペクト指向プログラミングの SunSPOT アプリケーション開発への適用 ポスター発表 |
中里 彦俊 |
|
ゴール指向要求分析を用いたモデル検査技術の適用プロセス ポスター発表 |
小川 秀人 |
|
安全要求分析とセキュリティパターンを利用したセキュアな社内システム設計 ポスター発表 |
宮田 尚志 |
|
パケット送受信ツールのフレームワーク化 ポスター発表 |
阿部 匡弘 |
|
検証機能および変更容易性を有する離散事象シミュレーションフレームワーク ポスター発表 |
天野 和洋 |
|
要求仕様の精度向上の試み～シミュレーション投入システムへの適用～ ポスター発表 スライド発表 |
井上 拓 |
|
提案のための要求分析支援 ポスター発表 |
太田 唯子 |
|
SOX法に対応したSANを利用する新しいバックアップスケジュールングの提案 ポスター発表 |
貝嶋 創 |
|
段階的詳細化をサポートするUML開発環境 ポスター発表 |
海津 智宏 |
|
FDRによるRPGシナリオの検証 ポスター発表 スライド発表 |
長久 勝 |
|
セキュリティを考慮したシステム開発方法論の提案 ポスター発表 |
中本 泰弘 |
|
品質駆動型設計によるWEBシステム開発 ポスター発表 |
繁在家 学 |
|
要求-設計間のトレーサビリティを考慮した提案時方式設計法 ポスター発表 |
松永 振一郎 |
|
MPFジョブ制御システムの設計 ポスター発表 |
丸山 健治 |
|
無線センサネットワークにおける非機能要求の優先順位によるアプリケーションの実行継続 ポスター発表 |
末永 俊一郎 |
|
ユビキタスコンピューティングにおけるコンテンツアクセス制御のモデル構築と実装 ポスター発表 |
清 雄一 |
|
Freediaフレームワークを用いたパターン指向リファクタリングのケーススタディ ポスター発表 |
河村 美嗣 |
|
アスペクト指向設計における実現可能性分析のためのKAOS拡張 ポスター発表 |
清家 良太 |
|
プロトコル合成における、合成プロトコルの性質・制約の検証 ポスター発表 |
髙橋 竜一 |
|
異なるコンテキストモデリング言語間の変換手法の提案 ポスター発表 |
中村 善行 |
