Paradigmas de La Programación Fcochc PDF

MATERIA:
Programacin Orientada a Objetos

CARRERA:
Ingeniera en Sistemas Computacionales

TEMA DE INVESTIGACIN:
Paradigmas de la programacin
ALUMNO:
Francisco Chirino Carbajal

CUATRIMESTRE: TERCERO CATEDRTICO: GRUPO: NICO
Ing. Eloy Herrera Trujillo
12 de Mayo de 2013.

Ingeniera en Sistemas Computacionales Francisco Chirino Carbajal
INTRODUCCIN
En este pequeo trabajo de investigacin vamos a conocer lo que son los paradigmas de programacin. Mencionaremos los diferentes tipos de paradigmas que se conocen, pero solamente se hace referencia a los ms importantes ya que suelen haber muchos ms que no se mencionaran en esta investigacin.
Paradigmas de la programacin.
Pgina 2 de 17

PARADIGMAS DE LA PROGRAMACIN
Vamos a conocer lo que son los paradigmas de la programacin pero antes vamos a dar una definicin de lo que es un lenguaje de programacin. QU ES UN LENGUAJE DE PROGRAMACIN? Es un conjunto de smbolos junto a un conjunto de reglas para combinar dichos smbolos que se usan para expresar programas. Constan de un lxico, una sintaxis y una semntica. Lxico: Conjunto de smbolos permitidos o vocabulario Sintaxis: Reglas que indican cmo realizar las construcciones del lenguaje Semntica: Reglas que permiten determinar el significado de cualquier construccin del lenguaje. Tipos de lenguajes: Atendiendo al nmero de instrucciones necesarias para realizar una tarea especfica podemos clasificar los lenguajes informticos en dos grandes bloques: Bajo nivel. Alto nivel. QU ES UN PARADIGMA DE PROGRAMACIN? Los paradigmas de programacin son la forma, que determinan los mtodos y las herramientas que un programador usara en la construccin de un software. PROGRAMACIN MULTIPARADIGMA. Un lenguaje de programacin puede soportar distintos paradigmas de programacin con el objetivo de que un programador utilice el ms conveniente a la hora de resolver un problema. Ningn paradigma es capaz de resolver todos los problemas de forma sencilla y eficiente, por lo tanto es til poder elegir entre distintos estilos de programacin dependiendo del tipo de problema. Tambin hay lenguajes que permiten mezclar los paradigmas que, en principio, pareceran irreconciliables. Se debe aclarar que hay subparadigmas que se incluyen en paradigmas ms generales, pero hay otros que utilizan mtodos de programacin totalmente distintos entre s e igualmente hay lenguajes que los combinan. Por ejemplo, el lenguaje Oz emplea programacin lgica, funcional, orientada a objeto y otras.
Pgina 3 de 17

Lenguajes como Delphi, C++ y Visual Basic combinan el paradigma imperativo, el procedural y el orientado a objetos. Incluso lenguajes ms puros en sus paradigmas como Prolog (paradigma lgico) o Scheme (paradigma funcional) poseen estructuras iterativas tpicas de los lenguajes de paradigma imperativos.
TIPOS DE PARADIGMAS DE PROGRAMACIN
PROGRAMACIN IMPERATIVA
La programacin imperativa, en contraposicin a la programacin declarativa 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
Paradigmas de la programacin. Pgina 4 de 17

de no ser programas de computadora, son tambin conceptos familiares similares en estilo a la programacin imperativa; cada paso es una instruccin, y el mundo fsico guarda el estado (Zoom). Los primeros lenguajes imperativos fueron los lenguajes de mquina de los computadores originales. En estos lenguajes, las instrucciones fueron muy simples, lo cual hizo la implementacin de hardware fcil, pero obstruyendo la creacin de programas complejos. Fortran, cuyo desarrollo fue iniciado en 1954 por John Backus en IBM, fue el primer gran lenguaje de programacin en superar los obstculos presentados por el cdigo de mquina en la creacin de programas complejos. PROGRAMACIN LGICA.
La programacin lgica consiste en la aplicacin del corpus de conocimiento sobre lgica para el diseo de lenguajes de programacin; no debe confundirse con la disciplina de la lgica computacional. La programacin lgica es un tipo de paradigmas de programacin dentro del paradigma de programacin declarativa. El resto de los subparadigmas de programacin dentro de la programacin declarativa son: programacin funcional, programacin basada en restricciones, programas DSL (de dominio especfico) e hbridos. La programacin lgica gira en torno al concepto de predicado, o relacin entre elementos. La programacin funcional se

basa en el concepto de funcin (que no es ms que una evolucin de los predicados), de corte ms matemtico. PROGRAMACIN FUNCIONAL.
En ciencias de la computacin, la programacin funcional es un paradigma de programacin declarativa basado en la utilizacin de funciones aritmticas que no maneja datos mutables o de estado. Enfatiza la aplicacin de funciones, en contraste con el estilo de programacin imperativa, que enfatiza los cambios de estado. La programacin funcional tiene sus races en el clculo lambda, un sistema formal desarrollado en los 1930s para investigar la definicin de funcin, la aplicacin de las funciones y la recursin. Muchos lenguajes de programacin funcionales pueden ser vistos como elaboraciones del clculo lambda. En la prctica, la diferencia entre una funcin matemtica y la nocin de una "funcin" utilizada en la programacin imperativa es que las funciones imperativas pueden tener efectos secundarios, al cambiar el valor de clculos realizados previamente. Por esta razn carecen de transparencia referencial, es decir, la misma expresin lingstica puede resultar en valores diferentes en diferentes momentos dependiendo del estado del programa siendo ejecutado. Con cdigo funcional, en contraste, el valor generado por una funcin depende exclusivamente de los argumentos alimentados a la funcin. Al eliminar los efectos secundarios se puede entender y predecir el comportamiento de un

programa mucho ms fcilmente, y esta es una de las principales motivaciones para utilizar la programacin funcional. Los lenguajes de programacin funcional, especialmente los que son puramente funcionales, han sido enfatizados en el ambiente acadmico principalmente y no tanto en el desarrollo de software comercial. Sin embargo, lenguajes de programacin importantes tales como Scheme, Erlang, Objective Caml y Haskel, han sido utilizados en aplicaciones comerciales e industriales por muchas organizaciones. La programacin funcional tambin es utilizada en la industria a travs de lenguajes de dominio especfico como R (estadstica), Mathematica (matemticas simblicas), J y K (anlisis financiero), F# en Microsoft.NET y XSLT (XML). Lenguajes de uso especfico usados comnmente como SQL y Lex/Yacc, utilizan algunos elementos de programacin funcional, especialmente al procesar valores mutables. Las hojas de clculo tambin pueden ser consideradas lenguajes de programacin funcional. La programacin funcional tambin puede ser desarrollada en lenguajes que no estn diseados especficamente para la programacin funcional. En el caso de Perl, por ejemplo, que es un lenguaje de programacin imperativo, existe un libro que describe cmo aplicar conceptos de programacin funcional. JavaScript, uno de los lenguajes ms ampliamente utilizados en la actualidad, tambin incorpora capacidades de programacin funcional. PROGRAMACIN DECLARATIVA.
La Programacin Declarativa, es un paradigma de programacin que est basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solucin. La solucin es obtenida mediante mecanismos internos de control, sin especificar exactamente cmo encontrarla (tan slo se le indica a la computadora
Pgina 7 de 17

que es lo que se desea obtener o que es lo que se est buscando). No existen asignaciones destructivas, y las variables son utilizadas con Transparencia referencial. PROGRAMACIN ESTRUCTURADA.
La programacin estructurada es una forma de escribir programas de ordenador (programacin de computadora) de manera clara. Para ello utiliza nicamente tres estructuras: secuencia, seleccin e iteracin; siendo innecesario el uso de la instruccin o instrucciones de transferencia incondicional (GOTO, EXIT FUNCTION, EXIT SUB o mltiples RETURN). Hoy en da las aplicaciones informticas son mucho ms ambiciosas que las necesidades de programacin existentes en los aos 1960, principalmente debido a las aplicaciones grficas, por lo que las tcnicas de programacin estructurada no son suficientes. Ello ha llevado al desarrollo de nuevas tcnicas, tales como la programacin orientada a objetos y el desarrollo de entornos de programacin que facilitan la programacin de grandes aplicaciones. PROGRAMACIN DIRIGIDA POR EVENTOS
La programacin dirigida 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, definidos por el usuario o que ellos mismos provoquen. Para entender la programacin dirigida por eventos, podemos oponerla a lo que no es:

mientras en la programacin secuencial (o estructurada) 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. Aunque en la programacin secuencial puede haber intervencin de un agente externo al programa, estas intervenciones ocurrirn cuando el programador lo haya determinado, y no en cualquier momento como puede ser en el caso de la programacin dirigida por eventos. El creador de un programa dirigido por eventos debe definir los eventos que manejarn su programa y las acciones que se realizarn al producirse cada uno de ellos, lo que se conoce como el administrador de evento. Los eventos soportados estarn determinados por el lenguaje de programacin utilizado, por el sistema operativo e incluso por eventos creados por el mismo programador. En la programacin dirigida por eventos, al comenzar la ejecucin del programa se llevarn a cabo las inicializaciones y dems cdigo inicial y a continuacin el programa quedar bloqueado hasta que se produzca algn evento. Cuando alguno de los eventos esperados por el programa tenga lugar, el programa pasar a ejecutar el cdigo del correspondiente administrador de evento. Por ejemplo, si el evento consiste en que el usuario ha hecho click en el botn de play de un reproductor de pelculas, se ejecutar el cdigo del administrador de evento, que ser el que haga que la pelcula se muestre por pantalla. Un ejemplo claro lo tenemos en los sistemas de programacin Lexico y Visual Basic, en los que a cada elemento del programa (objetos, controles, etctera) se le asignan una serie de eventos que generar dicho elemento, como la pulsacin de un botn del ratn sobre l o el redibujado del control. La programacin dirigida por eventos es la base de lo que llamamos interfaz de usuario, aunque puede emplearse para desarrollar interfaces entre componentes de Software como mdulos del ncleo tambin. En los primeros tiempos de la computacin, los programas eran secuenciales, tambin llamados Batch. Un programa secuencial arranca, lee parmetros de entrada, procesa estos parmetros, y produce un resultado, todo de manera lineal y sin intervencin del usuario mientras se ejecuta. Con la aparicin y popularizacin de los pc, el software empez a ser demandado para usos alejados de los clsicos acadmicos y empresariales para los cuales era necesitado hasta entonces, y qued patente que el paradigma clsico de programacin no poda responder a las nuevas necesidades de interaccin con el usuario que surgieron a raz de este hecho...
Pgina 9 de 17

PROGRAMACIN MODULAR.
La programacin modular es un paradigma de programacin que consiste en dividir un programa en mdulos o subprogramas con el fin de hacerlo ms legible y manejable. Se presenta histricamente como una evolucin de la programacin estructurada para solucionar problemas de programacin ms grandes y complejos de lo que sta puede resolver. Al aplicar la programacin modular, un problema complejo debe ser dividido en varios subproblemas ms simples, y estos a su vez en otros subproblemas ms simples. Esto debe hacerse hasta obtener subproblemas lo suficientemente simples como para poder ser resueltos fcilmente con algn lenguaje de programacin. sta tcnica se llama refinamiento sucesivo, divide y vencers anlisis descendente (Top-Down). Un mdulo es cada una de las partes de un programa que resuelve uno de los subproblemas en que se divide el problema complejo original. Cada uno de estos mdulos tiene una tarea bien definida y algunos necesitan de otros para poder operar. En caso de que un mdulo necesite de otro, puede comunicarse con ste mediante una interfaz de comunicacin que tambin debe estar bien definida. Si bien un mdulo puede entenderse como una parte de un programa en cualquiera de sus formas y variados contextos, en la prctica es comn representarlos con procedimientos y funciones. Adicionalmente, tambin pueden considerarse mdulos las libreras que pueden incluirse en un programa o, en programacin orientada a objetos, la implementacin de un tipo de dato abstracto.
Pgina 10 de 17

PROGRAMACIN ORIENTADA A OBJETOS.
La programacin orientada a objetos o POO (OOP segn sus siglas en ingls) es un paradigma de programacin que usa objetos y sus interacciones, para disear aplicaciones y programas informticos. Est basado en varias tcnicas, incluyendo herencia, abstraccin, polimorfismo y encapsulamiento. Su uso se populariz a principios de la dcada de los aos 1990. En la actualidad, existe variedad de lenguajes de programacin que soportan la orientacin a objetos. PROGRAMACIN CON RESTRICCIONES. La 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. La programacin con restricciones se relaciona mucho con la programacin lgica y con la investigacin operativa. De hecho cualquier programa lgico puede ser traducido en un programa con restricciones y viceversa. Muchas veces los programas lgicos son traducidos a programas con restricciones debido a que la solucin es ms eficiente que su contraparte. La diferencia entre ambos radica principalmente en sus estilos y enfoques en el modelado del mundo. Para ciertos problemas es ms natural (y por ende ms simple) escribirlos como programas lgicos, mientras que en otros es ms natural escribirlos como programas con restricciones. El enfoque de la programacin con restricciones se basa principalmente en buscar un estado en el cual una gran cantidad de restricciones sean satisfechas simultneamente. Un problema se define tpicamente como un estado de la realidad en el cual existe un nmero de variables con valor desconocido. Un programa basado en restricciones busca dichos valores para todas las variables. Algunos dominios de aplicacin de este paradigma son: Dominios booleanos, donde solo existen restricciones del tipo verdadero/falso. Dominios en variables enteras y racionales. Dominios lineales, donde slo se describen y analizan funciones lineales. Dominios finitos, donde las restricciones son definidas en conjuntos finitos. Dominios mixtos, los cuales involucran dos o ms de los anteriores. Los lenguajes de programacin con restricciones son tpicamente ampliaciones de otro lenguaje. El primer lenguaje utilizado a tal efecto fue Prolog. Por esta razn es que este campo fue llamado inicialmente Programacin Lgica con Restricciones. Ambos paradigmas comparten caractersticas muy similares, tales como las variables lgicas (una vez que una variable es asignada a un valor, no puede ser cambiado), o el backtracking. La programacin con restricciones puede ser implementada como un lenguaje propio o como bibliotecas para ser usadas en algn lenguaje de programacin imperativo.
Pgina 12 de 17

PROGRAMACIN A NIVEL FUNCIONAL (JOHN BACKUS).
La programacin a nivel funcional es unos de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los Programas como objetos matemticos, siendo el otro la programacin a nivel de valores. En su discurso de aceptacin del Premio Turing en 1977, Backus describi lo que considera como la necesidad de un cambio a una filosofa diferente en el diseo de lenguajes de programacin: "Pareciera existir un problema en el diseo de los lenguajes de programacin. Cada nuevo lenguaje incorpora, luego de algo de limpieza, todas las caractersticas de los lenguajes anteriores ms algunas otras. [...] Cada nuevo lenguaje presenta nuevas caractersticas de moda... pero el hecho es que pocos lenguajes hacen que la tarea de programar sea ms econmica, o ms segura como para justificar el costo de producirlo y aprender a utilizarlo." El lenguaje de programacin FP fue el primer lenguaje diseado especficamente para dar soporte al estilo de programacin a nivel funcional. Un programa de nivel funcional no necesita la nocin de variable, dado que las variables, que son elemento esencial en las definiciones a nivel de valores no hacen falta en el nivel funcional.

En el estilo de programacin de nivel funcional los programas se escriben como combinacin de otros programas con la ayuda de las operaciones de construccin de programas o funcionales. Bajo este enfoque los programas, con los funcionales como operadores, forman un espacio matemtico. Otra ventaja potencial de este enfoque es la posibilidad de restringirse nicamente a las funciones estrictas y asociarles un mecanismo de evaluacin por valor. que es el ms sencillo de implementar. Otra ventaja es la existencia de definiciones de nivel funcional que no son simplemente el correspondiente de una definicin de nivel de valores. Estas definiciones, a veces un poco crpticas por lo concisas representan un estilo de programacin muy poderoso. Si bien la propuesta de Backus data de los aos 70 ella ha sido poco adoptada por la comunidad de programacin funcional que han preferido basar sus trabajos en el clculo Lambda. La programacin a nivel funcional en el estilo de FP tiene una fuerte relacin con la lgica combinatoria de Haskell Curry, con los lenguajes de combinadores, antecesores de Miranda y Haskell, as como con las categoras cartesianas cerradas, teora que dio origen al lenguaje CAML (Categorical Abstract Machine Languaje) antecesor del lenguaje Ocaml. PROGRAMACIN A NIVEL DE VALORES (JOHN BACKUS). La programacin a nivel de valores es unos de los dos paradigmas contrastantes identificados por John Backus en su trabajo sobre los Programas como objetos matemticos, siendo el otro la programacin a nivel funcional. El trmino inicialmente utilizado por Backus fue el de programacin a nivel de objetos, pero en la actualidad ese trmino traera confusin con la programacin orientada a objetos. Los programas a nivel de valores describen como combinar diferentes valores (por ejemplo, nmeros, caracteres, etc.) para formar nuevos valores hasta obtener el resultado final. Los nuevos valores se obtienen como resultado de la aplicacin de operaciones que transforman valores en otros valores, como por ejemplo, la suma, la concatenacin, la inversin de matrices, etc. Los lenguajes que siguen el estilo de von Neumann son de nivel de valores: las expresiones a la derecha de una asignacin tienen por objeto la creacin del nuevo valor a asignar. PROGRAMACIN ORIENTADA A COMPONENTES. La programacin orientada a componentes (que tambin es llamada basada en componentes) es una rama de la ingeniera del software, con nfasis en la descomposicin de sistemas ya conformados en componentes funcionales o lgicos con interfaces bien definidas usadas para la comunicacin entre componentes.
Pgina 14 de 17

Se considera que el nivel de abstraccin de los componentes es ms alto que el de los objetos y por lo tanto no comparten un estado y se comunican intercambiando mensajes que contienen datos. PROGRAMACIN ORIENTADA A ASPECTOS.
La Programacin Orientada a Aspectos (POA) es un paradigma de programacin relativamente reciente cuya intencin es permitir una adecuada modularizacin de las aplicaciones y posibilitar una mejor separacin de incumbencias. Gracias a la POA se pueden encapsular los diferentes conceptos que componen una aplicacin en entidades bien definidas, eliminando las dependencias entre cada uno de los mdulos. De esta forma se consigue razonar mejor sobre los conceptos, se elimina la dispersin del cdigo y las implementaciones resultan ms comprensibles, adaptables y reusables. Varias tecnologas con nombres diferentes se encaminan a la consecucin de los mismos objetivos y as, el trmino POA es usado para referirse a varias tecnologas relacionadas como los mtodos adaptativos, los filtros de composicin, la programacin orientada a sujetos o la separacin multidimensional de competencias.
Pgina 15 de 17

CONCLUSIN
En conclusin podemos decir que los paradigmas en la programacin se pueden definir como la forma de pensar de cada individuo. Los lenguajes de programacin influencian notablemente la manera en que pensamos acerca del diseo y construccin del software y los algoritmos y estructuras de datos que utilicemos para desarrollar software. Un paradigma de programacin representa un enfoque particular o filosofa para la construccin del software. No es mejor uno que otro sino que cada uno tiene ventajas y desventajas. Tambin hay situaciones donde un paradigma resulta ms apropiado que otro modelo bsico de diseo y desarrollo de programas, que permite producir programas con unas directrices especficas, tales como: estructura modular, fuerte cohesin, alta rentabilidad. Para algunos puede resultar sorprendente que existan varios paradigmas de programacin. La mayor parte de los programadores estn familiarizados con un nico paradigma, el de la programacin procedimental. Sin embargo hay multitud de ellos atendiendo a alguna particularidad metodolgica o funcional, como por ejemplo el basado en reglas de gran aplicacin en la ingeniera del conocimiento para el desarrollo de sistemas expertos, en que el ncleo del mismo son las reglas de produccin del tipo. Para entender cmo funciona el paradigma de la programacin orientada a objetos es necesario ver un programa como una coleccin de objetos que interactan entre s envindose mensajes y cambiando su estado durante la ejecucin. Resolver un problema bajo el paradigma de la programacin orientada a objetos implica determinar y caracterizar los diferentes objetos que intervienen en el problema, definir sus propiedades y mtodos y ponerlos a interactuar. La comprensin bsica de los conceptos de los lenguajes de programacin y los diferentes paradigmas son necesarios para todos los ingenieros de software, no tanto para los especialistas en un lenguaje de programacin. Esto se debe a que los lenguajes de programacin son una herramienta fundamental.
Pgina 16 de 17

BIBLIOGRAFA:
http://www.alegsaonline.com/art/14.php http://www.taringa.net/posts/ciencia-educacion/9145179/Paradigma-de-Programacion.html
Pgina 17 de 17

Paradigmas de La Programación Fcochc PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Paradigmas de La Programación Fcochc PDF

Enviado por

Direitos autorais:

Formatos disponíveis

MATERIA:

Programacin Orientada a Objetos

Ingeniera en Sistemas Computacionales

Francisco Chirino Carbajal

Ing. Eloy Herrera Trujillo

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

TIPOS DE PARADIGMAS DE PROGRAMACIN

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

PROGRAMACIN ORIENTADA A OBJETOS.

Programacin Orientada a Objetos

Programacin Orientada a Objetos

PROGRAMACIN A NIVEL FUNCIONAL (JOHN BACKUS).

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Programacin Orientada a Objetos

Você também pode gostar