paradigmas de la computacion

PARADIGMAS DE LA COMPUTACION
 
 
Los requerimientos de una organización de contar con sistemas de información a la medida de las
necesidades de los usuarios y con lo último en tecnología y telecomunicaciones, ha orientado los esfuerzos de los ingenieros de software para automatizar procesos de información con métodos y herramientas cada vez más sofisticados y específicos para cada área deaplicación.
La ingeniería de software es la aplicación de herramientas, técnicas y metodologías para el diseño de software flexible con calidad, menos costoso y confiable; sin embargo, también es importante determinar el tipo de aplicación y la tecnología de información disponible para el tipo de software.
El diseño de software se puede llevar a cabo usando las fases del ciclo de vida de unsistema; análisis, diseño e implementación; o las etapas en espiral, en la que los requerimientos y el diseño se reestructuran conforme se desarrolla la aplicación y las necesidades del usuario y del sistema son resueltas y continúamente se corrige el análisis, diseño y la implementación.
Un proceso de desarrollo de software involucra también lenguajes y ambientes de desarrollo. Editoresinteractivos para crear y guardar programas; compiladores y ligadores; bibliotecas de módulos de programas; depuradores, etc. Un ambiente integral de desarrollo de software debería de apoyar todas las fases y actividades del proceso de software. Las herramientas CASE (Computer Aided Software Engineering) ofrecen la ayuda automatizada al desarrollo de software, es decir, ofrecen soluciones puntuales encada una de las etapas del desarrollo del software.
Los lenguajes y métodos de diseño son la guía para producir el diseño de un sistema. Un método de diseño es la forma de producir el diseño de un sistema. Los métodos más usados son: estructurado, diseño "desde arriba hacia abajo" (top-down) y diseño orientado a objetos.
No obstante estas metodologías de diseño, dentro de los lenguajes es comúnencontrar paradigmas de programación. Los lenguajes que soportan un paradigma específico de computación se puede clasificar como orientado al paradigma de computación. Así, se encuentra FORTRAN y Pascal, definidos originalmente como lenguajes procedurales porque utilizan el concepto de rutina como la unidad de modularización. Eiffel y Smalltalk son lenguajes orientados a objetos; su programas seexpresan en términos de clases y objetos como unidades de modularización. En general, esta relación puede no ser uno a uno. Se puede disponer de C++ que soporta el paradigma procedural y el orientado a objetos. Y podemos clasificarlo como neutral al paradigma.
Si el método de diseño y el paradigma del lenguaje coinciden, entonces el mapeo entre las abstracciones del diseño y las abstracciones dellenguaje es directo, en el caso contrario, los costos del mapeo pueden ser muy altos.
Los lenguajes de programación convencionales son una abstracción de la arquitectura de la computadora subyacente. El modelo abstracto consiste en la ejecución secuencial, paso por paso, de las instrucciones que cambian el estado de la computación vía la modificación del almacén de valores.
Los lenguajesconvencionales basados en el modelo computacional de Von Newman se llaman imperativos, basados en instrucciones o, simplemente, lenguajes Von Newman; Basic, Pascal, Fortran y Lenguaje C fueron los lenguajes imperativos de mayor influencia cuando aparecieron.
Los paradigmas de lenguajes:
Programación declarativa: la descomposición de un problema hasta su implementación algorítmica.
Programaciónpor módulos: enfatiza el concepto de módulo como agrupación de variables, procedimientos, funciones y tipos. El programa se compone de un conjunto de módulos.
Programación genérica: este estilo enfatiza la definición de módulos genéricos, los cuales pueden ser instanciados a la hora de compilación o en tiempo de ejecución, es el caso de C++ y Ada.
Un paradigma que corresponde a los lenguajes...