制御ソフトウェア開発のための参照モデル
スポンサーリンク
概要
著者
-
池田 信之
株式会社東芝
-
池田 信之
(株)東芝 情報・社会システム社 Si技術開発センター
-
松本 一教
(株)東芝システム・ソフトウェア技術研究所
-
池田 信之
株式会社東芝研究開発センター
-
守安 隆
(株)東芝研究開発センター情報・通信システム研究所第二研究所
-
松本 一教
神奈川工科大学情報工学科
-
早瀬 健夫
株式会社東芝e-ソリューション社SI技術開発センター
-
早瀬 健夫
(株)東芝SI技術開発センター
-
早瀬 健夫
(株)東芝e-ソリューション社
-
守安 隆
(株)東芝 情報・社会システム社 Si技術開発センター
関連論文
- 1B-4 実時間スケジューリングを想定したエレベータシステムヘのモデル検査適用(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- モデル検査によるソフトウェア上流設計の品質向上技術 (特集 ソフトウェアエンジニアリング)
- 実用化に向けたモデル検査適用手法の開発 (特集 イノベーションを加速するフロントローディング設計)
- 時相論理とその応用 (<特集>非標準論理とその応用)
- 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
- 株データからの命題獲得
- 推論ツールKINOの開発
- 階層的問題解決システムにおける抽象階層の決定方法
- Open GroupMedia : 個人用アプリケーションを共有するグループウェア・フレームワーク
- Knuth-Bendix完備化手続きにおける等式選択の戦略について
- 89-28 効率的時間推論
- 87-36 条件付き論理にもとづく暗黙推論の試み
- 時制論理とペトリネット(AIの推論とOR)
- 3ビューモデルに基づくオブジェクト指向フレームワーク開発手法
- 制御ソフトウェア開発のための参照モデル
- 参照モデルに基づくオブジェクト指向フレームワーク開発手法
- 相関ルールの評価指標について
- オブジェクト指向によるエアコン制御シミュレータの開発 ( インターネットによるソフトウェア開発環境および一般)
- 優先度つき状態遷移図における経路評価
- B-002 ユーザ満足度を損ねずにエネルギー消費を極小化させる要求分析手法(ソフトウェア,一般論文)
- ビジュアル構築ウィンドウを付属するGUIオブジェクト
- Webサービス (特集1 次世代ネットビジネスを支える XML技術--より豊かな表現力と拡張性でネットビジネスを加速する)
- 変更パターンに基づくオブジェクト部品化方法
- ハイパーメディアに基づく共同文書作成環境 MuHyme
- マルチユーザ・ハイパーメディアシステムによる共同文書作成支援
- グラスレス3Dレグザ(REGZA)の開発効率と品質を向上させるソフトウェアプラットフォームの構築 (特集 先進の3Dテレビ グラスレス3Dレグザ(REGZA))
- ドメイン参照モデルに基づくオブジェクト指向開発
- ドメイン参照モデルに基づくITS画像交換システム開発
- オブジェクト指向フレームワークと製品特化CASEによる組み込みシステム開発 : ATM(現金自動取引装置)への適用
- オブジェクト指向フレームワークと製品特化CASEによる組み込みシステム開発
- 3. グループウェアのための情報共有技術 ( グループウェアの実現へ向けて)