スポンサーリンク
三菱電機(株)情報電子研究所 | 論文
- 形式手法を用いたシステム設計検証技術
- PIM/m要素プロセッサのアーキテクチャ
- 携帯端末のソフトウエア更新のための差分情報合成方式
- 携帯端末のソフトウエア更新のための差分情報合成方式
- サーバ仮想化技術を利用した障害試験自動化手法の提案
- 2A-3 リソース利用状況を考慮した仮想計算機予備イメージ管理手法(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2A-2 仮想化技術を利用した異常処理試験自動化手法 : 試験開始状態の復元(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2A-1 仮想化技術を利用した異常処理試験自動化手法 : 状態情報収集方式(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 要求生成のメカニズムのモデルに関する一考察(要求工学・ドメイン分析)
- 1. ユーザインタフェース管理システムの基礎 1.2 ユーザインタフェース管理システムと対話制御 (ユーザインタフェース管理システム(UIMS))
- ハイパ-・メディアの情報検索システム (より使いやすいマンマシンインタフェ-スを求めて--グラフィックス表示を中心として) -- (具体的な応用例)
- ステートチャートのユーザインタフェース評価への応用
- ビデオオブジェクト管理システムにおけるハイパーリンク機能
- 技術文書管理システムにおける複合ブラウジング方式の実現
- フォームエディタの実装とその考察
- SIMD型並列画像処理プロセッサにおける解像度変換処理の適用
- 近似Peano走査を用いた誤差拡散法
- カラーハードコピー装置における像域分離の一手法
- 状態遷移モデルで記述された要求仕様に基づく組込みソフトウェアの自動試験法
- マイコン組み込みS/Wの開発を支援するCASEツール : testCASE(3) : testCASEを用いた開発の流れ