ET / IoT 総合技術展 関西

ET West 2017 / IoT Technology West 2017 ロゴ

カンファレンス情報 Conference Information

JASA JASAセミナー

※下記の内容は、昨年(2016年)の内容です。

JASA技術本部セミナー 組込みシステム技術協会 技術本部による委員会調査活動と成果セミナー

【技術高度化委員会】状態遷移設計研究会 レガシーコードの蘇生術〜リバースモデリングツールRExSTM for Cのご紹介〜

組込みソフトウェア開発の現場では、レガシーコードの複雑化・肥大化やドキュメントの陳腐化に起因する問題が多く起こっている。状態遷移設計研究会では、この問題を解消すべく、以前よりレガシーコードから状態遷移表をリバースモデリングする手法の確立に以前より取り組んでおり、その一環としてリバースエンジニアリングを補助するツール RExSTM for C を開発している。公開に先立ち、このツールの紹介を行う。

山本 椋太名古屋大学 大学院 情報科学研究科

プロフィール 苫小牧工業高等専門学校 情報工学科を卒業し、その後、同・専攻科 電子・生産システム工学専攻に進学する。苫小牧工業高等専門学校では、組込みシステム教材開発に関する研究に携わっていた。現在、名古屋大学大学院情報科学研究科博士課程(前期課程)2年次在学中であり、ソフトウェア工学について研究に携わっている。特に、形式手法を使用したソフトウェアのディペンダビリティ向上に関する研究に携わっている。

出展社の方へ

主 催

企画・推進

お問い合わせ

ET 事務局

Tel.03-5657-0756
etinfo@jasa.or.jp

IoT Technology 事務局

Tel.03-5657-0756
iotinfo@jasa.or.jp

  • ETロボコン2016
  • OpenEL
  • E.I.S