@misc{indiciae3212ecea247a, title = {Agentic Behavior Engineering: A Design-by-Contract Methodology for Specifying, Verifying, and Governing Enterprise AI Agents}, author = {Yang Song}, year = {2026}, url = {https://arxiv.org/abs/2611.05454}, note = {Source identifier: 2611.05454} }