フォーマルメソッド

昨日北九州学術研究都市にて開催された、第78回 産学交流サロン「ひびきのサロン」に
行ってきました。

50人以上は来ていたのではないでしょうか。

お題は、「カーエレクトロニクス：組込ソフトウェア研究活動のご紹介」でした。

講演１「フォーマルメソッドに基づくソフトウェア開発と組込みシステムへの適用」

講演２「画像処理・認識技術を用いたITS基盤技術への取り組み」

講演３「長崎県央・県北地域における産学官連携による組込みソフト人材育成」

講演４「移動ロボットのシステム制御と組込み技術」

講演５「車載ソフトウェア組込み開発について」

パネルディスカッション

フォーマルメソッドって初めて聞きました。

詳細はまだよく分からないですが、調べてみたいと思います。

 - ブログ