Pragmatica
Páginas: 3 (566 palabras)
Publicado: 30 de mayo de 2012
Los lenguajes diseñados individualmente tienden a ser “MAS CLAROS” en contenido y estilo y también mas distintos.
El objetivo ultimo de un lenguaje debe permitir al programador pensar claramente,sobre la complejidad del problema presentado, en vez de sobre la complejidad del propio lenguaje de programación.
• ARTE Y CIENCIA DE LA PROGRAMACION
Como artista, el programador comienza conuna comprensión del medio o area de aplicación. El arte de la programación parece por tanto ser el desarrollo de soluciones creativas a los problemas, de forma que aunque la calidad y actividad globaldentro de esa área de aplicación.
Como científico, el programador comienza con un conjunto de principios claramente definidos o axiomas de programación. Luego los aplica sistemáticamente a unproblema, de tal forma que en cualquier etapa de proceso pueda demostrarse rutinariamente la corrección (matemática) de programa.
Las implicaciones.
La ciencia de la programación demanda un lenguaje quesoporta la prueba axiomática del comportamiento de los programas. Una primera versión del Ada tenía una facilidad llamada la “Sentencia ASSERT” la cual suministraba un mecanismo para la formalizaciónde “Asertos” sobre los programas, pero dicha facilidad no sobrevivió finalmente en el estándar del Ada.
INGENIERIA DEL SOFTWARE. La “Ingeniería del Software” es un enfoque general para aliviar lacrisis del software y facilitar el desarrollo de grandes y/o complejos productos software, obteniendo su metodología de otras disciplinas tradicionales de ingeniería. La ingeniería del software emergióen los años 1960 como una disciplina separada y abarca todo el ciclo de vida del desarrollo del software, desde el estudio de viabilidad inicial hasta el continuo mantenimiento del producto final.PROGRAMACION LOGICA. La “Programación Lógica” es un intento de definir un estilo de programación alternativo al estilo convencional de VON NEUMANN. En él, el programador describe indirectamente un...
El objetivo ultimo de un lenguaje debe permitir al programador pensar claramente,sobre la complejidad del problema presentado, en vez de sobre la complejidad del propio lenguaje de programación.
• ARTE Y CIENCIA DE LA PROGRAMACION
Como artista, el programador comienza conuna comprensión del medio o area de aplicación. El arte de la programación parece por tanto ser el desarrollo de soluciones creativas a los problemas, de forma que aunque la calidad y actividad globaldentro de esa área de aplicación.
Como científico, el programador comienza con un conjunto de principios claramente definidos o axiomas de programación. Luego los aplica sistemáticamente a unproblema, de tal forma que en cualquier etapa de proceso pueda demostrarse rutinariamente la corrección (matemática) de programa.
Las implicaciones.
La ciencia de la programación demanda un lenguaje quesoporta la prueba axiomática del comportamiento de los programas. Una primera versión del Ada tenía una facilidad llamada la “Sentencia ASSERT” la cual suministraba un mecanismo para la formalizaciónde “Asertos” sobre los programas, pero dicha facilidad no sobrevivió finalmente en el estándar del Ada.
INGENIERIA DEL SOFTWARE. La “Ingeniería del Software” es un enfoque general para aliviar lacrisis del software y facilitar el desarrollo de grandes y/o complejos productos software, obteniendo su metodología de otras disciplinas tradicionales de ingeniería. La ingeniería del software emergióen los años 1960 como una disciplina separada y abarca todo el ciclo de vida del desarrollo del software, desde el estudio de viabilidad inicial hasta el continuo mantenimiento del producto final.PROGRAMACION LOGICA. La “Programación Lógica” es un intento de definir un estilo de programación alternativo al estilo convencional de VON NEUMANN. En él, el programador describe indirectamente un...
Leer documento completo
Regístrate para leer el documento completo.