Algoritmos y Programación en Pascal

19.3. Metodología de la programación de TADs 441
Ante estos problemas, es necesario recurrir a lenguajes más precisos, como
puede ser el lenguaje matemático, que posee las ventajas de su precisión, concisión
y universalidad (aunque en su contra se podría argumentar su dificultad
de uso, lo cierto es que en los niveles tratados en este libro no es preciso un fuerte
aparato matemático). Por ejemplo, algunas de las operaciones del tipo abstracto
tConj se han especificado como sigue:
procedure CrearConj(var conj: tConj);
{Efecto: conj:= ∅}
procedure AnnadirElemConj(elem: integer; var conj: tConj);
{Efecto: conj:= conj ∪ [elem]}
function Pertenece (elem: tElem; conj: tConj): boolean;
{Dev. True (si elem ∈ conj) o False (en otro caso)}
function EstaVacioConj(conj: tConj): boolean;
{Dev. True (si conj = ∅) o False (en otro caso)}
Obsérvese que la sintaxis de su uso viene dada por los encabezamientos de
las operaciones y que su semántica se da en el comentario que les sigue. Las
especificaciones de esta forma proporcionan un modelo más o menos formal que
describe el comportamiento de las operaciones sin ningún tipo de ambigüedad.
Además, se satisfacen las dos propiedades que deben cumplir las especificaciones:
precisión y brevedad.
Por último, se debe resaltar la importancia de la especificación como medio
de comunicación entre el programador-diseñador del tipo abstracto de datos, el
implementador y el programador-usuario: como se ha repetido anteriormente, la
información pública del tipo abstracto de datos debe ser únicamente su especificación.
Así, una especificación incorrecta o incompleta impedirá a los implementadores
programar adecuadamente el tipo abstracto de datos, mientras que los
programadores-usuarios serán incapaces de predecir correctamente el comportamiento
de las operaciones del tipo, lo que producirá errores al integrar el tipo
abstracto de datos en sus programas.
19.3.2 Implementación de tipos abstractos de datos
Como se indicó anteriormente, la tercera etapa de la abstracción de datos
es la implementación del tipo de acuerdo con la especificación elaborada en la
etapa anterior.