南山大学 · 理工学部 · 准教授

研究关键词形式手法・Software Engineering・Formal Methods・ソフトウェア工学・VDM++・モデル変換・ソフトウェアアーキテクチャ・仕様記述・検証

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Proceedings of the 22nd Overture Workshop 1 - 15 2024年9月2024
• Specification Slicing for VDM-SL2024 · Proceedings of the 22nd Overture Workshop 1 - 15 2024年9月
• IoTアプリケーションのためのコンテキスト指向ソフトウェアアーキテクチャ ソフトウェア工学の基礎30（日本ソフトウェア科学会ソフトウェア工学の基礎研究会FOSE2023） 159 - 164 2023年11月 詳細を見る 出版者・発行元： 近代科学社 コンテキストに応じて協調するマイクロサービス群としてIoTアプリケーションを構成する方法が一般的となってきている． このような背景のもと，IoTアプリケーションの設計に際して，コンテキスト指向，サービス指向，マイクロサービス群のマッシュアップを考慮したソフトウェアアーキテクチャの必要性が指摘されている． 本研究の目的は，コンテキスト指向で設計されたIoTアプリケーションをサービス化し，並行処理記述を用いてサービス連携を実現するための枠組みを整理することである． すなわち，IoTアプリケーションのためのアーキテクチャを定義し，マイクロサービス連携のための記述方式について検討する．2023
• ソフトウェアエンジニアリングシンポジウム2023論文集 Vol. 2023 pp. 154 - 163 2023年8月2023

• 並行プロセス記述デバッグ支援のための誤り軌跡パターンに関する研究 2022年 南山大学 南山大学パッヘ研究奨励金I-A-22022
• 同時性を含む区間振る舞いモデルの形式化と事象の抽象化支援に関する研究 2021年 南山大学 南山大学パッヘ研究奨励金I-A-2 詳細を見る 配分額： 300000円2021
• IoTシステムのための品質主導型ソフトウェアアーキテクチャ設計手法の研究 2020年 日本学術振興会 科学研究費補助金 基盤研究(C) 基盤研究(C) 詳細を見る 資金種別： 競争的資金 配分額： 4290000円2020
• 並行システムにおける同時性を考慮した形式仕様の構成法と検証手法に関する研 2020年 南山大学 南山大学パッヘ研究奨励金I-A-2 詳細を見る 配分額： 300000円2020

• 官方个人主页