Fundamentos de la Programacion
Topic principal
Programación Modular
Método de Diseño
Flexible
Potente
Modulo
Proceso
Principal
Entrada
Salida
Hifurcar
Ciclo de Vida del Software
Análisis
Diseño
Implementación
Depuración
Mantenimiento
Representación gráfica de algoritmos.
Diagramas de Flujo
Diagramas de Nissi
Lenguaje de especificación de algoritmos
Lenguaje Español- Ingles
Formular
Fase en la Resolución de problemas
Análisis del problema
Diseño del Algoritmo
Codificación
Compilación y ejecución
Verificación
Depuración
Mantenimiento
Documentación
Programación Estructurada
Recursos Abstractos
Diseño descendente
Estructuras Básicas
Métodos formales de verificación de problemas
Aserciones
Precondiciones y Postcondiciones
Reglas para prueba
Invariantes de Bucles
Corrección de un programa
Invariante Verdadero
Ejecución del Bucle
Exactitud del algoritmo
Terminación del Bucle
Programación segura contra fallos
Factores de calidad del software
Eficiencia
Transportabilidad
Verificabilidad
Integridad
Fácil de utilizar
Corrección
Robustez
Extensibilidad
Reutilización
Compatibilidad