Especificación de TDA y técnicas de diseño

Las especificaciones de un TDA describen el comportamiento de las operaciones en términos que
tienen sentido para los clientes del TDA. Es decir, las especificaciones deben evitar hacer referencia
a campos de ejemplar privados, porque los clientes no tienen conocimiento de ellos. Las especificaciones
describen las relaciones lógicas entre las partes públicas del TDA, que suelen ser
operaciones y constantes. (Ejemplos de especificaciones en secciones posteriores del capítulo
aclararán estas generalidades.) Las operaciones de TDA (funciones y procedimientos) se denominan
“métodos” en la terminología de Java.
Una ventaja importante de diseñar con TDA es que el cliente puede desarrollar un algoritmo
lógicamente correcto conociendo únicamente las especificaciones del TDA, sin comprometerse
con una implementación específica (ni siquiera con un lenguaje específico) para el TDA. Ésta es
la principal justificación para presentar la metodología de TDA en el presente libro.