contract-driven-coding

Contract-driven coding workflow. Use when implementing any module/features based on one or more *.contract.md documents; enforces Preconditions/Conformance sections and clause traceability.