UMLモデルからの変換による Web アプリケーションの形式検証
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-11-03
著者
関連論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Web画像に対する代替記述の適切性の評価手法(聴覚と福祉情報工学・一般)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- ループパーティショニングを用いたショートベクトル化技法
- ユーザ要求に対するパッケージソフトウェアの適合度導出手法
- 1Y-6 JavaFX Scriptによる動的コンテンツのアクセシビリティ向上手法(ユーザインタフェース,学生セッション,インタフェース)
- 1M-1 操作履歴を利用したユーザビリティ評価手法(ソフトウェア実装,学生セッション,ソフトウェア科学・工学)
- 携帯端末用Webページから通常端末用ページを構成する手法--Webページのモデル化とその評価 (ソフトウェアサイエンス)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- 6Q-7 要求仕様とモデルの共通性・可変性分析によるソフトウェアプロダクトライン構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 6N-4 レジスタ干渉グラフの分割による高速化手法に関する研究(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- D-3-10 ガイドラインに則したGUIレイアウトの自動調整手法(D-3. ソフトウェアサイエンス,一般セッション)
- A-19-2 Webサイトの画像に対する代替テキスト記述の評価手法(A-19. 福祉情報工学,一般セッション)
- MDA体系に沿ったGUIモデル変換手法
- 非再試行型レジスタ割付けとその評価
- B-029 MDAモデル変換によるGUIプロトタイプ生成手法(B分野:ソフトウェア)
- 生存区間分割時に発生する偽干渉を避けるための同時コピー中間コードの利用(ARC-6 : ソフトウェア最適化,2007年並列/分散/協調処理に関する『旭川』サマー・ワークショップ(SWoPP旭川2007))
- 開発情報からのチュートリアルシステム自動生成手法とその評価(推薦論文・FOSE2005)
- ログ解析による操作学習支援システム自動生成
- MANETにおける省資源性を考慮した位置依存情報収集手法(ネットワーク)
- 文書間類似度によるソフトウェアパターン間関連分析と複合関連の導出
- モデル検査によるステートチャートとシーケンスチャートの整合性検証(「さまざまな分野の形式的検証最前線」及びAI一般)
- 分岐の相関を利用した効率的なパスプロファイリング
- 計算機資源を考慮したパイプライン並列性抽出手法
- 多重ループにおける最適ループ展開数算定技法
- 数値演算ループの多次元展開技法
- Java GUIプログラムに対するアクセシビリティチェック(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 音階表現によるグラフ形状の理解支援(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 大学構内モバイル環境実現における履歴収集機能拡張
- 4X-3 大学構内におけるモバイル環境実現の経験とその評価(学校・教室システム,一般講演,コンピュータと人間社会)
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- JavaFX Scriptで記述されたRIAのアクセシビリティ向上支援
- シーケンス図からの時間性能モデル検査用オブザーバ生成手法(テスト・検証(一般セッション))
- B-052 ソフトウェアパターン文書の解析および体系化(B.ソフトウェア)
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- 動的解析による Web アプリケーション・モデル抽出支援手法(情報システム開発の支援環境と手法)(情報システム論文)
- 動的解析による Web アプリケーション・モデル抽出支援手法
- ユースケース間の関係を考慮した網羅的な受け入れテストの支援
- 並列コピーの導入による生存区間分割手法の性能向上
- Javaにおける例外処理の実行時情報を利用した最適化
- コンパイル速度の向上を目的とした非反復型レジスタ割付け手法
- 頻出メソッド管理テーブルを用いたinvokeinterface命令の実行高速化手法
- ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- モバイルエージェントによるバッテリ切れ避難システム : EASTER(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- 多重ループにおける最適ループ展開数算定技法
- モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- REST形式Webサービスのテスト実行に基づく高精度な検索
- 携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- オブジェクト指向'95シンポジウム(OO '95)報告
- 「ソフトウェアアーキテクチャはどう役にたつのか」
- ウィンターワークショップ・イン・沖縄'95開催報告
- フェロモンモデル : 交通渋滞予測への適用(モデル/理論, ソフトウェアエージェントとその応用論文)
- 利用ログに対するウィンドウ遷移の解析による操作学習システム生成
- ユーザの操作を基にしたユーザビリティ自動評価手法
- B-013 音階を用いたグラフ形状の表現システム(B分野:ソフトウェア)
- B-002 Javaソースコードに対するアクセシビリティチェック(B分野:ソフトウェア)
- GUIウィジェット変更に伴うソースコード変更支援
- B-023 ソフトウェアの操作学習支援をする操作マップの自動生成手法(B.ソフトウェア)
- モデル/ビュー分離アーキテクチャBeaMの機構とその評価
- 4C-1 アプリケーション部品についてのMVCパターンの適用
- 自然言語解析技術を応用したイベントフローの統合によるプログラム理解 (小特集 「次世代Web技術とデジタルエンタープライズ」および一般)
- 特集「アジア・太平洋のソフトウェア技術」の編集にあたって (アジア・太平洋のソフトウェア技術)
- コンポーネント指向Webアプリケーションフレームワークにおけるモジュール性の向上のための一手法
- Model2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援
- 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- B-17 オブジェクト指向フレームワークの標準的使用法に基づく対話的理解支援(オブジェクト指向とパターン,B.ソフトウェア)
- フレームワーク製作者の意図を考慮した再構成手法
- 制約記述の導入によるフレームワークのカスタマイズ作法の提示
- 標準的実装からの逸脱度によるフレームワークの設計評価
- スライシングを用いたフレームワークの再構成支援技法
- 5ZC-5 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
- フレームワーク・ナビゲータ : フレームワークを用いたアプリケーション実装の支援
- 仕様記述言語ZZと実行時仕様
- ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用
- プログラム変更に対する正当性検証技法と分割技法の適用
- 論理型仕様の理解支援のための一手法
- 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット)
- B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
- RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- オブジェクト指向に基づく分析結果とプログラムからの設計上の決定抽出
- 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
- Ajaxアプリケーションの保守容易性計測のためのソフトウェアメトリクス
- UMLモデルからの変換によるWebアプリケーションの形式検証
- 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
- UMLモデルからの変換による Web アプリケーションの形式検証