Instituto Tecnolgico de San Juan del Rio Programacin orientada a objetos Tarea #2 Roco Guadalupe Zozaya Salas Liliana

Trejo Snchez 07/02/13

Paradigmas de programacion : Un paradigma de programacin es una propuesta tecnolgica que es adoptada por una comunidad de programadores cuyo ncleo central es incuestionable en cuanto a que unvocamente trata de resolver uno o varios problemas claramente delimitados. La resolucin de estos problemas debe suponer consecuentemente un avance significativo en al menos un parmetro que afecte a la ingeniera de software. Tiene una estrecha relacin con la formalizacin de determinados lenguajes en su momento de definicin. Un paradigma de programacin est delimitado en el tiempo en cuanto a aceptacin y uso ya que nuevos paradigmas aportan nuevas o mejores soluciones que la sustituyen parcial o totalmente. Paradigma imperativo : Generalmente el cdigo maquina, describe una programacin como un flujo de instrucciones o comandos que van formando la estructura del software. Es un paradigma de programacin que describe la programacin en trminos del estado del programa y sentencias que cambian dicho estado. Los programas imperativos son un conjunto de instrucciones que le indican al computador cmo realizar una tarea. La implementacin de hardware de la mayora de computadores es imperativa; prcticamente todo el hardware de los computadores est diseado para ejecutar cdigo de mquina, que es nativo al computador, escrito en una forma imperativa. Esto se debe a que el hardware de los computadores implementa el paradigma de las Mquinas de Turing. Desde esta perspectiva de bajo nivel, el estilo del programa est definido por los contenidos de la memoria, y las sentencias son instrucciones en el lenguaje de mquina nativo del computador (por ejemplo el lenguaje ensamblador). Los lenguajes imperativos de alto nivel usan variables y sentencias ms complejas, pero an siguen el mismo paradigma. Las recetas y las listas de revisin de procesos, a pesar de no ser programas de computadora, son tambin conceptos familiares similares en estilo a la

programacin imperativa; cada paso es una instruccin. Paradigma funcional:Este tipo de paradigma demuestra un tipo de programacin en forma de funciones matemticas. Los lenguajes puramente funcionales evitan efectos secundarios que pueden ser comunes en otros tipos de paradigmas. El objetivo es conseguir lenguajes expresivos y matemticamente elegantes, en los que no sea necesario bajar al nivel de la mquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de estado del cmputo. La secuencia de computaciones llevadas a cabo por el programa se regira nica y exclusivamente por la reescritura de definiciones ms amplias a otras cada vez ms concretas y definidas, usando lo que se denominan "definiciones dirigidas". Paradigma lgico Se definen reglas lgicas que luego a trabes de un motor de inferencias lgicas, resolver problemas planteados por el sistema. Algunos programas que utilizan el paradigma lgico: prolog. Hay muchos ms paradigmas de programacin y cada uno de ellos posee sus ventajas y desventajas, sin embargo sea el paradigma que elijamos podremos resolver todos los problemas por caminos diferentes a los dems. Paradigma orientado a Objetos Este tipo de programacin posee como idea principal encapsular estado y operaciones en objetos. Estos objetos pueden comunicarse entre si, poseen clases y herencia. Paradigma estructurado:el cdigo se divide en bloques, estructuras, que pueden o no comunicarse entre s. Este software se controla con secuencia, seleccin e interaccin. Otorga una mejor comprensin del cdigo y permite su reutilizacin de una forma ms fcil. Paradigma de programacin guiada por eventos Es un paradigma de programacin en el que tanto la estructura como la ejecucin de los programas van determinados por los sucesos que ocurran en el sistema o que ellos mismos provoquen. Mientras que en la programacin secuencial es el programador el que define cul va a ser el flujo del programa, en la programacin dirigida por eventos ser el propio usuario, o lo que sea que est accionando el programa, el que dirija el flujo del programa. Al comenzar la ejecucin del programa se llevarn a cabo las inicializaciones correspondiente y a continuacin el programa quedar bloqueado hasta que se produzca algn evento. Cuando alguno de estos eventos tenga lugar, el programa pasar a ejecutar el cdigo del correspondiente manejador de evento. Programacin con restricciones: Es un paradigma de la programacin en informtica, donde las relaciones entre las variables son expresadas en trminos de restricciones (ecuaciones). Actualmente es usada como una tecnologa de software para la descripcin y resolucin de problemas combinatorios particularmente difciles, especialmente en las reas de planificacin y programacin de tareas (calendarizacin). Este paradigma representa uno de los desarrollos ms fascinantes en los lenguajes de programacin desde 1990 y no es sorprendente que recientemente haya sido identificada por la ACM (Asociacin de Maquinaria Computacional) como una direccin estratgica en la investigacin en computacin. Se trata de un paradigma de programacin basado en la especificacin de un conjunto de restricciones, las cuales deben ser satisfechas por cualquier solucin del problema planteado, en lugar de especificar los pasos para obtener dicha solucin.