Design by contract pattern for digital city software architecture

• 数字城市软件体系结构的合约设计模式