Defining System Contracts for Reliable Change: AI development services