渡辺 晴美 | 立命館大学理工学部情報学科
スポンサーリンク
概要
関連著者
-
渡辺 晴美
立命館大学理工学部情報学科
-
小倉 信彦
東京工業大学精密工学研究所認知機構研究分野
-
小倉 信彦
武蔵工業大学環境情報学部
-
小倉 信彦
東工大精研
-
渡辺 晴美
東海大学情報通信学研究科
-
渡辺 晴美
東海大学情報通信学部
-
小倉 信彦
武蔵工業大学
-
渡辺 晴美
東海大学
-
小倉 信彦
東京都市大学環境情報学部
-
谷川 郁太
東海大学情報通信学部組込みソフトウェア工学科
-
久保秋 真
サイバービーンズ
-
鷲崎 弘宣
国立情報学研究所
-
小林 靖英
アフレル
-
飯田 周作
専修大学
-
飯田 周作
専修大学文学部・社会知性開発研究センター
-
渡辺 晴美
東海大学開発工学部
-
渡辺 晴美
東海大
-
金子 省太
東海大学開発工学部情報通信工学科
-
鷲崎 弘宜
早稲田大学基幹理工学部情報理工学科
-
谷川 郁太
東海大学情報通信学部
-
安倍 昌輝
東海大学情報通信学研究科
-
川村 峰大
東海大学情報通信学研究科
-
大西 淳
立命館大学情報理工学部
-
沢田 篤史
京都大学
-
沢田 篤史
京都大学学術情報メディアセンター
-
沢田 篤史
南山大学情報理工学部
-
鷲見 毅
立命館大学理工学部情報学科
-
大西 淳
立命館大学大学院理工学研究科
-
川井 奈央
キャツツ(株)
-
山本 修二
キャツツ(株)
-
大西 淳
立命館大学大学院理工学研究科情報工学専攻
-
大西 淳
立命館大学 情報理工学部 情報システム学科
著作論文
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
- 組込みシステムのためのカラーペトリネットを利用した実装に基づくモデル化とテスト法(オブジェクト指向とWeb技術)
- (形式的仕様)オブジェクト指向ソフトウェアテストのためのカラーペトリネットスライシング技術(オブジェクト指向技術)
- ロボットコンテストを利用した組込み教育の実践
- 組込みソフトウェアのためのゴール指向手法による状態モデル構築法(モデル表記・モデル検査)
- 4 プロダクトライン開発技術(組み込みソフトウェア開発技術)
- 組込みソフトウェアのためのテスト・検証可能な状態モデル (第21回 回路とシステム軽井沢ワークショップ論文集)
- ステレオタイプによるUMLモデル間の整合性検証支援手法(オブジェクト指向技術)
- 組み込みシステムにおける優先度付きタスクの抽出方法
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- カラーペトリネットスライシングによるリアルタイム開発支援
- 基本ブロックを用いたオブジェクト指向リアルタイムシステムの開発
- 状態遷移言語による組込みソフトウェア開発 (ディペンダブルコンピューティング)
- 状態遷移言語による組込みソフトウェア開発 (コンピュータシステム)
- 状態遷移言語による組込みソフトウェア開発
- 状態遷移言語による組込みソフトウェア開発
- アスペクト指向遷移状態言語の非正常系の問題への適用
- アスペクト指向遷移状態言語の非正常系の問題への適用