3月16日(木) 午後 セッション1 13:55 - 15:55 |
(1) |
13:55-14:00 |
オープニング |
(2) |
14:00-14:35 |
管理データに基づくサブシステム間依存関係のモデル化 |
○猿渡卓也(NTTデータ) |
(3) |
14:35-15:10 |
機械学習プロジェクトにおける課題解決のための知識のモデル化 |
○竹内広宜(武蔵大)・山本修一郎(名古屋国際工科専門職大) |
(4) |
15:10-15:45 |
非形式/準形式混成記法に基づくトレーサビリティ管理手法 |
○岡田遼嗣・大濱吉紘・伊藤誠悟(豊田中研) |
|
15:45-15:55 |
休憩 ( 10分 ) |
3月16日(木) 午後 セッション2 15:55 - 17:10 |
(5) |
15:55-16:20 |
ユニバーサルスポーツをリモート化するシステムの開発と実証実験 |
○金井祐斗・粂野文洋・山地秀美(日本工大) |
(6) |
16:20-16:45 |
Pythonicなリスト内包表記の習得を目的としたヒント提示手法の提案 |
○今元 佑・槇原絵里奈・島﨑悠斗・小野景子(同志社大) |
(7) |
16:45-17:10 |
初学者支援を目的としたコードエディタにおけるPythonの型プレビュー機能実装に関する研究 |
○友池真輝・沖野健太郎・近藤将成・亀井靖高・鵜林尚靖(九大) |
3月17日(金) 午前 セッション3 09:30 - 12:50 |
(8) |
09:30-10:05 |
情報システムの進展におけるシステム思考と要求工学の関係の深化 |
○山本修一郎(名古屋国際工科専門職大) |
(9) |
10:05-10:40 |
OSSの採用リスク低減に向けたOSSへの生存時間分析の適用 |
○東本知志・蔵元宏樹(九大)・斎藤 忍・飯村結香子(NTT)・近藤将成・亀井靖高・鵜林尚靖(九大) |
(10) |
10:40-11:15 |
モデル検査を用いたFRAMにおける機能間の相互作用を検証するの試み |
○青木善貴(BIPROGY)・久住憲嗣(芝浦工大) |
(11) |
11:15-11:50 |
コマンドの編集距離に基づくDockerfileにおける類似記述の検索 |
中村碧海・○丸山勝久(立命館大) |
|
11:50-12:50 |
昼食 ( 60分 ) |
3月17日(金) 午後 セッション4 12:50 - 14:10 |
(12) |
12:50-13:25 |
確率的モデル検査器を用いたファミリーベースモデル検査についての考察 |
○岸 知二(早大) |
(13) |
13:25-14:00 |
境界値分析に基づいたテストケース生成に関する一考察 |
○郭 秀景・岡村寛之・土肥 正(広島大) |
|
14:00-14:10 |
休憩 ( 10分 ) |
3月17日(金) 午後 セッション5 14:10 - 15:55 |
(14) |
14:10-14:35 |
トレースのバリアントに基づくKPI閾値の自動検出によるビジネスプロセスの分析 |
○武井太郎・堀田大貴(茨城大) |
(15) |
14:35-15:00 |
SimulinkとSMTソルバの連携による協調解析支援ツールの開発 |
○エンジリスタ アナック ノルマン・上田賀一(茨城大) |
(16) |
15:00-15:25 |
GitHub Copilotを用いたコード自動生成における入力データ順序の影響調査 |
○野口広太郎・小柳 慶・近藤将成・亀井靖高・鵜林尚靖(九大) |
(17) |
15:25-15:50 |
OSSプロジェクトの早期成否判別に関する活動情報の調査 |
○菊池悠雅・上田賀一(茨城大) |
(18) |
15:50-15:55 |
クロージング |