Please enable JavaScript.
Coggle requires JavaScript to display documents.
Introducción a los TADS. - Coggle Diagram
Introducción a los TADS.
conjunto de valores y operaciones definidos mediante una especificación independiente de cualquier representación.
-
Este concepto es suficiente para Soft a gran escala: Solo el complilador restringe el uso de los datos.
En los 70 aparece el concepto de TAD: un tipo de datos no solo es el conjunto de valores, sino tambien sus operaciones con sus propiedades.
-
Técnicas de especificacion de programas: Precondicion, Postcondición.
Precondición
Las Precondiciones son las condiciones que deben cumplir los parámetros que una función recibe, para que esta se comporte correctamente.
Postcondición
Los Postcodiciones son las condiciones que cumplirá el valor de retorno, y los parámetros recibidos, en caso de que hayan sido alterados, siempre que se hayan cumplido las precondiciones.
Especificación Pre/Post
verificar: un programa consistirá en demostrar, a partir de la semántica de las instrucciones y de la Precondición, que se cumple la Postcondición.
Derivar: un programa consistirá en demostrar, a partir únicamente de la especificación ( Precondición y Postcondición), calcular un programa que la cumple.
-
-
Niveles de abstracción
Nivel Físico: Determina como están almacenados físicamente los datos (pistas, sectores, cilindros), representan el nivel mas bajo.
Nivel Lógico Conceptual: Determina la organización de los archivos. índices, llaves, orden de campos, relaciones, tipos de datos.
Nivel de Vistas: Oculta parte de la información a los usuarios, es decir hace visible solo una parte de la base de datos.