1. TAD = Valores +operaciones
1.1. Definir operaciones
1.1.1. ejemplo de fecha
1.1.1.1. Crear (dia, mes, año: natural): fecha
1.1.1.2. Incrementar (fechaInicio: fecha; numDias: entero): fecha
1.1.1.3. Distancia (fechaInicio, fin: fecha): entero
1.1.1.4. ObtenerMes (f: fecha): natural
2. Pasos para crear un TDA
2.1. Especificacion
2.1.1. Definir operaciones para el tipo
2.1.2. Precondición
2.1.2.1. predicado lógico que debe cumplirse sobre los parámetros de entrada de una operación para que ésta pueda realizarse correctamente
2.1.3. Poscondiciones
2.1.3.1. predicado lógico que cumplen los datos de salida de una operación, luego expresa condiciones que afectan al resultado de la operación
2.1.4. debe tener cuatro condiciones
2.1.4.1. Precisión
2.1.4.1.1. Solo lo imprescindible
2.1.4.2. Generalidad
2.1.4.2.1. Adapatable
2.1.4.3. Legibilidad
2.1.4.3.1. Facil comprension
2.1.4.4. No-ambigüedad
2.1.4.4.1. No de lugar a diferentes interpretaciones
2.2. Implementación
2.2.1. Estructuras de datos propias (encapsuladas, invisibles para el usuario del tipo de datos)
2.2.2. Operaciones sobre esas estructuras propias (procedimientos y funciones). Dependerán de las estructuras internas seleccionadas.