不一致的问题B作为开发人员和客户间技术契约的基础C给出解决问题的具体算法和数据结构D给出问题的形式化或半形式化的描述