組込みソフトウェアのためのテスト・検証可能な状態モデル (第21回 回路とシステム軽井沢ワークショップ論文集)
スポンサーリンク
概要
- 論文の詳細を見る
- [電子情報通信学会]の論文
- 2008-04-21
著者
関連論文
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- 組込みシステムのためのカラーペトリネットを利用した実装に基づくモデル化とテスト法(オブジェクト指向とWeb技術)
- (形式的仕様)オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術(オブジェクト指向技術)
- ロボットコンテストを利用した組込み教育の実践
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 4 プロダクトライン開発技術(組み込みソフトウェア開発技術)
- 組込みソフトウェアのためのテスト・検証可能な状態モデル (第21回 回路とシステム軽井沢ワークショップ論文集)
- ステレオタイプによるUMLモデル間の整合性検証支援手法(オブジェクト指向技術)
- 組み込みシステムにおける優先度付きタスクの抽出方法
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- 基本ブロックを用いたオブジェクト指向リアルタイムシステムの開発
- 状態遷移言語による組込みソフトウェア開発 (ディペンダブルコンピューティング)
- 状態遷移言語による組込みソフトウェア開発 (コンピュータシステム)
- 状態遷移言語による組込みソフトウェア開発
- 状態遷移言語による組込みソフトウェア開発
- アスペクト指向遷移状態言語の非正常系の問題への適用
- アスペクト指向遷移状態言語の非正常系の問題への適用