情報・システム-知能ソフトウェア工学(開催日:2023/03/16)

タイトル/著者/発表日/資料番号
非形式/準形式混成記法に基づくトレーサビリティ管理手法

岡田 遼嗣(豊田中研),  大濱 吉紘(豊田中研),  伊藤 誠悟(豊田中研),  

[発表日]2023-03-16
[資料番号]KBSE2022-56
ユニバーサルスポーツをリモート化するシステムの開発と実証実験

金井 祐斗(日本工大),  粂野 文洋(日本工大),  山地 秀美(日本工大),  

[発表日]2023-03-16
[資料番号]KBSE2022-57
機械学習プロジェクトにおける課題解決のための知識のモデル化

竹内 広宜(武蔵大),  山本 修一郎(名古屋国際工科専門職大),  

[発表日]2023-03-16
[資料番号]KBSE2022-55
Pythonicなリスト内包表記の習得を目的としたヒント提示手法の提案

今元 佑(同志社大),  槇原 絵里奈(同志社大),  島﨑 悠斗(同志社大),  小野 景子(同志社大),  

[発表日]2023-03-16
[資料番号]KBSE2022-58
初学者支援を目的としたコードエディタにおけるPythonの型プレビュー機能実装

友池 真輝(九大),  沖野 健太郎(九大),  近藤 将成(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2023-03-16
[資料番号]KBSE2022-59
管理データに基づくサブシステム間依存関係のモデル化

猿渡 卓也(NTTデータ),  

[発表日]2023-03-16
[資料番号]KBSE2022-54
確率的モデル検査器を用いたファミリーベースモデル検査についての考察

岸 知二(早大),  

[発表日]2023-03-17
[資料番号]KBSE2022-64
情報システムの進展におけるシステム思考と要求工学の関係の深化

山本 修一郎(名古屋国際工科専門職大),  

[発表日]2023-03-17
[資料番号]KBSE2022-60
SimulinkとSMTソルバの連携による協調解析支援ツールの開発

エンジリスタ アナック ノルマン(茨城大),  上田 賀一(茨城大),  

[発表日]2023-03-17
[資料番号]KBSE2022-67
OSSの採用リスク低減に向けたOSSへの生存時間分析の適用

東本 知志(九大),  蔵元 宏樹(九大),  斎藤 忍(NTT),  飯村 結香子(NTT),  近藤 将成(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2023-03-17
[資料番号]KBSE2022-61
GitHub Copilotを用いたコード自動生成における入力データ順序の影響調査

野口 広太郎(九大),  小柳 慶(九大),  近藤 将成(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2023-03-17
[資料番号]KBSE2022-68
境界値分析に基づいたテストケース生成に関する一考察

郭 秀景(広島大),  岡村 寛之(広島大),  土肥 正(広島大),  

[発表日]2023-03-17
[資料番号]KBSE2022-65
活動状況がOSSプロジェクト継続・中断に与える影響の調査

菊池 悠雅(茨城大),  上田 賀一(茨城大),  

[発表日]2023-03-17
[資料番号]KBSE2022-69
モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み

青木 善貴(BIPROGY),  久住 憲嗣(芝浦工大),  

[発表日]2023-03-17
[資料番号]KBSE2022-62
トレースのバリアントに基づくKPI閾値の自動検出によるビジネスプロセスの分析

武井 太郎(茨城大),  堀田 大貴(茨城大),  

[発表日]2023-03-17
[資料番号]KBSE2022-66
コマンドの編集距離に基づくDockerfileにおける類似記述の検索

中村 碧海(立命館大),  丸山 勝久(立命館大),  

[発表日]2023-03-17
[資料番号]KBSE2022-63