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