RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-08-20
著者
-
小野 康一
日本アイ・ビー・エム株式会社 東京基礎研究所
-
中田 武男
日本アイ・ビー・エム株式会社
-
小野 康一
日本アイ・ビー・エム株式会社東京基礎研究所
-
坂本 佳史
日本アイ・ビー・エム
-
福岡 直明
京セラミタ
-
河原 亮
日本アイ・ビー・エム株式会社東京基礎研究所
-
坂本 佳史
日本アイ・ビー・エム株式会社グローバルビジネスサービス組込みソフトウェア・コンサルティング
-
豊田 学
日本アイ・ビー・エム株式会社コンポーネントテクノロジーソリューション
-
中田 武男
日本アイ・ビー・エム株式会社東京基礎研究所
-
中田 武男
日本アイ・ビー・エム
関連論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- IBMプロフェッショナル論文 組み込みシステムのアーキテクチャー設計と性能評価のためのモデル・ベース手法
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (コンピュータシステム)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- 携帯端末用Webページから通常端末用ページを構成する手法--Webページのモデル化とその評価 (ソフトウェアサイエンス)
- D-11-73 レイトレーシングハードウェアのための交差判定器の計算精度に関する一考察
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- 動的解析による Web アプリケーション・モデル抽出支援手法(情報システム開発の支援環境と手法)(情報システム論文)
- 動的解析による Web アプリケーション・モデル抽出支援手法
- 複合機における多言語メッセージの分析と再利用手法
- RICEによる2次キャッシュメモリの性能評価
- ハードウェアキャッシュ評価システム "RICE"
- ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
- モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
- モデル駆動型開発に基づくセキュリティ設定 : Webサービスのための認証設定(モデル指向(一般セッション))
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
- 多種端末向けWebコンテンツ適用のための変換方式とオーサリングツール (2000年情報学シンポジウム--ネットワーク型情報メディアの活用と情報を活かす新技術) -- (セッション6:情報の可視化)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- パーソナルコンピュータ向けキャッシュシステムに関する一考察
- 高速並列処理ワークステーション(TOP-1) : アーキテクチャ
- コンポーネント指向Webアプリケーションフレームワークにおけるモジュール性の向上のための一手法
- Model2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援
- 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- B-17 オブジェクト指向フレームワークの標準的使用法に基づく対話的理解支援(オブジェクト指向とパターン,B.ソフトウェア)
- フレームワーク製作者の意図を考慮した再構成手法
- 制約記述の導入によるフレームワークのカスタマイズ作法の提示
- 標準的実装からの逸脱度によるフレームワークの設計評価
- スライシングを用いたフレームワークの再構成支援技法
- 5ZC-5 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
- フレームワーク・ナビゲータ : フレームワークを用いたアプリケーション実装の支援
- 仕様記述言語ZZと実行時仕様
- ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用
- プログラム変更に対する正当性検証技法と分割技法の適用
- 論理型仕様の理解支援のための一手法
- 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット)
- C-9-7 ディジタルPVリンク(次世代ビデオ・インターフェース)の概要
- 高速並列処理ワークステーション(TOP-1) : 入出力システム
- B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
- RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (ディペンダブルコンピューティング)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (コンピュータシステム)
- RC-013 システム実時間測定のためのLosslessデータ圧縮伸張方法(ハードウェア・アーキテクチャ,査読付き論文)
- ノートブック型コンピュータにおける消費電力とパフォーマンスに対する外部キャッシュの劾果
- テキスト分析技術を用いた開発関連文書の文書品質の定量化 (思考と言語)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- オブジェクト指向に基づく分析結果とプログラムからの設計上の決定抽出
- テキスト分析技術を用いた開発関連文書の文書品質の定量化(テーマセッション)
- 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
- 開発文書品質の定量化と文書校正ツールによる開発部門間の課題分析
- Ajaxアプリケーションの保守容易性計測のためのソフトウェアメトリクス
- UMLモデルからの変換によるWebアプリケーションの形式検証
- 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
- UMLモデルからの変換による Web アプリケーションの形式検証