From Implementation to Intent: Writing Engineering Contracts for...