especificacion tda

Especificación de un TDA, Formal e Informal de un TAD (GRUPO 6)
ESPECIFICACION DE UN TAD.- Describe el comportamiento del TAD. Es un documento en el que se plasma la abstracción realizada aldiseñar una estructura de datos. En el cual se definirán claramente todas las reglas en las que podrá usarse el TDA. El lenguaje idóneo para poder definir adecuadamente las especificaciones de un TAD es elmatemático. Hay dos formas de realizar la especificación: informal y formal.
En la especificación informal intervienen 3 componentes:
1. Cabecera: Nombre de las operaciones
2. Descripción:Describe de forma general en qué consiste la abstracción.
Se puede utilizar gráficos y abstracciones matemáticas.
Se puede incluir si es mutable o inmutable.
3. Especificación de las operaciones:Nombre de la operación (entrada) devuelve (salida)
Requerimientos: Muestra las restricciones de uso
Modifica: Identifica las entradas que van a ser modificadas (cambian de valor tras una llamada).Efecto: Indica el efecto que se produce al ejecutar la operación.

En la especificación formal intervienen tres componentes:
Tipo: Nombre del tipo de datos, Conjunto de objetos y otros.
Sintaxis:Expresa las formas de las operaciones, indicando las reglas que hay que seguir para hacer referencia a una operación
Nombre de la función (tipo de los argumentos) → tipo del resultado.
Semántica: Paraconocer qué significado o consecuencia tiene cada operación
Nombre de la función (valores particulares) → expresión del resultado.
Descripción de los dos tipos:
1. Informal
TAD Nombre del tipode datos (VALORES: valores que toman los datos del tipo; OPERACIONES: nombre de las operaciones que los manipulan)
Nombre de operación (tipo de argumento) -> tipo de resultado
Efecto:descripción de la operación
Excepción: Posibles excepciones
2. Formal
TAD Nombre del tipo de datos (VALORES: valores que toman los datos del tipo; OPERACIONES: nombre de las operaciones que los...