スポンサーリンク
南山大学情報理工学部ソフトウェア工学科 | 論文
- 属性付き字句系列に基づくソースコード書き換え支援環境
- OVMに基づくマルチテナントSaaSの可変性モデルの提案と評価(「Webサービス・クラウド」及び一般)
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- ユーザ要求ベースのテスト方法
- ビジネスモデルジェネレーションを応用したビジネスモデル開発方法論の考察
- サーバ機能をクライアントに委譲するプライベートクラウドファイルシステム
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- SOAアプリケーションプラットフォームのプロダクトライン化
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- プログラミング演習におけるコーディング状況把握方法の考察