Hbvkjvjlvjv

Especificación de Tipos de Datos Abstractos

•Especificaciones informales:

◦Predomina el lenguaje natural
◦Poco precisas y breves ( ambiguas )
◦Sencillas de escribir, leer y entender•Especificaciones formales:
◦Lenguaje algebraico: verificación formal de programas
◦Precisas y breves.
◦Pueden resultar más complejas de escribir, leer y entender.

ESPECIFICACIONES INFORMALES

Seobservarán en la especificación del TDA las siguientes secciones:

CABECERA

•Nombre del TDA
•Nombre de las operaciones.
•Descripción del TDA y sus valores.
ESPECIFICACIÓN DE LAS OPERACIONES(SINTAXIS Y SEMÁNTICA)

Para cada operación:

•Nombre de la operación

◦Tipo de argumento.
◦Tipo de resultado.
•Objetivo : Descripción de la operación.
•Entrada : Descripción de los datos deentrada.
•Salida : Indica qué es lo que retorna la operación al invocarla.
•Pre condiciones : Características que tendrán que reunir los datos de entrada para que se realice bien la tarea.
•Postcondiciones: Indica un efecto lateral en la invocación a una función. Afirmaciones que podemos hacer sobre los datos después de que se ejecute la operación y que complete la información del objetivo y lassalidas
Pasos en la especificación de un TDA T

1.Seleccionar las operaciones, teniendo en cuenta para qué se va a utilizar dicho TDA T.
2.Clasificarlas:
•Constructoras: Su resultado es de tipo T.◦Generadoras : Sólo con ellas es posible generar cualquier valor del tipo T y excluyendo cualquiera de ellas, hay valores que no pueden ser generados.
◦Modificadoras: Puede alterar el estado de unelemento del TDA.
•Observadoras/Acceso: Su resultado no es de tipo T. Su función es conocer el estado o valor de un TDA.

Ejemplo:Especificación del tipo de dato abstracto RACIONAL

NOMBRE DELTDA:
Observadoras
DESCRIPCIÓN Y VALORES:
ESPECIFICACIÓN DE OPERACIONES:
CABECERA
NOMBRE OPERACIONES :
Generadoras

=======================================================================...