文部科学省振興調整費
「産学融合先端ソフトウェア技術者養成拠点の形成」
本人材養成プログラムにおいて、第三期生として修了された方々の修了制作に関するポスター発表の資料、また特に優秀と認められた方々については発表用スライドの公開を行います。各資料は個々のリンクから表示することが出来ます。
|
Spinを用いた処理フロー妥当性の早期検証ツールの提案 ポスター発表 |
森岡 剛 |
|
モデル検査技法を用いたビジネスプロセス検証 ポスター発表 スライド発表 |
綿引 健二 |
|
RTOS を用いた組込みソフトウェア開発へのモデル検査適用手法の提案 |
朝岡 忠 |
|
自社用ソフトウェア開発ツールのオープンソース型開発の提案 ポスター発表 |
石井 健一 |
|
モデル検査基準を導入した開発プロセスについて ポスター発表 |
乾 道孝 |
|
VDMにおける状態遷移ベース仕様記述と検証の提案 ポスター発表 |
植木 雅幸 |
|
プロダクトラインアーキテクチャ設計・評価へのモデル検査の適用 ポスター発表 |
宇佐美 雅紀 |
|
NaviGlasses ワールドの形式仕様記述と検証 ポスター発表 |
大座畑 重光 |
|
繰り返し型プロジェクトにおける Trac の適用 ポスター発表 |
大沼 智之 |
|
分散型依存検証フレームワークの設計検証 |
岡本 尚彰 |
|
組織の開発力を考慮したプロジェクト開発期間見積もり ポスター発表 |
川村 真弥 |
|
要求分析技法の社内適用手順の開発 ポスター発表 |
栗原 英俊 |
|
セキュアトロポス（secure Tropos）による内部統制のモデル化 ポスター発表 |
河本 高文 |
|
ESC/Java2を用いた画面入力チェック仕様検証の手法提案とツール試作 ポスター発表 |
小堀 一雄 |
|
超上流工程における形式手法及び要求工学手法の適用検討 ポスター発表 |
猿渡 卓也 |
|
VDM++ と SPIN の連携による検証プロセスの効率化 ポスター発表 |
鷲見 毅 |
|
ユーザ企業における、要件定義プロセスの標準化提案 ポスター発表 スライド発表 |
角川 友隆 |
|
データベース設計における，モデルベースの非機能要求記述へのアプローチ ポスター発表 |
千葉 浩太郎 |
|
不具合レポートの定性的情報に基づいた不具合の重要度判別 ポスター発表 |
那須 一義 |
|
ソフトウェア開発の改善に先端的ツール、手法を活用する方法 ポスター発表 |
早川 昌志 |
|
ゴール指向要求分析とオブジェクト指向分析を組合わせた組込み機器の分析・設計プロセスの 提案 ポスター発表 |
松川 明子 |
|
見積りシステム開発を通じた Event-B 導入に関する一考察 ポスター発表 |
松崎 和賢 |
|
ビジネスプロセスの検証ツールの開発 ポスター発表 |
村田 大二郎 |
|
SOA 時代における通信プログラムのモデル検査手法の確立 ポスター発表 |
茂呂 範 |
|
Event-B の記述実験と式の命名による可読性向上の提案 ポスター発表 |
山﨑 雄大 |
|
組込み開発におけるリスク分析手法の適用 ポスター発表 |
和田 美江子 |
|
無線センサーネットワークにおけるネットワークスタックのコンポーネント化 ポスター発表 |
阿部 玲 |
|
VDM++ → Event-B 変換器 ポスター発表 スライド発表 |
川俣 洋次郎 |
|
自然言語処理技術の適用によるソフトウェア部品への自動タグ付け ポスター発表 |
馬場 雪乃 |
|
アスペクト指向プログラミングの SunSPOT アプリケーション開発への適用 ポスター発表 |
中里 彦俊 |
