契约式设计programmation: 音标:[prɔgramasjɔ̃] f. 节目安排;规划;程序设计,程序编制 f. (影视,par: 音标:[par] prép. 经过,通过;为,被;用,以,从;由于,出于,因为;每,逐个contrat: 音标:[kɔ̃tra] n.m. 合同,契约,合同文本,契约文本 contrat m.programmation par contraintes: 约束编程programmation par intention: 意图编程