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

ACM Survey Draft on Formalising Software Requirements with Large Language Models

投稿日: 2025年6月18日 作成者: jarxiv

要約 このドラフトは、ソフトウェア要件のトレーサビリティ（セクション4）、正式な … 続きを読む →

カテゴリー: cs.AI, cs.SE, D.2.1 | ACM Survey Draft on Formalising Software Requirements with Large Language Models はコメントを受け付けていません

Test-driven Software Experimentation with LASSO: an LLM Benchmarking Example

投稿日: 2024年10月14日 作成者: jarxiv

要約 経験的ソフトウェア エンジニアリングは、重大なギャップに直面しています。そ … 続きを読む →

カテゴリー: cs.AI, cs.SE, D.2.1 | Test-driven Software Experimentation with LASSO: an LLM Benchmarking Example はコメントを受け付けていません

Model Generation with LLMs: From Requirements to UML Sequence Diagrams

投稿日: 2024年7月2日 作成者: jarxiv

要約 自然言語 (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

投稿日: 2024年4月10日 作成者: jarxiv

要約 自然言語 (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

投稿日: 2024年4月9日 作成者: jarxiv

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

カテゴリー: 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

投稿日: 2024年3月22日 作成者: jarxiv

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

カテゴリー: 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

投稿日: 2024年2月12日 作成者: jarxiv

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

カテゴリー: 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

投稿日: 2024年2月12日 作成者: jarxiv

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

カテゴリー: 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

投稿日: 2023年11月1日 作成者: jarxiv

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

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

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

投稿日: 2023年9月25日 作成者: jarxiv

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

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