Curso inter-semestral

Presenta: Omar Yeladaqui Crigo

ANLISIS DE ALGORITMOS

ESPECIFICACIN DE TDA Y TCNICAS DE DISEO

Las especificaciones de un TDA describen el

comportamiento de las operaciones en
trminos 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
lgicas entre las partes pblicas del TDA, que
suelen ser operaciones y constantes.

ESPECIFICACIN DE TDA Y TCNICAS DE DISEO

Las operaciones de TDA (funciones y

procedimientos) se denominan mtodos en
la terminologa de Java.
Una ventaja importante de disear con TDA es
que el cliente puede desarrollar un algoritmo
lgicamente correcto conociendo nicamente
las
especificaciones
del
TDA,
sin
comprometerse con una implementacin
especfica (ni siquiera con un lenguaje
especfico) para el TDA.

ESPECIFICACIONES DE TDA

Las especificaciones por lo regular se pueden

dividir en condiciones previas y condiciones
posteriores.
Las condiciones previas de una operacin dada
son afirmaciones que supuestamente se cumplen
en el momento en que se invoca la operacin.
Es responsabilidad del cliente satisfacer las
condiciones previas antes de invocar cualquier
operacin (o mtodo esttico, o funcin, o
procedimiento) de la clase de TDA.

ESPECIFICACIONES DE TDA

Las condiciones posteriores de una

operacin dada son afirmaciones que el
cliente puede suponer que se cumplen en el
momento en que la operacin termina.
Las condiciones posteriores tambin se
denominan objetivos de la operacin.

QU INCLUYE UN TDA

Un TDA es un conjunto coherente de

procedimientos
y
funciones
cuyas
especificaciones interactan para ofrecer
cierta capacidad. Se incluyen solo las
operaciones necesarias.
Un
TDA
no
es
una
biblioteca
de
procedimientos que podran ser tiles;
semejantes
bibliotecas
podran
proporcionarse como clases adicionales, si se
necesitan.

QU INCLUYE UN TDA
Las operaciones necesarias pertenecen a tres
categoras: constructores, funciones de acceso
y procedimientos de manipulacin.
Los destructores, que liberan el espacio que
ocupa un objeto para que se le pueda dar otro
uso, no son cruciales porque Java efecta
recoleccin de basura automtica. La
recoleccin de basura encuentra objetos a los
que no se har ya referencia y recicla su
espacio.

QU INCLUYE UN TDA
stas son tres categoras de operaciones para
los TDA:
Constructores crean un objeto nuevo y
devuelven una referencia al mismo.
Funciones de acceso devuelven informacin
acerca de un objeto, pero no lo modifican.
Procedimientos de manipulacin
modifican un objeto, pero no devuelven
informacin.