Fundamentos de programación
Fases en la resolución de problemas
Codificación
Analisis del problema
Diseño de Algoritmo
Complicación y Ejecución
Verificación
Depuración
Mantenimiento
Documentación
Programación de Estructurada
Recursos abstractos
Subtema
Diseño de descendente
Estructuras de control
Secuencias
Selección
Repetición
Teorema de la programación estructurada
estructura básica
Diagramas de Nassi-Schneiderman (N-S)
Diagrama de chapin
Factores en la calidad del software
Eficiencia
Transportabilidad
Verificabilidad
Inegridad
Fácil de utilizar
Corrección
Robustez
Extensibilidad
Reutilización
Compatibilidad
Programación Modular
Flexible
Potente
Repretaciones gráficas de los algoritmos
Diagrama de flujo
Diagrama N-S (Nassi)
Lenguaje de especificación de algoritmos: Pseudocódigo
Lenguaje español, inglés
Fórmulas
El Ciclo de la vida del software
Análisis
Diseño
Implementación
Depuración
Mantenimiento
Métodos formales de verificación de programas
Aserciones'
Precondiciones y postcondicioes
Reglas para prueba de programas
Invariantes de bucles
Etapas a establecer la exactitud
Programación segura contra fallos