抽象数据类型的设计原则 — 软件工程填空题

某团队设计抽象数据类型 Stack（栈），对外规范仅声明 push(x)、pop()、isEmpty() 三个操作及其前置/后置条件，未公开任何内部数据表示。实现者丙用定长数组实现，实现者丁用动态链表实现。调用方代码仅通过这三个操作使用栈。按照抽象数据类型的设计原则，只要两种实现都满足规范声明的前置/后置条件，更换实现后调用方代码____（填“需要”或“不需要”）修改；规范中不应出现“采用链表存储”这类表述，因为它违反了____原则（填四个字：信息____）。