Model-Based Agentic Engineering
A Case Study in Software Engineering
Contents
Orientation and Reference
- •Acknowledgments
- •How to Read This Book
- •What This Book Argues
- •MAGE on One Page
- •Glossary
- •Preface
- •List of Figures and Tables
Chapter 1 — The New Engineering Problem
- •The New Engineering Problem
- §1.1The Printer
- §1.2MAGE by Example: Summary of the DocAble Case
- §1.3Agentic Machinery and Engineering Mechanisms
- §1.4Two Problems the Method Must Solve
- •Summary
Chapter 2 — Modeling
- •Modeling
- §2.1From Context to Engineering Models
- §2.2Structural Models: What Is Connected to What?
- §2.3Behavioral Models: What May Happen?
- §2.4Decision Models: What Is Allowed?
- §2.5System Knowledge: Connecting the Models
- •Summary
Chapter 3 — Alignment
- •Alignment
- §3.1Where Obligations Can Be Enforced
- §3.2From Engineering Intent to Enforceable Obligation
- §3.3Constraints, Sensors, Validators, and Gates
- §3.4Growing the Governed Environment
- §3.5When Controls Become a System
- •Summary
Chapter 4 — MAGE in Motion: Engineering Through Models
- •MAGE in Motion: Engineering Through Models
- §4.1The Dynamics of MAGE
- §4.2One Problem, Many Models
- §4.3Brownfield Engineering
- §4.4Engineering the Environment
Chapter 5 — Agentic Software Factories
- •Agentic Software Factories
- §5.1The Software Factory
- §5.2Inside DocAble's Software Factory
- §5.3Other Agentic Software Factories
- §5.4Two Problems of Factory Engineering
- •Coda: Engineering the Factory
Chapter 6 — The Theory
- •The Theory
- §6.1A Theory of MAGE
- §6.2What the Theory Predicts
- §6.3Scope Conditions
- §6.4Research Agenda
- •What the Theory Claims
Chapter 7 — The Profession
- •The Profession
- §7.1The Reorganization of Software Work
- §7.2MAGE in the Engineering Tradition
- §7.3Agentic Engineering Beyond Software
- §7.4The Engineer
- •What Cannot Be Delegated?
Appendix Part I — Practice
Appendix A — MAGE Engineering Stacks
- AAppendix A — MAGE Engineering Stacks
- AA.1 Model Coherence
- AA.2 Assurance
- AA.3 Auditable Transformation
- AA.4 Observe → React
- AA.5 Resource Mediation
- AA.6 Governance Conversion
- AA.7 Context Delivery
- AA.8 Composing a Stack
Appendix B — Engineering Moves
- BAppendix B — Engineering Moves
- BB.1 Make One Source Authoritative
- BB.2 Derive; Don't Copy
- BB.3 Keep Representation and Reality in Correspondence
- BB.4 Derive What Must Be Assured
- BB.5 Enforce Where the Property Becomes Legible
- BB.6 Close the Action Surface
- BB.7 Deliver Knowledge Where the Decision Occurs
- BB.8 Make Cause Travel with Consequence
- BB.9 Externalize Recurring Operational Judgment
- BB.10 Make Hidden Dependencies Queryable
Appendix C — Model Reference
- CAppendix C — Model Reference
- CC.1 Structure and Boundaries
- CC.2 Behavior and Ownership
- CC.3 Execution and Placement
- CC.4 Measurement
- CC.5 Documentation and Provenance
- CC.6 Joining Views Around a Scenario
- CC.7 From Representation to Enforcement
Appendix D — Operator's Reference
- DAppendix D — Operator's Reference
- DD.1 The Operator's Dashboard
- DD.2 Daily Operator Review
- DD.3 System Health
- DD.4 Representation Health
- DD.5 Human Judgment
- DD.6 Engineering Capital
- DD.7 Governance Conversion
- DD.8 Brownfield Migration Drill
- DD.9 Brownfield Progress
- DD.10 Release Readiness
- DD.11 Evidence Quality
- DD.12 Operating Doctrine
Appendix E — How to Write a Skill
Appendix F — Configuring MAGE Across the Product Lifecycle
- FAppendix F — Configuring MAGE Across the Product Lifecycle
- FF.1 One Product, Several Engineering Surfaces
- FF.2 Product Discovery
- FF.3 Engineering & Realization
- FF.4 Product Management & Maintenance
- FF.5 Operations & Incident Response
- FF.6 Assurance & Compliance
- FF.7 Differential Adoption
- FF.8 From Local MAGE to the Product GEE
- FF.9 Engineering Capital Across Time and Space
Appendix G — Adopting GenAI in an Organization
- GAppendix G — Adopting GenAI in an Organization
- GG.1 From Assistance to Delegation
- GG.2 From Context Engineering to a Governed Environment
- GG.3 Learning from Delegated Work
- GG.4 Expanding Delegation
- GG.5 Organizational Adoption
- GG.6 A Practical Adoption Procedure
Appendix Part II — Evidence
Appendix H — Field Guide
Appendix I — Evidence Ledger: The DocAble Case
Appendix J — Crazy Ideas
- JAppendix J — Crazy Ideas
- JJ.1 Commodity Intelligence as an Experimental Instrument for Software Engineering
- JJ.2 Model Induction from Realized Work
Back Matter
Index
© James C. Davis, 2026–present