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

• Design by contract pattern for digital city software architecture