スポンサーリンク
三菱電機(株)情報電子研究所 | 論文
- オフィスシステムの形式的記述へのアプローチ
- D-3-1 組込みソフトウェア向け障害解析ツールES-PAPAT(D-3. ソフトウェアサイエンス,一般セッション)
- ビジネスプロセスモデルを活用したBAMシステム構築の提案(会場A)
- オブジェクト指向フレームワークによる広域監視制御システムの開発
- データ分析支援ツール"DBSOLVER"(2) : 分析の流れ
- 高信頼性を実現するシステム仕様検査技術 (特集 ソフトウェア開発環境)
- 基幹業務システム開発におけるソフトウェア再利用技術への取り組み (特集 ソフトウェア開発プロセス・手法の革新)
- ペトリネットを用いたグラフィカルユーザインタフェースのふるまいの記述
- プロトコルの形式的記述によるプログラム自動生成システムの設計と作成
- オフィスオ-トメ-ションにおけるネットワ-ク技術 (オフィスオ-トメ-ション特集)
- 衛星通信利用データ配布サービスの検討
- 「使い易さ」に注目した評価項目の導出
- レビュー支援ツールを利用したテストケース作成支援
- マイコン用CASEツール : testCASE(4) : 評価テスト実行ツール
- マイコン用CASEツール : testCASE(3) : テスト項目生成ツール
- マイコン用CASEツール : testCASE(2) : 要求分析ツール
- マイコン用CASEツール : testCASE(1) : 基本構想
- Timed Token Protocolを用いたタイムクリティカル通信方式における帯域管理方式
- 平衡点解析によるトークンバスプロトコルの解析
- Mini-MAPオブジェクトディクショナリの性能評価