TY - RPRT TI - Agentic Behavior Engineering: A Design-by-Contract Methodology for Specifying, Verifying, and Governing Enterprise AI Agents AU - Yang Song PY - 2026 UR - https://arxiv.org/abs/2611.05454 ID - 2611.05454 ER -