Model-Driven
Software Engineering
信州大学 モデル駆動ソフトウェア工学 研究室
本WEBサイトは 信州大学 工学部 電子情報システム工学科 小形研究室 のサイトです．
小形研究室では モデル駆動ソフトウェア工学 分野の研究を行なっています．
We are using Disco that is an excellent tool for process mining! https://fluxicon.com/academic/
NEWS
2024.4.8
情報処理学会 第64回インターネットと運用技術研究会（IOT研究会）にて当研の中村光晟さんが学生奨励賞を受賞しました！
中村 光晟，鈴木 彦文，小形 真平，橋浦 弘明，岡野 浩三，ネットワーク機器設定解析によるネットワーク構成モデル自動抽出―マルチベンダ対応に向けて―，研究報告インターネットと運用技術（IOT），2024-IOT-64(6)，pp.1-8, 2024.
2024.4.8
情報処理学会 第64回インターネットと運用技術研究会（IOT研究会）にて当研の藤田智哉さんが学生奨励賞を受賞しました！
藤田 智哉，鈴木 彦文，小形 真平，橋浦 弘明，岡野 浩三，静的解析によるネットワーク構成モデルの自動検証，研究報告インターネットと運用技術（IOT），2024-IOT-64(5)，pp.1-8, 2024.
2024.4.8
情報処理学会 第64回インターネットと運用技術研究会（IOT研究会）にて当研の佐竹柊路さんが学生奨励賞を受賞しました！
佐竹 柊路，鈴木 彦文，小形 真平，橋浦 弘明，岡野 浩三，L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法，研究報告インターネットと運用技術（IOT），2024-IOT-64(4)，pp.1-8, 2024.
2023.12.8
情報処理学会 情報処理学会 第16回 インターネットと運用技術シンポジウム(IOTS 2023)にて当研の三輪丈馬さんが学生奨励賞を受賞しました！
三輪 丈馬，小形 真平，鈴木 彦文，橋浦 弘明，岡野 浩三，住宅における情報ネットワークに対する非技術者向け要求表現ツールの検討，インターネットと運用技術シンポジウム論文集，2023，pp.101-102, 2023.
2023.3.16
情報処理学会 第60回IOT（インターネットと運用技術）研究会にて当研の新井 凪さんが学生奨励賞を受賞しました！
新井 凪，佐竹 柊路，小形 真平，鈴木 彦文，岡野 浩三，モデル駆動型ネットワーク機器設定支援アプローチ，第60回IOT研究会，2023-IOT-60(15)，pp.1-8, 2023.
2023.2.4
第9回 実践的IT教育シンポジウム rePiT2023 in 函館にて当研の木村拓馬さん，五島光祥さん，小形教員，岡野教員の共著論文が優秀教育実践賞を受賞しました！
木村 拓馬，五島 光祥，小形 真平，槇原 絵里奈，岡野 浩三，ステートマシン図記述課題における答案が満たさない要求の特定・計測半自動化手法の提案，実践的IT教育シンポジウム rePiT 論文集，Vol.2023, pp.101-112, 2023.
2022.7.12
情報処理学会 第58回IOT（インターネットと運用技術）研究会にて当研の佐竹 柊路さんが学生奨励賞を受賞しました！
佐竹 柊路，鈴木 彦文，小形 真平，新井 凪，岡野 浩三，リンク障害に対するネットワーク設計の自動検証手法の試案，第58回IOT研究会，2022-IOT-58(3)，pp.1-8, 2022.
2021.9.6
情報処理学会 第55回IOT（インターネットと運用技術）研究会にて当研の新井 凪さんが優秀学生賞を受賞しました！
新井 凪，鈴木 彦文，小形 真平，岡野 浩三，ネットワーク構成情報の設計仕様に基づくネットワーク機器設定手順の自動生成方法に関する検討，第55回IOT研究会，2021-IOT-55(1)，pp.1-8, 2021.
2021.11.22-23
ETロボコン2020 チャンピオンシップ大会にて当研究室のメンバーが参加するチーム「SiNa Ko」が下記の成績を収めました！
エントリークラス 競技部門 優勝
2020.11.19-20
FOSE2020にて当研の大宮 拓馬さんがIEEE Computer Society Japan Chapter FOSE Young Researcher Awardを受賞しました！
大宮 拓馬，小形 真平，岡野 浩三，可読性の高いクラス図レイアウトを作成するための美的基準の調査，第27回 ソフトウェア工学の基礎ワークショップ（FOSE2020），pp.57-66, 2020.
詳細はコチラ
Shinshu MDSE Lab. 