This page has moved to https://davisjam.github.io/model-based-agentic-software-engineering/book/mage-book/index.html.