UMLモデルからの変換による Web アプリケーションの形式検証
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-11-03
著者
関連論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Web画像に対する代替記述の適切性の評価手法(聴覚と福祉情報工学・一般)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- ループパーティショニングを用いたショートベクトル化技法
- ユーザ要求に対するパッケージソフトウェアの適合度導出手法
- 1Y-6 JavaFX Scriptによる動的コンテンツのアクセシビリティ向上手法(ユーザインタフェース,学生セッション,インタフェース)
- 1M-1 操作履歴を利用したユーザビリティ評価手法(ソフトウェア実装,学生セッション,ソフトウェア科学・工学)