文献

J-GLOBAL ID：202502263501367216   整理番号：25A3044715

モデル駆動型リバースエンジニアリングツールCodoMo-機能の紹介と機械学習システムの教育的実践例-

CodoMo: A Model-Driven Reverse Engineering Tool with an Educational Example for Machine Learning Systems

著者 (2件)： 張江洋次朗 (金沢学院大 情報工) ,  小形優人 (金沢学院大 情報工)
資料名： 金沢学院大学紀要(Web)  (Journal of Kanazawa Gakuin University (Web))
号： 23  ページ： 295-300 (WEB ONLY)  発行年： 2025年03月01日 
JST資料番号： L5834D  ISSN： 2435-5224  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 金沢学院大学は,令和5年度に大学・高専機能強化支援事業の第1回対象校に選定された。本事業においては,データサイエンス・AI教育の実践に安心安全な教材が求められている。金沢学院大学情報工学部では著者らが開発したドローン制御システムを用いて,主にDXハイスクールに採択された高等学校を対象にプログラミング,画像認識,IoT技術などに関する体験講座を開講している。本稿では,高等学校での実践例およびドローン制御システムを安全に利用するためのリバースエンジニアリングツールCodoMoを紹介する。CodoMoは,実装コードにAST解析・処理を行うことで記号実行ツールPyExZ3が状態遷移を認識するための中間コードを半自動生成する点,また,PyExZ3で抽出した状態遷移を用いてモデル検査器pyModelCheckingで検証を行うためのモデル生成を行う点が特長である。(著者抄録)

シソーラス用語： *モデル駆動型ソフトウェア開発 ,  *リバースエンジニアリング ,  *機械学習 ,  ドローン ,  モデル検査 ,  情報教育 ,  学校教育 ,  高等学校 ,  情報科学教育
準シソーラス用語： ツール ,  プログラミング教育 ,  学習システム ,  高校教育 ,  制御システム ,  大学教育

分類 (2件)： 技術教育  (JA01050T) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： モデル ,  リバースエンジニアリング ,  ツール ,  機械学習 ,  教育