The paper introduces Protocol-Driven Development as a governance model for automated software engineering centered on machine-enforceable protocols, evidence chains, and dynamic runtime ledgers.
Dependent Types and Multi-Monadic Effects in
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence
The paper introduces Protocol-Driven Development as a governance model for automated software engineering centered on machine-enforceable protocols, evidence chains, and dynamic runtime ledgers.