論文の概要: Specifications for Humans, Agents, and Tooling
- arxiv url: http://arxiv.org/abs/2606.15084v1
- Date: Sat, 13 Jun 2026 03:32:26 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-16 16:21:32.773221
- Title: Specifications for Humans, Agents, and Tooling
- Title（参考訳）: 人間・エージェント・ツールの仕様
- Authors: Mark Marron,
- Abstract要約: このツールペーパーは、仕様中心の開発をサポートするように設計されたソフトウェアエコシステムであるBosque API(BAPI)エコシステムを概説している。
BAPI仕様言語は完全に多言語エコシステムで動作し、完全なアプリケーション開発ライフサイクルをサポートするために、非並列表現性、テスト生成、バリデーション、サンドボックスなど、一連の機能を提供する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Specifications are the central mechanism for communicating intents, requirements, and constraints in software development. When they are explicit, clear, and reliable, they are an effective means for collaboration and cooperation. They allow for stakeholders to specify what they want, developers (or AI agents) to understand and implement the needed functionality, for clients to effectively use the system, and for automated tooling to validate the correctness for each of these steps. This tool paper outlines the Bosque API (BAPI) ecosystem, a software ecosystem designed to support modern spec-centered development. The BAPI specification language works in a fully polyglot ecosystem and provides a suite of features, including unparalleled expressivity, test generation, validation, and sand-boxing to support the complete application development lifecycle. These are critical to supporting emerging security and coding (both API implementation & usage) challenges presented by agentic AI systems.
- Abstract（参考訳）: 仕様はソフトウェア開発における意図、要求、制約を伝えるための中心的なメカニズムです。
明確で明確で信頼性の高い場合には、コラボレーションやコラボレーションに有効な手段になります。
ステークホルダが望むものを指定し、開発者(あるいはAIエージェント)が必要な機能を理解して実装できるようにし、クライアントがシステムを有効に利用するようにし、各ステップの正しさを自動ツールで検証できるようにします。
このツールペーパーは、現代的な仕様中心の開発をサポートするように設計されたソフトウェアエコシステムであるBosque API(BAPI)エコシステムを概説している。
BAPI仕様言語は完全に多言語エコシステムで動作し、完全なアプリケーション開発ライフサイクルをサポートするために、非並列表現性、テスト生成、バリデーション、サンドボックスなど、一連の機能を提供する。
これらは、エージェントAIシステムによってもたらされるセキュリティとコーディング(APIの実装と使用の両方)の課題をサポートする上で重要なものだ。
関連論文リスト
- Code as Agent Harness [107.31925305395957]
新興のエージェントシステムでは、コードはもはや単なる目標出力ではない。
コードはエージェントの推論、行動、環境モデリング、実行ベースの検証のための運用上の基盤としてますます役立っている。
この調査は、実行可能、検証可能、ステートフルなAIエージェントシステムに向けた統一されたロードマップを提供する。
論文 参考訳（メタデータ） (2026-05-18T17:59:03Z) - ABC-Bench: Benchmarking Agentic Backend Coding in Real-World Development [72.4729759618632]
本稿では,現実的かつ実行可能なワークフロー内でエージェントバックエンドコーディングを評価するベンチマークであるABC-Benchを紹介する。
オープンソースリポジトリから8つの言語と19のフレームワークにまたがる224の実践的なタスクをキュレートしました。
我々の評価は、最先端モデルでさえ、これらの総合的なタスクに対して信頼性の高いパフォーマンスを提供するのに苦労していることを示している。
論文 参考訳（メタデータ） (2026-01-16T08:23:52Z) - Validating API Design Requirements for Interoperability: A Static Analysis Approach Using OpenAPI [0.0]
APIの品質検証は、技術的設計と要件とエンタープライズアーキテクチャの整合性に寄与する。
S.E.O.R.A.は非機能API要件の早期検証を容易にする。
手動で検査する必要のあるチェックを自動化することで、API設計プロセスを改善する。
論文 参考訳（メタデータ） (2025-11-21T23:15:46Z) - Automated Creation and Enrichment Framework for Improved Invocation of Enterprise APIs as Tools [10.440520289311332]
ACEは、大規模言語モデルのための自動ツール作成および拡張フレームワークである。
パラメータ記述や例を含む豊富なツール仕様を生成して、選択と呼び出し精度を改善する。
当社のフレームワークを,プロプライエタリAPIとオープンソースAPIの両方で検証し,エージェントフレームワークとの統合を実証する。
論文 参考訳（メタデータ） (2025-09-15T06:41:54Z) - Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI [0.36868085124383626]
レビューでは、AI支援ソフトウェア開発の新たなパラダイムとして、バイブコーディングとエージェントコーディングの2つを包括的に分析している。
Vibeのコーディングは、インプットベースで対話的なインタラクションを通じて、直感的で、ループ内の人間間インタラクションを強調する。
エージェントコーディングは、最小限の介入でタスクを計画、実行、テスト、反復できる目標駆動エージェントを通じて、自律的なソフトウェア開発を可能にする。
論文 参考訳（メタデータ） (2025-05-26T03:00:21Z) - Semantic API Alignment: Linking High-level User Goals to APIs [6.494714497852088]
既存のライブラリを使った要件エンジニアリングから実装まで,複数のステップにまたがるビジョンを提示する。
このアプローチは、セマンティックAPIアライメント(SEAL)と呼ばれ、ユーザの高レベルな目標と1つ以上のAPIの特定の機能とのギャップを埋めることを目的としています。
論文 参考訳（メタデータ） (2024-05-07T11:54:32Z) - Enhancing API Documentation through BERTopic Modeling and Summarization [0.0]
本稿では、アプリケーションプログラミングインタフェース(API)ドキュメントの解釈の複雑さに焦点を当てる。
公式APIドキュメンテーションは、開発者にとって最も重要な情報ソースであるが、広くなり、ユーザフレンドリ性に欠けることが多い。
我々の新しいアプローチは、トピックモデリングと自然言語処理(NLP)にBERTopicの長所を利用して、APIドキュメントの要約を自動的に生成する。
論文 参考訳（メタデータ） (2023-08-17T15:57:12Z) - ChatDev: Communicative Agents for Software Development [84.90400377131962]
ChatDevはチャットを利用したソフトウェア開発フレームワークで、特別なエージェントがコミュニケーション方法についてガイドされる。
これらのエージェントは、統一された言語ベースのコミュニケーションを通じて、設計、コーディング、テストフェーズに積極的に貢献する。
論文 参考訳（メタデータ） (2023-07-16T02:11:34Z) - The GitHub Development Workflow Automation Ecosystems [47.818229204130596]
大規模なソフトウェア開発は、非常に協力的な取り組みになっています。
この章では、開発ボットとGitHub Actionsのエコシステムについて解説する。
この領域における最先端技術に関する広範な調査を提供する。
論文 参考訳（メタデータ） (2023-05-08T15:24:23Z) - Realistic simulation of users for IT systems in cyber ranges [63.20765930558542]
ユーザアクティビティを生成するために,外部エージェントを用いて各マシンを計測する。
このエージェントは、決定論的および深層学習に基づく手法を組み合わせて、異なる環境に適応する。
また,会話や文書の作成を容易にする条件付きテキスト生成モデルを提案する。
論文 参考訳（メタデータ） (2021-11-23T10:53:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。