2025年度
国際会議
On Effectiveness of Formal Model Repair by Large Language Models
| 著者： | Sebastiao Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa |
|---|---|
ASYDE 2025 |
Customer Needs Elicitation Method for Business Architecture Design in the Space Industry
| 著者： | Hiroki Umeda, Yasushi Ueda |
|---|---|
INCOSE's 35th Annual International Symposium 2025 |
国内会議
新たな衛星利用サービスの創出を目指したオンボードAI 技術の軌道上実証
| 著者： | 植田 泰士、石濱 直樹、前田 稔、脇屋 剛史 、金子 泰之、木村 侑 |
|---|---|
第69回 宇宙科学技術連合講演会 |
オンボード環境におけるスマートタスキング実現に向けた技術検討と課題
| 著者： | 脇屋 剛史、植田 泰士、石濱 直樹 |
|---|---|
第69回 宇宙科学技術連合講演会 |
SDS（ソフトウェア定義衛星）を支えるソフトウェア基盤環境の開発
| 著者： | 前田 稔、脇屋 剛史、植田 泰士、石濱 直樹 |
|---|---|
第69回 宇宙科学技術連合講演会 |
複数宇宙機ミッションの設計・検証の方法論構築に向けて：振舞いモデリングと形式手法の活用可能性
| 著者： | 小林 努、中島 佑太 |
|---|---|
第69回 宇宙科学技術連合講演会 |
事業アーキテクチャ設計手法を用いたサービス優位性分析手法の提案
| 著者： | 梅田 浩貴、�睇� 翔馬、植田 泰士 |
|---|---|
第69回 宇宙科学技術連合講演会 |
事業分析におけるSysMLを用いた競争優位性の分析支援手法の提案
| 著者： | �睇� 翔馬、梅田 浩貴、植田 泰士 |
|---|---|
ソフトウェア品質シンポジウム 2025 |