スポンサーリンク
東海大学情報通信学研究科 | 論文
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- ロボットコンテストを利用した組込み教育の実践
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 状態遷移言語による組込みソフトウェア開発 (ディペンダブルコンピューティング)
- 状態遷移言語による組込みソフトウェア開発 (コンピュータシステム)
- 大学学部における組込みソフトウェア教育事例
- 大学学部における組込みソフトウェア教育事例
- 状態遷移言語による組込みソフトウェア開発
- 状態遷移言語による組込みソフトウェア開発
- アスペクト指向遷移状態言語の非正常系の問題への適用
- アスペクト指向遷移状態言語の非正常系の問題への適用
- C#における冗長なイベントハンドラ統合手法の提案
- C#における冗長なイベントハンドラ統合手法の提案