-
Programar no es una tarea diferenciada del diseño de una máquina
Uso de lenguaje máquina y ensamblador -
Aparecen multitud de lenguajes
Era posible hacer casi todo -
Desarrollo inacabable de grandes programas
Ineficiencia, errores, coste impredecible
Nada es posible -
Fundamentos de programación
Verificación de programas
Metodologías de diseño -
Entornos de programación
Especificación formal
Programación automática