D.2.1」カテゴリーアーカイブ

Model Generation with LLMs: From Requirements to UML Sequence Diagrams

要約 自然言語 (NL) 要件をグラフィカル モデルで補完すると、関係者のコミュ … 続きを読む

カテゴリー: cs.CL, cs.LG, cs.SE, D.2.1 | Model Generation with LLMs: From Requirements to UML Sequence Diagrams はコメントを受け付けていません

Model Generation from Requirements with LLMs: an Exploratory Study

要約 自然言語 (NL) 要件をグラフィカル モデルで補完すると、関係者のコミュ … 続きを読む

カテゴリー: cs.CL, cs.LG, cs.SE, D.2.1 | Model Generation from Requirements with LLMs: an Exploratory Study はコメントを受け付けていません

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems

要約 自動車業界におけるソフトウェア開発プロセスの自動化を目的として、モデル駆動 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE, D.2.1 | Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems はコメントを受け付けていません

Towards Single-System Illusion in Software-Defined Vehicles — Automated, AI-Powered Workflow

要約 私たちは、最終アーキテクチャが明示的に定義されていない、車両ソフトウェア … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SE, D.2.1 | Towards Single-System Illusion in Software-Defined Vehicles — Automated, AI-Powered Workflow はコメントを受け付けていません

Trustful Coopetitive Infrastructures for the New Space Exploration Era

要約 新しい宇宙経済において、宇宙機関、大企業、新興企業は、マッピング、土壌評価 … 続きを読む

カテゴリー: cs.CE, cs.MA, cs.RO, cs.SE, cs.SY, D.2.1, eess.SY | Trustful Coopetitive Infrastructures for the New Space Exploration Era はコメントを受け付けていません

Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era

要約 新興の宇宙経済では、地図作成や採掘などの特殊な目的を持った自律ロボットミッ … 続きを読む

カテゴリー: cs.CY, cs.MA, cs.NI, cs.RO, cs.SY, D.2.1, eess.SY | Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era はコメントを受け付けていません

Soft Gripping: Specifying for Trustworthiness

要約 ソフト ロボティクスは、エンジニアがさまざまな用途に使用する柔軟なデバイス … 続きを読む

カテゴリー: cs.AI, cs.RO, D.2.1 | Soft Gripping: Specifying for Trustworthiness はコメントを受け付けていません

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

要約 保証事例は、安全工学において製品の安全性を主張するために使用できます。 安 … 続きを読む

カテゴリー: cs.AI, cs.SE, D.2.1 | Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models はコメントを受け付けていません