Especificacion De Interfaz

Conjunto de tipos de datos u objetos abstractos
Conjunto de tipos de datos u objetos abstractos
Describen datos y operaciones que se pueden acceder en la interfaz del subsistema
Describen datos yoperaciones que se pueden acceder en la interfaz del subsistema
Los desarrolladores deben escribir código que utilizan los servicios de otros subsistemas antes de que estos se implementen
Losdesarrolladores deben escribir código que utilizan los servicios de otros subsistemas antes de que estos se implementen
Cuatro componentes
Cuatro componentes
Una introducción que declara la clase(elnombre del tipo) de la entidad que se esta especificando(sort), y se declaran los nombres de las especificaciones q definen otras clases (imports)
Una introducción que declara la clase(el nombre deltipo) de la entidad que se esta especificando(sort), y se declaran los nombres de las especificaciones q definen otras clases (imports)
Descripción de las operaciones informalmente
Descripción de lasoperaciones informalmente
Firma de operaciones: exhiben los nombres y tipos de los parámetros para las operaciones definidas en la clase sort.
Firma de operaciones: exhiben los nombres y tipos de losparámetros para las operaciones definidas en la clase sort.
Axiomas: Operaciones en la clase sort
Axiomas: Operaciones en la clase sort
Definición de axiomas, que condiciones son siempreverdaderas para diferentes combinaciones de las operaciones.
Definición de axiomas, que condiciones son siempre verdaderas para diferentes combinaciones de las operaciones.
Definición de la sintaxis,actualizar la especificación informal de la firma
Definición de la sintaxis, actualizar la especificación informal de la firma
Especificación de la operación informal (definir como las operacionesafectan a la clase definida
Especificación de la operación informal (definir como las operaciones afectan a la clase definida
Selección de la operación
Selección de la operación
Nombramiento de la...