2020年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-006word2vecによるソースコードとドキュメント間の対応付け

若竹慶則,  小澤彩果,  島川博光,  原田史子,  

B-007自動コード生成を目的としたテンプレートベースによるUML上位設計の作成と整合性検査

畑瀬尚之,  和崎克己,  

B-008Cソースコード静的解析のための問い合わせ言語CxmlPyQueryの改良と評価

河合勇太朗,  福原和哉,  猪股俊光,  杉野栄二,  今井信太郎,  新井義和,  成田匡輝,  

B-009定数宣言の抽象化による値不一致な形式的部品の再利用手法

原野和貴,  織田　健,  

B-010形式仕様記述の細分化における未記述制約抽出手法の提案

森下匡平,  織田　健,  

B-011A Case Study of Formal Analysis Methods with Reasoning for Cryptographic Protocols

Jun Zheng,  Yuichi Goto,  

B-012開発効率向上のためのスクリプト言語mruby/cを用いたロボット制御

福田尚毅,  田中和明,