인간, 에이전트 및 툴링을 위한 사양 (Specifications)

사양 (Specifications)은 소프트웨어 개발에서 의도 (intents), 요구사항 (requirements), 그리고 제약 조건 (constraints)을 전달하는 핵심 메커니즘입니다. 사양이 명시적이고 명확하며 신뢰할 수 있을 때, 이는 협업과 협력을 위한 효과적인 수단이 됩니다. 사양은 이해관계자(stakeholders)가 원하는 것을 명시하고, 개발자(또는 AI 에이전트 (AI agents))가 필요한 기능 (functionality)을 이해하고 구현하며, 클라이언트 (clients)가 시스템을 효과적으로 사용하고, 자동화된 툴링 (automated tooling)이 이러한 각 단계의 정확성을 검증할 수 있도록 합니다. 본 툴 논문 (tool paper)은 현대적인 사양 중심 개발 (spec-centered development)을 지원하도록 설계된 소프트웨어 생태계인 Bosque API (BAPI) 생태계를 개괄합니다. BAPI 사양 언어 (specification language)는 완전한 폴리글랏 (polyglot) 생태계에서 작동하며, 독보적인 표현력 (expressivity), 테스트 생성 (test generation), 검증 (validation), 그리고 전체 애플리케이션 개발 라이프사이클 (application development lifecycle)을 지원하기 위한 샌드박싱 (sand-boxing)을 포함한 일련의 기능들을 제공합니다. 이는 에이전트형 AI 시스템 (agentic AI systems)에 의해 제기되는 새로운 보안 및 코딩 (API 구현 및 사용 모두 포함) 과제를 지원하는 데 매우 중요합니다.