カレンダー
2012年
February 
February
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 |
最近の記事
記事カテゴリ
検索
ブログサービス
Powered by
2008/11/29
「eclipseって 組込みソフトウェア開発での形式手法の有効な使い方」
質問コーナーでは、何か明るい答えが出るだろうとか思って聞いて
二上さん。自動車の組み込みの人。欧州はインフラを起点に形式手
中島先生は、使える人から使い始めて広まっていくシナリオみたい
渡辺さん。ZIPCは離散系を扱える、matlab/simul
今後もこのようなeclipseがもっとたくさん増えるといいですね。
中島先生。形式手法は設計が対象、設計は再利用しやすい。テスト
欲しいｱｲﾃﾑみごとにかわされたし...
他。情報が国内では分散してるのでは、俯瞰が欠落してるように見
質問コーナー、状態爆発。フル仕様のFSMではなく、検証する内
質問コーナー、形式仕様記述のコスト。日本の組み込み開発文化に
質問コーナー、形式仕様記述には関数型の表現が出てくるが、現場
タグ（ eclipse）
0
二上さん。自動車の組み込みの人。欧州はインフラを起点に形式手
中島先生は、使える人から使い始めて広まっていくシナリオみたい
渡辺さん。ZIPCは離散系を扱える、matlab/simul
今後もこのようなeclipseがもっとたくさん増えるといいですね。
中島先生。形式手法は設計が対象、設計は再利用しやすい。テスト
欲しいｱｲﾃﾑみごとにかわされたし...
他。情報が国内では分散してるのでは、俯瞰が欠落してるように見
質問コーナー、状態爆発。フル仕様のFSMではなく、検証する内
質問コーナー、形式仕様記述のコスト。日本の組み込み開発文化に
質問コーナー、形式仕様記述には関数型の表現が出てくるが、現場
タグ（ eclipse）
0
タグ： eclipse
投稿者: 武器はトランシーバー
トラックバック(0)