Un programa de computadora es una secuencia o conjunto [a] de instrucciones en un lenguaje de programación para que las ejecute una computadora . Es un componente del software , que también incluye documentación y otros componentes intangibles. [1]
Un programa de computadora en su forma legible por humanos se llama código fuente . El código fuente necesita otro programa informático para ejecutarse porque las computadoras sólo pueden ejecutar las instrucciones nativas de su máquina . Por lo tanto, el código fuente se puede traducir a instrucciones de máquina utilizando un compilador escrito para el lenguaje. ( Los programas en lenguaje ensamblador se traducen usando un ensamblador ). El archivo resultante se llama ejecutable . Alternativamente, el código fuente puede ejecutarse dentro de un intérprete escrito para el idioma. [2]
Si se solicita la ejecución del ejecutable, el sistema operativo lo carga en la memoria e inicia un proceso . [3] La unidad central de procesamiento pronto cambiará a este proceso para poder buscar, decodificar y luego ejecutar cada instrucción de la máquina. [4]
Si se solicita la ejecución del código fuente, el sistema operativo carga el intérprete correspondiente en la memoria e inicia un proceso. Luego, el intérprete carga el código fuente en la memoria para traducir y ejecutar cada declaración . Ejecutar el código fuente es más lento que ejecutar un ejecutable . [5] [b] Además, el intérprete debe estar instalado en el ordenador.
El mensaje "¡Hola mundo!" El programa se utiliza para ilustrar la sintaxis básica de un lenguaje . La sintaxis del lenguaje BASIC (1964) se limitó intencionalmente para que el lenguaje fuera fácil de aprender. [6] Por ejemplo, las variables no se declaran antes de usarse. [7] Además, las variables se inicializan automáticamente a cero. [7] Aquí hay un programa de computadora de ejemplo, en Básico, para promediar una lista de números: [8]
10 ENTRADA "¿Cuántos números promediar?" , A 20 FOR I = 1 TO A 30 INPUT "Ingrese número:" , B 40 LET C = C + B 50 NEXT I 60 LET D = C / A 70 PRINT "El promedio es" , D 80 END
Una vez que se aprende la mecánica de la programación informática básica, se encuentran disponibles lenguajes más sofisticados y potentes para construir sistemas informáticos de gran tamaño. [9]
Las mejoras en el desarrollo de software son el resultado de mejoras en el hardware informático . En cada etapa de la historia del hardware, la tarea de la programación informática cambió drásticamente.
En 1837, el telar de Jacquard inspiró a Charles Babbage a intentar construir la máquina analítica . [10] Los nombres de los componentes del dispositivo de cálculo fueron tomados de la industria textil. En la industria textil, el hilo se traía del almacén para ser molido. El dispositivo tenía un almacén que consistía en una memoria para contener 1.000 números de 50 dígitos decimales cada uno. [11] Los números de la tienda se transfirieron a la fábrica para su procesamiento. Fue programado utilizando dos juegos de tarjetas perforadas. Un conjunto dirigió la operación y el otro conjunto ingresó las variables. [10] [12] Sin embargo, las miles de ruedas dentadas y engranajes nunca funcionaron completamente juntos. [13]
Ada Lovelace trabajó para Charles Babbage para crear una descripción de la máquina analítica (1843). [14] La descripción contenía la Nota G que detallaba completamente un método para calcular los números de Bernoulli utilizando el motor analítico. Esta nota es reconocida por algunos historiadores como el primer programa informático del mundo . [13]
En 1936, Alan Turing presentó la máquina universal de Turing , un dispositivo teórico que puede modelar todos los cálculos. [15] Es una máquina de estados finitos que tiene una cinta de lectura/escritura infinitamente larga. La máquina puede mover la cinta hacia adelante y hacia atrás, cambiando su contenido mientras realiza un algoritmo . La máquina arranca en el estado inicial, sigue una secuencia de pasos y se detiene cuando llega al estado de parada. [16] Todas las computadoras actuales son Turing completas . [17]
El integrador y ordenador numérico electrónico (ENIAC) se construyó entre julio de 1943 y el otoño de 1945. Era un ordenador Turing completo de uso general que utilizaba 17.468 tubos de vacío para crear los circuitos . En esencia, era una serie de Pascalinas conectadas entre sí. [18] Sus 40 unidades pesaban 30 toneladas, ocupaban 1.800 pies cuadrados (167 m 2 ) y consumían 650 dólares por hora ( en moneda de la década de 1940 ) en electricidad cuando estaban inactivas. [18] Tenía 20 acumuladores de base 10 . La programación del ENIAC llevó hasta dos meses. [18] Tres mesas funcionales tenían ruedas y debían trasladarse hasta paneles funcionales fijos. Las mesas de funciones se conectaron a paneles de funciones conectando pesados cables negros a tableros de enchufes . Cada mesa de funciones tenía 728 perillas giratorias. La programación del ENIAC también implicó configurar algunos de los 3.000 interruptores. Depurar un programa llevó una semana. [19] Funcionó desde 1947 hasta 1955 en Aberdeen Proving Ground , calculando parámetros de bombas de hidrógeno, prediciendo patrones climáticos y produciendo tablas de tiro para apuntar cañones de artillería. [20]
En lugar de enchufar cables y accionar interruptores, una computadora con programas almacenados carga sus instrucciones en la memoria del mismo modo que carga sus datos en la memoria. [21] Como resultado, la computadora podría programarse rápidamente y realizar cálculos a velocidades muy rápidas. [22] Presper Eckert y John Mauchly construyeron el ENIAC. Los dos ingenieros introdujeron el concepto de programa almacenado en un memorando de tres páginas fechado en febrero de 1944. [23] Más tarde, en septiembre de 1944, John von Neumann comenzó a trabajar en el proyecto ENIAC. El 30 de junio de 1945, von Neumann publicó el primer borrador de un informe sobre el EDVAC , que equiparaba las estructuras del ordenador con las estructuras del cerebro humano. [22] El diseño se conoció como la arquitectura von Neumann . La arquitectura se implementó simultáneamente en las construcciones de las computadoras EDVAC y EDSAC en 1949. [24]
El IBM System/360 (1964) era una familia de computadoras, cada una con la misma arquitectura de conjunto de instrucciones . El Modelo 20 era el más pequeño y menos costoso. Los clientes podrían actualizar y conservar el mismo software de aplicación . [25] El modelo 195 era el más premium. Cada modelo System/360 presentaba multiprogramación [25] , es decir, múltiples procesos en la memoria a la vez. Cuando un proceso estaba esperando entrada/salida , otro podía calcular.
IBM planeó que cada modelo se programara usando PL/1 . [26] Se formó un comité que incluía programadores de COBOL , Fortran y ALGOL . El propósito era desarrollar un lenguaje que fuera integral, fácil de usar, extensible y que reemplazara a Cobol y Fortran. [26] El resultado fue un lenguaje grande y complejo que tomó mucho tiempo para compilarse . [27]
Las computadoras fabricadas hasta la década de 1970 tenían interruptores en el panel frontal para programación manual. [28] El programa de computadora fue escrito en papel como referencia. Una instrucción estaba representada por una configuración de ajustes de encendido/apagado. Después de establecer la configuración, se presionó un botón de ejecución. Luego se repitió este proceso. Los programas de computadora también se ingresaban automáticamente mediante cinta de papel , tarjetas perforadas o cinta magnética . Después de cargar el medio, la dirección inicial se configuró mediante interruptores y se presionó el botón de ejecución. [28]
Un hito importante en el desarrollo de software fue la invención del circuito de integración a muy gran escala (VLSI) (1964). [29] Después de la Segunda Guerra Mundial , la tecnología basada en tubos fue reemplazada por transistores de contacto puntual (1947) y transistores de unión bipolar (finales de la década de 1950) montados en una placa de circuito . [29] Durante la década de 1960 , la industria aeroespacial reemplazó la placa de circuito por un chip de circuito integrado . [29]
Robert Noyce , cofundador de Fairchild Semiconductor (1957) y de Intel (1968), logró una mejora tecnológica al perfeccionar la producción de transistores de efecto de campo (1963). [30] El objetivo es alterar la resistividad eléctrica y la conductividad de una unión semiconductora . En primer lugar, los minerales de silicato naturales se convierten en barras de polisilicio mediante el proceso Siemens . [31] El proceso de Czochralski convierte luego las varillas en un silicio monocristalino , cristal boule . [32] Luego, el cristal se corta en rodajas finas para formar un sustrato de oblea . Luego, el proceso planar de fotolitografía integra transistores, condensadores , diodos y resistencias unipolares en la oblea para construir una matriz de transistores semiconductores de óxido metálico (MOS). [33] [34] El transistor MOS es el componente principal de los chips de circuitos integrados . [30]
Originalmente, los chips de circuitos integrados tenían su función establecida durante la fabricación. Durante la década de 1960, el control del flujo eléctrico migró a la programación de una matriz de memoria de sólo lectura (ROM). La matriz parecía una serie bidimensional de fusibles. [29] El proceso para incrustar instrucciones en la matriz consistió en quemar las conexiones innecesarias. [29] Había tantas conexiones que los programadores de firmware escribieron un programa de computadora en otro chip para supervisar la grabación. [29] La tecnología pasó a ser conocida como ROM programable . En 1971, Intel instaló el programa informático en el chip y lo llamó microprocesador Intel 4004 . [35]
Los términos microprocesador y unidad central de procesamiento (CPU) ahora se usan indistintamente. Sin embargo, las CPU son anteriores a los microprocesadores. Por ejemplo, el IBM System/360 (1964) tenía una CPU hecha de placas de circuito que contenían componentes discretos sobre sustratos cerámicos . [36]
El Intel 4004 (1971) era un microprocesador de 4 bits diseñado para ejecutar la calculadora Busicom . Cinco meses después de su lanzamiento, Intel lanzó el Intel 8008 , un microprocesador de 8 bits. Bill Pentz dirigió un equipo en Sacramento State para construir la primera microcomputadora utilizando Intel 8008: la Sac State 8008 (1972). [37] Su propósito era almacenar registros médicos de pacientes. La computadora admitía un sistema operativo de disco para ejecutar una unidad de disco duro Memorex de 3 megabytes . [29] Tenía una pantalla a color y un teclado empaquetados en una sola consola. El sistema operativo del disco se programó utilizando el lenguaje ensamblador básico (BAL) de IBM . La aplicación de historias clínicas se programó mediante un intérprete BÁSICO . [29] Sin embargo, la computadora fue un callejón sin salida evolutivamente porque era extremadamente costosa. Además, fue construido en un laboratorio de una universidad pública para un propósito específico. [37] No obstante, el proyecto contribuyó al desarrollo del conjunto de instrucciones Intel 8080 (1974) . [29]
En 1978, el entorno de desarrollo de software moderno comenzó cuando Intel actualizó el Intel 8080 al Intel 8086 . Intel simplificó el Intel 8086 para fabricar el Intel 8088 más económico . [38] IBM adoptó el Intel 8088 cuando ingresó al mercado de las computadoras personales (1981). A medida que aumentó la demanda de computadoras personales por parte de los consumidores , también lo hizo el desarrollo de microprocesadores de Intel. La sucesión de desarrollo se conoce como serie x86 . El lenguaje ensamblador x86 es una familia de instrucciones de máquina compatibles con versiones anteriores . Las instrucciones de la máquina creadas en microprocesadores anteriores se conservaron durante las actualizaciones de los microprocesadores. Esto permitió a los consumidores comprar computadoras nuevas sin tener que comprar software de aplicación nuevo . Las principales categorías de instrucciones son: [c]
Los circuitos VLSI permitieron que el entorno de programación avanzara desde una terminal de computadora (hasta la década de 1990) a una computadora con interfaz gráfica de usuario (GUI). Los terminales de computadora limitaban a los programadores a un único shell que se ejecutaba en un entorno de línea de comandos . Durante la década de 1970, la edición del código fuente en pantalla completa se hizo posible a través de una interfaz de usuario basada en texto . Independientemente de la tecnología disponible, el objetivo es programar en un lenguaje de programación .
Las características del lenguaje de programación existen para proporcionar bloques de construcción que se combinarán para expresar ideales de programación. [39] Idealmente, un lenguaje de programación debería: [39]
El estilo de programación de un lenguaje de programación para proporcionar estos componentes básicos se puede clasificar en paradigmas de programación . [40] Por ejemplo, diferentes paradigmas pueden diferenciar: [40]
Cada uno de estos estilos de programación ha contribuido a la síntesis de diferentes lenguajes de programación . [40]
Un lenguaje de programación es un conjunto de palabras clave , símbolos , identificadores y reglas mediante las cuales los programadores pueden comunicar instrucciones a la computadora. [41] Siguen un conjunto de reglas llamado sintaxis . [41]
Los lenguajes de programación obtienen su base de los lenguajes formales . [42] El propósito de definir una solución en términos de su lenguaje formal es generar un algoritmo para resolver el problema subrayado. [42] Un algoritmo es una secuencia de instrucciones simples que resuelven un problema. [43]
La evolución de los lenguajes de programación comenzó cuando la EDSAC (1949) utilizó el primer programa informático almacenado en su arquitectura von Neumann . [44] La programación del EDSAC se realizó en la primera generación del lenguaje de programación .
Los lenguajes imperativos especifican un algoritmo secuencial utilizando declaraciones , expresiones y declaraciones : [52]
var x: integer;
2 + 2
produce 4x := 2 + 2; if x = 4 then do_something();
FORTRAN (1958) fue presentado como "El sistema de traducción de fórmulas matemáticas de IBM". Fue diseñado para cálculos científicos, sin instalaciones de manipulación de cuerdas . Junto con declaraciones , expresiones y declaraciones , admitía:
Tuvo éxito porque:
Sin embargo, los proveedores que no son de IBM también escribieron compiladores de Fortran, pero con una sintaxis que probablemente fallaría en el compilador de IBM. [54] El Instituto Nacional Estadounidense de Estándares (ANSI) desarrolló el primer estándar Fortran en 1966. En 1978, Fortran 77 se convirtió en el estándar hasta 1991. Fortran 90 admite:
COBOL (1959) significa "Lenguaje común orientado a los negocios". Símbolos manipulados por Fortran. Pronto se dio cuenta de que los símbolos no tenían por qué ser números, por lo que se introdujeron cadenas . [55] El Departamento de Defensa de EE. UU. influyó en el desarrollo de COBOL, siendo Grace Hopper una de las principales contribuyentes. Las declaraciones eran parecidas al inglés y detalladas. El objetivo era diseñar un lenguaje para que los directivos pudieran leer los programas. Sin embargo, la falta de declaraciones estructuradas obstaculizó este objetivo. [56]
El desarrollo de COBOL estuvo estrictamente controlado, por lo que no surgieron dialectos que requirieran estándares ANSI. Como consecuencia, no se modificó durante 15 años, hasta 1974. La versión de la década de 1990 sí realizó cambios importantes, como la programación orientada a objetos . [56]
ALGOL (1960) significa "Lenguaje ALGOrítmico". Tuvo una profunda influencia en el diseño del lenguaje de programación. [57] Surgiendo de un comité de expertos en lenguajes de programación europeos y estadounidenses, utilizaba notación matemática estándar y tenía un diseño estructurado y legible. Algol fue el primero en definir su sintaxis utilizando la forma Backus-Naur . [57] Esto condujo a compiladores dirigidos por sintaxis . Agregó características como:
Los descendientes directos de Algol incluyen a Pascal , Modula-2 , Ada , Delphi y Oberon en una rama. En otra rama, los descendientes incluyen C , C++ y Java . [57]
BASIC (1964) significa "Código de instrucción simbólico multiusos para principiantes". Fue desarrollado en Dartmouth College para que todos sus estudiantes aprendieran. [8] Si un estudiante no pasara a un idioma más potente, aún recordaría el Básico. [8] Se instaló un intérprete básico en las microcomputadoras fabricadas a finales de la década de 1970. A medida que crecía la industria de las microcomputadoras, también lo hacía el lenguaje. [8]
Basic fue pionero en la sesión interactiva . [8] Ofrecía comandos del sistema operativo dentro de su entorno:
Sin embargo, la sintaxis básica era demasiado simple para programas grandes. [8] Los dialectos recientes agregaron estructura y extensiones orientadas a objetos. Visual Basic de Microsoft todavía se utiliza ampliamente y produce una interfaz gráfica de usuario . [7]
El lenguaje de programación C (1973) recibió su nombre porque el lenguaje BCPL fue reemplazado por B , y AT&T Bell Labs llamó a la siguiente versión "C". Su propósito era escribir el sistema operativo UNIX . [50] C es un lenguaje relativamente pequeño, lo que facilita la escritura de compiladores. Su crecimiento reflejó el crecimiento del hardware en la década de 1980. [50] Su crecimiento también se debió a que tiene las facilidades del lenguaje ensamblador , pero utiliza una sintaxis de alto nivel . Agregó funciones avanzadas como:
C permite al programador controlar qué región de datos de la memoria se almacenarán. Las variables globales y las variables estáticas requieren la menor cantidad de ciclos de reloj para almacenarse. La pila se utiliza automáticamente para las declaraciones de variables estándar . La memoria del montón se devuelve a una variable de puntero de la malloc()
función.
main()
función. [59] Las variables globales son visibles para main()
todas las demás funciones del código fuente.main()
otras funciones o dentro de {
}
delimitadores de bloque son variables locales . Las variables locales también incluyen variables de parámetros formales . Las variables de parámetros están encerradas entre paréntesis de la definición de una función. [60] Los parámetros proporcionan una interfaz para la función.static
prefijo también se almacenan en la región de datos globales y estáticos . [58] A diferencia de las variables globales, las variables estáticas solo son visibles dentro de la función o bloque. Las variables estáticas siempre conservan su valor. Un ejemplo de uso sería la función int increment_counter(){static int counter = 0; counter++; return counter;}
[g]static
prefijo, incluidas las variables de parámetros formales, [62] se denominan variables automáticas [59] y se almacenan en la pila. [58] Son visibles dentro de la función o bloque y pierden su alcance al salir de la función o bloque.malloc()
función de biblioteca para asignar memoria de montón. [i] [64] Llenar el montón con datos es una función de copia adicional. [j] Las variables almacenadas en el montón se pasan económicamente a funciones mediante punteros. Sin punteros, todo el bloque de datos tendría que pasarse a la función a través de la pila.En la década de 1970, los ingenieros de software necesitaban soporte lingüístico para dividir grandes proyectos en módulos . [65] Una característica obvia era descomponer físicamente los proyectos grandes en archivos separados . Una característica menos obvia era descomponer lógicamente grandes proyectos en tipos de datos abstractos . [65] En ese momento, los lenguajes admitían tipos de datos concretos (escalares) como números enteros , números de punto flotante y cadenas de caracteres . Los tipos de datos abstractos son estructuras de tipos de datos concretos, a los que se les asigna un nuevo nombre. Por ejemplo, se podría llamar una listainteger_list
de números enteros .
En la jerga orientada a objetos, los tipos de datos abstractos se denominan clases . Sin embargo, una clase es sólo una definición; no se asigna memoria. Cuando la memoria se asigna a una clase y se vincula a un identificador , se denomina objeto . [66]
Lenguajes imperativos orientados a objetos desarrollados combinando la necesidad de clases y la necesidad de una programación funcional segura . [67] Una función, en un lenguaje orientado a objetos, se asigna a una clase. Una función asignada se denomina entonces método , función miembro u operación . La programación orientada a objetos consiste en ejecutar operaciones sobre objetos . [68]
Los lenguajes orientados a objetos admiten una sintaxis para modelar relaciones de subconjunto/superconjunto . En la teoría de conjuntos , un elemento de un subconjunto hereda todos los atributos contenidos en el superconjunto. Por ejemplo, un estudiante es una persona. Por tanto, el conjunto de estudiantes es un subconjunto del conjunto de personas. Como resultado, los estudiantes heredan todos los atributos comunes a todas las personas. Además, los estudiantes tienen atributos únicos que otras personas no tienen. Los lenguajes orientados a objetos modelan relaciones de subconjunto/superconjunto mediante herencia . [69] La programación orientada a objetos se convirtió en el paradigma del lenguaje dominante a finales de la década de 1990. [65]
C++ (1985) originalmente se llamaba "C con clases". [70] Fue diseñado para ampliar las capacidades de C agregando las funciones orientadas a objetos del lenguaje Simula . [71]
Un módulo orientado a objetos se compone de dos archivos. El archivo de definiciones se llama archivo de encabezado . Aquí hay un archivo de encabezado C++ para la clase GRADE en una aplicación escolar simple:
// grado.h // -------// Se utiliza para permitir que varios archivos fuente incluyan // este archivo de encabezado sin errores de duplicación. // ---------------------------------------------- #ifndef GRADE_H #definir GRADE_Hclass GRADE { public : // Esta es la operación del constructor. // ---------------------------------- CALIFICACIÓN ( letra de carácter constante ); // Esta es una variable de clase. // ------------------------- letra de carácter ; // Esta es una operación de miembro. // --------------------------- int grade_numeric ( letra de carácter constante ); // Esta es una variable de clase. // ------------------------- int numérico ; }; #endif
Una operación de constructor es una función con el mismo nombre que el nombre de la clase. [72] Se ejecuta cuando la operación que llama ejecuta la new
declaración.
El otro archivo de un módulo es el archivo fuente . Aquí hay un archivo fuente C++ para la clase GRADE en una aplicación escolar simple:
// grado.cpp // --------- #incluye "grado.h" GRADE :: GRADE ( const char letter ) { // Hace referencia al objeto usando la palabra clave 'this'. // ---------------------------------------------- este - > letra = letra ; // Esto es Cohesión Temporal // ------------------------- esto -> numérico = grado_numérico ( letra ); } int GRADE :: grade_numeric ( const char letra ) { if ( ( letra == 'A' || letra == 'a' ) ) return 4 ; de lo contrario si ( ( letra == 'B' || letra == 'b' ) ) devuelve 3 ; else if ( ( letra == 'C' || letra == 'c' ) ) devuelve 2 ; else if ( ( letra == 'D' || letra == 'd' ) ) devuelve 1 ; de lo contrario si ( ( letra == 'F' || letra == 'f' ) ) devuelve 0 ; de lo contrario , devuelve -1 ; }
Aquí hay un archivo de encabezado C++ para la clase PERSONA en una aplicación escolar simple:
// persona.h // -------- #ifndef PERSON_H #define PERSON_Hclase PERSONA { público : PERSONA ( const char * nombre ); carácter constante * nombre ; }; #endif
Aquí hay un archivo fuente C++ para la clase PERSONA en una aplicación escolar simple:
// persona.cpp // ---------- #incluye "persona.h" PERSONA :: PERSONA ( const char * nombre ) { este -> nombre = nombre ; }
Aquí hay un archivo de encabezado C++ para la clase ESTUDIANTE en una aplicación escolar simple:
// estudiante.h // --------- #ifndef ESTUDIANTE_H #define ESTUDIANTE_H#incluye "persona.h" #incluye "grado.h" // UN ESTUDIANTE es un subconjunto de PERSONA. // -------------------------------- clase ESTUDIANTE : PERSONA pública { público : ESTUDIANTE ( const char * nombre ); CALIFICACIÓN * calificación ; }; #endif
Aquí hay un archivo fuente C++ para la clase ESTUDIANTE en una aplicación escolar simple:
// estudiante.cpp // ----------- #incluye "estudiante.h" #incluye "persona.h" ESTUDIANTE :: ESTUDIANTE ( const char * nombre ) : // Ejecuta el constructor de la superclase PERSONA. // ------------------------------------------------ - PERSONA ( nombre ) { // Nada más que hacer. // ------------------- }
Aquí hay un programa de controlador para demostración:
// estudiante_dvr.cpp // --------------- #include <iostream> #incluye "estudiante.h" int main ( void ) { ESTUDIANTE * estudiante = nuevo ESTUDIANTE ( "El Estudiante" ); estudiante -> calificación = nueva CALIFICACIÓN ( 'a' ); std :: cout // Aviso que el estudiante hereda el nombre de la PERSONA << estudiante -> nombre << ": Calificación numérica = " << estudiante -> calificación -> numérico << " \n " ; devolver 0 ; }
Aquí hay un archivo MAKE para compilar todo:
# makefile # -------- todo : estudiante_dvr limpio : rm estudiante_dvr *.oestudiante_dvr : estudiante_dvr . grado cpp . Oh estudiante . Oh persona . o c++ estudiante_dvr.cpp grado.o estudiante.o persona.o -o estudiante_dvr grado.o : grado . grado cpp . h c++ -c grado.cpp estudiante.o : estudiante . estudiante del cpp . h c++ -c estudiante.cpp persona.o : persona . persona cpp . h c++ -c persona.cpp
Los lenguajes imperativos tienen una crítica importante: asignar una expresión a una variable no local puede producir un efecto secundario no deseado . [73] Los lenguajes declarativos generalmente omiten la declaración de asignación y el flujo de control. Describen qué cálculo se debe realizar y no cómo calcularlo. Dos categorías amplias de lenguajes declarativos son los lenguajes funcionales y los lenguajes lógicos .
El principio detrás de un lenguaje funcional es utilizar el cálculo lambda como guía para una semántica bien definida . [74] En matemáticas, una función es una regla que asigna elementos de una expresión a un rango de valores . Considere la función:
times_10(x) = 10 * x
La función asigna la expresión a un rango de valores . Un valor resulta ser 20. Esto ocurre cuando x es 2. Entonces, la aplicación de la función se escribe matemáticamente como:10 * x
times_10()
times_10(2) = 20
Un compilador de lenguaje funcional no almacenará este valor en una variable. En cambio, enviará el valor a la pila de la computadora antes de configurar el contador del programa nuevamente en la función de llamada. La función de llamada luego extraerá el valor de la pila. [75]
Los lenguajes imperativos admiten funciones. Por lo tanto, la programación funcional se puede lograr en un lenguaje imperativo, si el programador usa disciplina. Sin embargo, un lenguaje funcional impondrá esta disciplina al programador a través de su sintaxis. Los lenguajes funcionales tienen una sintaxis diseñada para enfatizar el qué . [76]
Un programa funcional se desarrolla con un conjunto de funciones primitivas seguidas de una única función controladora. [73] Considere el fragmento :
function max( a, b ){/* code omitted */}
function min( a, b ){/* code omitted */}
function range( a, b, c ) {
return max( a, max( b, c ) ) - min( a, min( b, c ) );
}
Las primitivas son max()
y min()
. La función del conductor es range()
. Ejecutando:
put( range( 10, 4, 7) );
generará 6.
Los lenguajes funcionales se utilizan en la investigación en informática para explorar nuevas características del lenguaje. [77] Además, su falta de efectos secundarios los ha hecho populares en la programación paralela y la programación concurrente . [78] Sin embargo, los desarrolladores de aplicaciones prefieren las características orientadas a objetos de los lenguajes imperativos . [78]
Lisp (1958) significa "Procesador LISt". [79] Está diseñado para procesar listas . Se forma una estructura completa de los datos mediante la creación de listas de listas. En la memoria, se construye una estructura de datos de árbol . Internamente, la estructura de árbol se presta muy bien para funciones recursivas . [80] La sintaxis para construir un árbol es encerrar los elementos separados por espacios entre paréntesis. La siguiente es una lista de tres elementos. Los dos primeros elementos son en sí mismos listas de dos elementos:
((A B) (HELLO WORLD) 94)
Lisp tiene funciones para extraer y reconstruir elementos. [81] La función head()
devuelve una lista que contiene el primer elemento de la lista. La función tail()
devuelve una lista que contiene todo menos el primer elemento. La función cons()
devuelve una lista que es la concatenación de otras listas. Por lo tanto, la siguiente expresión devolverá la lista x
:
cons(head(x), tail(x))
Una desventaja de Lisp es que cuando muchas funciones están anidadas, los paréntesis pueden parecer confusos. [76] Los entornos Lisp modernos ayudan a garantizar la coincidencia de paréntesis. Además, Lisp admite las operaciones de lenguaje imperativo de la declaración de asignación y los bucles goto. [82] Además, a Lisp no le preocupa el tipo de datos de los elementos en el momento de la compilación. [83] En cambio, asigna (y puede reasignar) los tipos de datos en tiempo de ejecución . La asignación del tipo de datos en tiempo de ejecución se denomina enlace dinámico . [84] Mientras que el enlace dinámico aumenta la flexibilidad del lenguaje, los errores de programación pueden persistir hasta el final del proceso de desarrollo de software . [84]
Escribir programas Lisp grandes, confiables y legibles requiere previsión. Si se planifica adecuadamente, el programa puede ser mucho más corto que un programa de lenguaje imperativo equivalente . [76] Lisp se utiliza ampliamente en inteligencia artificial . Sin embargo, su uso se ha aceptado sólo porque tiene operaciones de lenguaje imperativas , lo que hace posibles efectos secundarios no deseados. [78]
ML (1973) [85] significa "Metalenguaje". ML comprueba para asegurarse de que solo se comparen entre sí datos del mismo tipo. [86] Por ejemplo, esta función tiene un parámetro de entrada (un número entero) y devuelve un número entero:
tiempos divertidos_10 ( n : int ) : int = 10 * n ;
ML no es excéntrico entre paréntesis como Lisp . La siguiente es una aplicación de times_10()
:
veces_10 2
Devuelve "20: int". (Se devuelven tanto los resultados como el tipo de datos).
Al igual que Lisp , ML está diseñado para procesar listas. A diferencia de Lisp , cada elemento es del mismo tipo de datos. [87] Además, ML asigna el tipo de datos de un elemento en tiempo de compilación . La asignación del tipo de datos en tiempo de compilación se denomina enlace estático . El enlace estático aumenta la confiabilidad porque el compilador verifica el contexto de las variables antes de usarlas. [88]
Prolog (1972) significa "PROgramación en LOGic". Es un lenguaje de programación lógica , basado en la lógica formal . El lenguaje fue desarrollado por Alain Colmerauer y Philippe Roussel en Marsella, Francia. Es una implementación de la resolución de cláusulas selectivas lineales definidas , iniciada por Robert Kowalski y otros en la Universidad de Edimburgo . [89]
Los componentes básicos de un programa Prolog son hechos y reglas . Aquí hay un ejemplo simple:
gato ( tom ). % tom es un ratón gato ( jerry ). % jerry es un ratónanimal ( X ) : - gato ( X ). % cada gato es un animal animal ( X ) : - ratón ( X ). % cada ratón es un animalgrande ( X ) : - gato ( X ). % cada gato es grande pequeño ( X ) : - ratón ( X ). % cada ratón es pequeñocomer ( X , Y ) : - ratón ( X ), queso ( Y ). % cada ratón come cada queso come ( X , Y ) : - grande ( X ), pequeño ( Y ). % cada animal grande se come a cada animal pequeño
Después de ingresar todos los hechos y reglas, se puede hacer una pregunta:
?- comer ( tom , jerry ). verdadero
El siguiente ejemplo muestra cómo Prolog convertirá una calificación con letras a su valor numérico:
grado_numérico ( 'A' , 4 ). grado_numérico ( 'B' , 3 ). grado_numérico ( 'C' , 2 ). grado_numérico ( 'D' , 1 ). grado_numérico ( 'F' , 0 ). grado_numérico ( X , - 1 ) : - no X = 'A' , no X = 'B' , no X = 'C' , no X = 'D' , no X = 'F' . grado ( 'El Estudiante' , 'A' ).
?- calificación ( 'El estudiante' , X ), calificación_numérica ( X , Y ). X = 'A' , Y = 4
Aquí hay un ejemplo completo: [90]
1) Todos los dragones lanzan fuego, o equivalentemente, una cosa lanza fuego si es un dragón:
billows_fire ( X ) : - is_a_dragon ( X ).
2) Una criatura lanza fuego si uno de sus padres lanza fuego:
billows_fire ( X ) : - is_a_creature ( X ), is_a_parent_of ( Y , X ), billows_fire ( Y ).
3) Una cosa X es padre de una cosa Y si X es la madre de Y o X es el padre de Y:
es_un_padre_de ( X , Y ): - es_la_madre_de ( X , Y ). es_un_padre_de ( X , Y ): - es_el_padre_de ( X , Y ).
4) Una cosa es una criatura si es un dragón:
es_una_criatura ( X ) : - es_un_dragón ( X ).
5) Norberta es un dragón y Puff es una criatura. Norberta es la madre de Puff.
es_a_dragon ( norberta ). es_una_criatura ( soplo ). es_la_madre_de ( norberta , puff ).
La regla (2) es una definición recursiva (inductiva). Se puede entender de forma declarativa, sin necesidad de entender cómo se ejecuta.
La regla (3) muestra cómo se representan funciones mediante el uso de relaciones. Aquí, las funciones de madre y padre garantizan que cada individuo tenga una sola madre y un solo padre.
Prolog es un lenguaje sin escribir. No obstante, la herencia se puede representar mediante predicados. La regla (4) afirma que una criatura es una superclase de dragón.
Las preguntas se responden mediante razonamiento inverso . Dada la pregunta:
?- olas_fuego ( X ).
Prolog genera dos respuestas:
X = norberta X = soplo
Las aplicaciones prácticas de Prolog son la representación del conocimiento y la resolución de problemas en inteligencia artificial .
La programación orientada a objetos es un método de programación para ejecutar operaciones ( funciones ) sobre objetos . [91] La idea básica es agrupar las características de un fenómeno en un contenedor de objetos y darle un nombre al contenedor. Las operaciones sobre el fenómeno también se agrupan en el contenedor. [91] Programación orientada a objetos desarrollada combinando la necesidad de contenedores y la necesidad de programación funcional segura . [92] Este método de programación no necesita limitarse a un lenguaje orientado a objetos . [93] En un lenguaje orientado a objetos, un contenedor de objetos se llama clase . En un lenguaje no orientado a objetos, una estructura de datos (que también se conoce como registro ) puede convertirse en un contenedor de objetos. Para convertir una estructura de datos en un contenedor de objetos, las operaciones deben escribirse específicamente para la estructura. La estructura resultante se denomina tipo de datos abstracto . [94] Sin embargo, faltará la herencia . Sin embargo, esta deficiencia puede superarse.
Aquí hay un archivo de encabezado en lenguaje de programación C para el tipo de datos abstracto GRADE en una aplicación escolar simple:
/* grado.h */ /* ------- *//* Se utiliza para permitir que varios archivos fuente incluyan */ /* este archivo de encabezado sin errores de duplicación. */ /* ---------------------------------------------- */ #ifndef GRADE_H #definir GRADE_Hestructura typedef { letra de carácter ; } CALIFICACIÓN ; /* Constructor */ /* ----------- */ GRADE * grade_new ( letra de carácter ); int grade_numeric ( letra de carácter ); #endif
La grade_new()
función realiza el mismo algoritmo que la operación del constructor de C++ .
Aquí hay un archivo fuente en lenguaje de programación C para el tipo de datos abstracto GRADE en una aplicación escolar simple:
/* grado.c */ /* ------- */ #include "grado.h" CALIFICACIÓN * calificación_nueva ( letra de carácter ) { CALIFICACIÓN * calificación ; /* Asignar memoria de montón */ /* -------------------- */ if ( ! ( grado = calloc ( 1 , tamaño de ( GRADO ) ) ) ) { fprintf ( stderr , "ERROR en %s/%s/%d: calloc() devolvió vacío. \n " , __FILE__ , __FUNCTION__ , __LINE__ ); salir ( 1 ); } calificación -> letra = letra ; calificación de retorno ; } int grade_numeric ( carácter letra ) { if ( ( letra == 'A' || letra == 'a' ) ) retorno 4 ; de lo contrario si ( ( letra == 'B' || letra == 'b' ) ) devuelve 3 ; else if ( ( letra == 'C' || letra == 'c' ) ) devuelve 2 ; else if ( ( letra == 'D' || letra == 'd' ) ) devuelve 1 ; de lo contrario si ( ( letra == 'F' || letra == 'f' ) ) devuelve 0 ; de lo contrario , devuelve -1 ; }
En el constructor, calloc()
se utiliza la función en lugar de malloc()
porque cada celda de memoria se pondrá a cero.
Aquí hay un archivo de encabezado en lenguaje de programación C para el tipo de datos abstracto PERSONA en una aplicación escolar simple:
/* persona.h */ /* -------- */ #ifndef PERSON_H #define PERSON_Hestructura typedef { char * nombre ; } PERSONA ; /* Constructor */ /* ----------- */ PERSONA * persona_nueva ( char * nombre ); #endif
Aquí hay un archivo fuente en lenguaje de programación C para el tipo de datos abstracto PERSON en una aplicación escolar simple:
/* persona.c */ /* -------- */ #incluye "persona.h" PERSONA * persona_nueva ( char * nombre ) { PERSONA * persona ; if ( ! ( persona = calloc ( 1 , tamaño de ( PERSONA ) ) ) ) { fprintf ( stderr , "ERROR en %s/%s/%d: calloc() devolvió vacío. \n " , __FILE__ , __FUNCTION__ , __LINE__ ) ; salir ( 1 ); } persona -> nombre = nombre ; persona que regresa ; }
Aquí hay un archivo de encabezado en lenguaje de programación C para el tipo de datos abstracto ESTUDIANTE en una aplicación escolar simple:
/* estudiante.h */ /* --------- */ #ifndef ESTUDIANTE_H #define ESTUDIANTE_H#incluye "persona.h" #incluye "grado.h" typedef struct { /* UN ESTUDIANTE es un subconjunto de PERSONA. */ /* -------------------------------- */ PERSONA * persona ; CALIFICACIÓN * calificación ; } ALUMNO ; /* Constructor */ /* ----------- */ ESTUDIANTE * estudiante_nuevo ( char * nombre ); #endif
Aquí hay un archivo fuente en lenguaje de programación C para el tipo de datos abstracto ESTUDIANTE en una aplicación escolar simple:
/* estudiante.c */ /* --------- */ #include "estudiante.h" #incluye "persona.h" ESTUDIANTE * estudiante_nuevo ( char * nombre ) { ESTUDIANTE * estudiante ; if ( ! ( estudiante = calloc ( 1 , tamaño de ( ESTUDIANTE ) ) ) ) { fprintf ( stderr , "ERROR en %s/%s/%d: calloc() devolvió vacío. \n " , __FILE__ , __FUNCTION__ , __LINE__ ) ; salir ( 1 ); } /* Ejecutar el constructor de la superclase PERSONA. */ /* ---------------------------------------------- --- */ estudiante -> persona = persona_nueva ( nombre ); estudiante que regresa ; }
Aquí hay un programa de controlador para demostración:
/* estudiante_dvr.c */ /* ------------- */ #include <stdio.h> #incluye "estudiante.h" int main ( void ) { ESTUDIANTE * estudiante = estudiante_nuevo ( "El Estudiante" ); estudiante -> grado = grado_nuevo ( 'a' ); printf ( "%s: Calificación numérica = %d \n " , /* Mientras que existe un subconjunto, la herencia no. */ estudiante -> persona -> nombre , /* La programación funcional consiste en ejecutar funciones justo a tiempo (JIT ) */ grado_numérico ( estudiante -> grado -> letra ) ); devolver 0 ; }
Aquí hay un archivo MAKE para compilar todo:
# makefile # -------- todo : estudiante_dvr limpio : rm estudiante_dvr *.oestudiante_dvr : estudiante_dvr . grado c . Oh estudiante . Oh persona . o gcc estudiante_dvr.c grado.o estudiante.o persona.o -o estudiante_dvr grado.o : grado . grado c . h gcc -c grado.c estudiante.o : estudiante . c estudiante . h gcc -c estudiante.c persona.o : persona . c persona . h gcc -c persona.c
La estrategia formal para construir objetos orientados a objetos es: [95]
Por ejemplo:
La sintaxis de un programa informático es una lista de reglas de producción que forman su gramática . [96] La gramática de un lenguaje de programación coloca correctamente sus declaraciones , expresiones y enunciados . [97] Complementando la sintaxis de un lenguaje está su semántica . La semántica describe los significados adjuntos a diversas construcciones sintácticas. [98] Una construcción sintáctica puede necesitar una descripción semántica porque una regla de producción puede tener una interpretación no válida. [99] Además, diferentes idiomas pueden tener la misma sintaxis; sin embargo, sus comportamientos pueden ser diferentes.
La sintaxis de un lenguaje se describe formalmente enumerando las reglas de producción. Mientras que la sintaxis de un lenguaje natural es extremadamente complicada, un subconjunto del idioma inglés puede tener esta lista de reglas de producción: [100]
Las palabras en negrita se conocen como no terminales . Las palabras entre comillas simples se conocen como terminales . [101]
A partir de esta lista de reglas de producción, se pueden formar oraciones completas utilizando una serie de reemplazos. [102] El proceso consiste en reemplazar los no terminales por un no terminal válido o por un terminal válido . El proceso de reemplazo se repite hasta que solo queden terminales . Una frase válida es:
Sin embargo, otra combinación da como resultado una sentencia inválida:
Por lo tanto, es necesaria una semántica para describir correctamente el significado de una actividad de comer .
Un método de enumeración de reglas de producción se denomina forma Backus-Naur (BNF). [103] BNF describe la sintaxis de un lenguaje y en sí mismo tiene una sintaxis . Esta definición recursiva es un ejemplo de metalenguaje . [98] La sintaxis de BNF incluye:
::=
que se traduce como está compuesto por una [n] cuando un no terminal está a su derecha. Se traduce como cuando una terminal está a su derecha.|
que se traduce como o .<
y >
que rodean a los no terminales .Usando BNF, un subconjunto del idioma inglés puede tener esta lista de reglas de producción :
< oración > ::= < frase-sustantivo >< frase-verbo > < frase-sustantivo > ::= < artículo >< adjetivo >< sustantivo > < frase-verbo > ::= < verbo >< frase-sustantivo > < artículo > ::= el < adjetivo > ::= grande | pequeño < sustantivo > ::= gato | ratón < verbo > ::= come
Usando BNF, un entero con signo tiene la lista de reglas de producción : [104]
< entero con signo > ::= < signo >< entero > < signo > ::= + | - <entero> :: = < dígito > | < dígito >< entero > < dígito > ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Observe la regla de producción recursiva:
< entero > ::= < dígito > | < dígito >< entero >
Esto permite un número infinito de posibilidades. Por tanto, es necesaria una semántica para describir una limitación del número de dígitos.
Observe la posibilidad del cero inicial en las reglas de producción:
< entero > ::= < dígito > | < dígito >< entero > < dígito > ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Por lo tanto, es necesaria una semántica para describir que los ceros a la izquierda deben ignorarse.
Hay dos métodos formales disponibles para describir la semántica . Son la semántica denotacional y la semántica axiomática . [105]
La ingeniería de software es una variedad de técnicas para producir programas informáticos de calidad . [106] La programación informática es el proceso de escribir o editar código fuente . En un entorno formal, un analista de sistemas recopilará información de los gerentes sobre todos los procesos de la organización a automatizar. Luego, este profesional prepara un plan detallado para el sistema nuevo o modificado. [107] El plano es análogo al plano de un arquitecto. [107]
El analista de sistemas tiene el objetivo de entregar la información correcta a la persona adecuada en el momento adecuado. [108] Los factores críticos para lograr este objetivo son: [108]
El logro de los objetivos de desempeño debe equilibrarse con todos los costos, incluidos: [109]
La aplicación de un proceso de desarrollo de sistemas mitigará el axioma: cuanto más tarde en el proceso se detecte un error, más costoso será corregirlo. [110]
El modelo en cascada es una implementación de un proceso de desarrollo de sistemas . [111] Como lo implica la etiqueta de cascada , las fases básicas se superponen entre sí: [112]
Un programador informático es un especialista responsable de escribir o modificar el código fuente para implementar el plan detallado. [107] Es probable que se necesite un equipo de programación porque la mayoría de los sistemas son demasiado grandes para ser completados por un solo programador. [114] Sin embargo, agregar programadores a un proyecto puede no acortar el tiempo de finalización. En cambio, puede reducir la calidad del sistema. [114] Para que sean eficaces, los módulos del programa deben definirse y distribuirse a los miembros del equipo. [114] Además, los miembros del equipo deben interactuar entre sí de manera significativa y efectiva. [114]
Los programadores de computadoras pueden estar programando en lo pequeño : programando dentro de un solo módulo. [115] Es probable que un módulo ejecute módulos ubicados en otros archivos de código fuente. Por lo tanto, los programadores de computadoras pueden programar en módulos de programación grandes para que se combinen entre sí de manera efectiva. [115] La programación en general incluye contribuir a la interfaz de programación de aplicaciones (API).
La programación modular es una técnica para perfeccionar programas en lenguajes imperativos . Los programas refinados pueden reducir el tamaño del software, separar responsabilidades y, por lo tanto, mitigar el envejecimiento del software . Un módulo de programa es una secuencia de declaraciones que están delimitadas dentro de un bloque y juntas identificadas por un nombre. [116] Los módulos tienen una función , contexto y lógica : [117]
El nombre del módulo debe derivarse primero de su función y luego de su contexto . Su lógica no debería ser parte del nombre. [117] Por ejemplo, function compute_square_root( x )
o function compute_square_root_integer( i : integer )
son nombres de módulos apropiados. Sin embargo, function compute_square_root_by_division( x )
no lo es.
El grado de interacción dentro de un módulo es su nivel de cohesión . [117] La cohesión es un juicio de la relación entre el nombre de un módulo y su función . El grado de interacción entre módulos es el nivel de acoplamiento . [118] El acoplamiento es un juicio de la relación entre el contexto de un módulo y los elementos sobre los que se realiza.
Los niveles de cohesión de peor a mejor son: [119]
function read_sales_record_print_next_line_convert_to_float()
. En la práctica se produce una cohesión coincidente si la dirección impone reglas tontas. Por ejemplo, "Cada módulo tendrá entre 35 y 50 declaraciones ejecutables". [119]function perform_arithmetic( perform_addition, a, b )
.function initialize_variables_and_open_files()
. Otro ejemplo, stage_one()
, stage_two()
, ...function read_part_number_update_employee_record()
.function read_part_number_update_sales_record()
.Los niveles de acoplamiento de peor a mejor son: [118]
perform_arithmetic( perform_addition, a, b )
. En cambio, el control debe estar en la composición del objeto devuelto.El análisis de flujo de datos es un método de diseño utilizado para lograr módulos de cohesión funcional y acoplamiento de datos . [120] La entrada al método es un diagrama de flujo de datos . Un diagrama de flujo de datos es un conjunto de óvalos que representan módulos. El nombre de cada módulo se muestra dentro de su óvalo. Los módulos pueden estar en el nivel ejecutable o en el nivel de función.
El diagrama también tiene flechas que conectan los módulos entre sí. Las flechas que apuntan a los módulos representan un conjunto de entradas. Cada módulo debe tener solo una flecha apuntando para representar su único objeto de salida. (Opcionalmente, una flecha de excepción adicional lo señala). Una cadena de óvalos transmitirá un algoritmo completo . Los módulos de entrada deben iniciar el diagrama. Los módulos de entrada deben conectarse a los módulos de transformación. Los módulos de transformación deben conectarse a los módulos de salida. [121]
Los programas informáticos pueden clasificarse según líneas funcionales. Las principales categorías funcionales son software de aplicación y software de sistema . El software del sistema incluye el sistema operativo , que combina el hardware de la computadora con el software de aplicación. [122] El propósito del sistema operativo es proporcionar un entorno donde el software de aplicación se ejecuta de manera conveniente y eficiente. [122] Tanto el software de aplicación como el software del sistema ejecutan programas de utilidad . A nivel de hardware, un programa de microcódigo controla los circuitos de toda la unidad central de procesamiento .
El software de aplicación es la clave para desbloquear el potencial del sistema informático. [123] El software de aplicaciones empresariales agrupa aplicaciones de contabilidad, personal, clientes y proveedores. Los ejemplos incluyen planificación de recursos empresariales , gestión de relaciones con los clientes y software de gestión de la cadena de suministro .
Las aplicaciones empresariales pueden desarrollarse internamente como un software propietario único en su tipo . [124] Alternativamente, pueden adquirirse como software disponible en el mercado . El software adquirido puede modificarse para proporcionar software personalizado . Si la aplicación está personalizada, entonces se utilizan los recursos de la empresa o se subcontratan. El desarrollo de software subcontratado puede ser del proveedor de software original o de un desarrollador externo. [125]
Las ventajas potenciales del software interno son las características y los informes que se pueden desarrollar exactamente según las especificaciones. [126] La dirección también puede participar en el proceso de desarrollo y ofrecer un nivel de control. [127] La dirección puede decidir contrarrestar la nueva iniciativa de un competidor o implementar un requisito de un cliente o proveedor. [128] Una fusión o adquisición puede requerir cambios en el software empresarial. Las posibles desventajas del software interno son los costos de tiempo y recursos que pueden ser elevados. [124] Además, pueden surgir riesgos relacionados con las características y el rendimiento.
Las ventajas potenciales del software disponible en el mercado son que los costos iniciales son identificables, las necesidades básicas deben satisfacerse y su rendimiento y confiabilidad tienen un historial. [124] Las posibles desventajas del software comercial son que puede tener características innecesarias que confunden a los usuarios finales, puede carecer de características que la empresa necesita y el flujo de datos puede no coincidir con los procesos de trabajo de la empresa. [124]
Una forma de obtener económicamente una aplicación empresarial personalizada es a través de un proveedor de servicios de aplicaciones . [129] Las empresas especializadas proporcionan hardware, software personalizado y soporte al usuario final. Pueden acelerar el desarrollo de nuevas aplicaciones porque cuentan con personal capacitado en sistemas de información. La mayor ventaja es que libera recursos internos de la contratación de personal y la gestión de proyectos informáticos complejos. [129] Muchos proveedores de servicios de aplicaciones se dirigen a empresas pequeñas y de rápido crecimiento con recursos limitados de sistemas de información. [129] Por otro lado, las empresas más grandes con sistemas importantes probablemente tendrán su infraestructura técnica en su lugar. Un riesgo es tener que confiar información confidencial a una organización externa. Otro riesgo es tener que confiar en la confiabilidad de la infraestructura del proveedor. [129]
Un sistema operativo es el software de bajo nivel que respalda las funciones básicas de una computadora, como programar procesos y controlar periféricos . [122]
En la década de 1950, el programador, que también era el operador, escribía un programa y lo ejecutaba. Una vez que el programa terminó de ejecutarse, es posible que se haya impreso el resultado o que se haya perforado en cinta de papel o tarjetas para su posterior procesamiento. [28] La mayoría de las veces el programa no funcionó. Luego, el programador miró las luces de la consola y jugueteó con los interruptores de la consola. Si no había suerte, se imprimió una copia de la memoria para estudiarla más a fondo. En la década de 1960, los programadores redujeron la cantidad de tiempo perdido automatizando el trabajo del operador. En todo momento se mantuvo en la computadora un programa llamado sistema operativo . [130]
El término sistema operativo puede referirse a dos niveles de software. [131] El sistema operativo puede referirse al programa del núcleo que administra los procesos , la memoria y los dispositivos . En términos más generales, el sistema operativo puede referirse al paquete completo del software central. El paquete incluye un programa de núcleo, un intérprete de línea de comandos , una interfaz gráfica de usuario , programas de utilidad y un editor . [131]
El objetivo principal del kernel es gestionar los recursos limitados de una computadora:
Originalmente, los sistemas operativos se programaban en ensamblador ; sin embargo, los sistemas operativos modernos suelen estar escritos en lenguajes de nivel superior como C , Objective-C y Swift . [k]
Un programa de utilidad está diseñado para ayudar en la administración del sistema y la ejecución del software. Los sistemas operativos ejecutan programas de utilidad de hardware para verificar el estado de las unidades de disco, la memoria, los parlantes y las impresoras. [140] Un programa de utilidad puede optimizar la ubicación de un archivo en un disco lleno de gente. Los programas de utilidad del sistema monitorean el rendimiento del hardware y de la red. Cuando una métrica está fuera de un rango aceptable, se genera una alerta de activación. [141]
Los programas de utilidad incluyen programas de compresión para que los archivos de datos se almacenen en menos espacio en disco. [140] Los programas comprimidos también ahorran tiempo cuando los archivos de datos se transmiten a través de la red. [140] Los programas de utilidad pueden ordenar y fusionar conjuntos de datos. [141] Los programas de utilidad detectan virus informáticos . [141]
Un programa de microcódigo es el intérprete de nivel inferior que controla la ruta de datos de las computadoras controladas por software. [142] (Los avances en hardware han migrado estas operaciones a circuitos de ejecución de hardware ). [142] Las instrucciones de microcódigo permiten al programador implementar más fácilmente el nivel lógico digital [143]: el hardware real de la computadora. El nivel de lógica digital es el límite entre la informática y la ingeniería informática . [144]
Una puerta lógica es un pequeño transistor que puede devolver una de dos señales: encendido o apagado. [145]
Estas cinco puertas forman los componentes básicos del álgebra binaria : las funciones lógicas digitales de la computadora.
Las instrucciones de microcódigo son mnemónicos que los programadores pueden utilizar para ejecutar funciones lógicas digitales en lugar de formarlas en álgebra binaria. Se almacenan en el almacén de control de una unidad central de procesamiento (CPU) . [146] Estas instrucciones a nivel de hardware mueven datos a lo largo de la ruta de datos .
El ciclo de microinstrucción comienza cuando el microsecuenciador utiliza su contador de microprograma para recuperar la siguiente instrucción de la máquina de la memoria de acceso aleatorio . [147] El siguiente paso es decodificar la instrucción de la máquina seleccionando la línea de salida adecuada al módulo de hardware. [148] El paso final es ejecutar la instrucción utilizando el conjunto de puertas del módulo de hardware.
Las instrucciones para realizar aritmética se pasan a través de una unidad lógica aritmética (ALU). [149] La ALU tiene circuitos para realizar operaciones elementales para sumar, desplazar y comparar números enteros. Al combinar y realizar bucles de operaciones elementales a través de la ALU, la CPU realiza su compleja aritmética.
Las instrucciones de microcódigo mueven datos entre la CPU y el controlador de memoria . Las instrucciones de microcódigo del controlador de memoria manipulan dos registros . El registro de dirección de memoria se utiliza para acceder a la dirección de cada celda de memoria. El registro de datos de la memoria se utiliza para configurar y leer el contenido de cada celda. [150]
Las instrucciones de microcódigo mueven datos entre la CPU y los numerosos buses de la computadora . El bus del controlador de disco escribe y lee desde unidades de disco duro . Los datos también se mueven entre la CPU y otras unidades funcionales a través del bus rápido de interconexión de componentes periféricos. [151]
x++
normalmente compilarán en una sola instrucción.int increment_counter(){ static int counter; return ++counter;}
. 1) Las variables estáticas se inicializan automáticamente a cero. 2) ++counter
es un operador de incremento de prefijo .calloc()
función para asignar memoria de montón. Proporciona dos servicios adicionales: 1) Permite al programador crear una matriz de tamaño arbitrario. 2) Pone a cero cada celda de memoria .strdup()
función. Ejecuta tanto la función de asignación como la función de copia.[El software incluye] todo o parte de los programas, procedimientos, reglas y documentación asociada de un sistema de procesamiento de información.
Una alternativa a compilar un programa fuente es utilizar un intérprete. Un intérprete puede ejecutar directamente un programa fuente[.]
Su intención era producir un lenguaje que fuera muy sencillo de aprender para los estudiantes[.]
La idea era que los estudiantes pudieran ser usuarios meramente ocasionales o pasar de lenguajes Básicos a lenguajes más sofisticados y potentes[.]
Las máquinas de Turing pueden modelar todos los cálculos que se pueden realizar en una máquina informática.
[Todas] todas las funciones matemáticas comunes, sin importar cuán complicadas sean, son computables por Turing.
Con los lenguajes de programación de tercera generación y de nivel superior, cada declaración del lenguaje se traduce en varias instrucciones en lenguaje de máquina.
Cuando hay una llamada a una función, es necesario guardar toda la información importante, como los valores de registro (correspondientes a los nombres de las variables) y la dirección de retorno (que se puede obtener del contador del programa)[.]... Cuando la función quiere para volver, ... restaura todos los registros. Luego da el salto de regreso. Claramente, todo este trabajo se puede realizar usando una pila, y eso es exactamente lo que sucede en prácticamente todos los lenguajes de programación que implementan la recursividad.
Simula se basó en Algol 60 con una adición muy importante: el concepto de clase. ... La idea básica era que los datos (o estructura de datos) y las operaciones realizadas en ellos van de la mano[.]
Originalmente, se diseñaron una gran cantidad de lenguajes experimentales, muchos de los cuales combinaban programación funcional y orientada a objetos.
Si bien es cierto que OOD [(diseño orientado a objetos)] como tal no es compatible con la mayoría de los lenguajes populares, se puede utilizar un gran subconjunto de OOD.
La sintaxis (o gramática) de un lenguaje de programación describe la forma correcta en la que se pueden escribir los programas[.]
Los componentes principales de un lenguaje imperativo son declaraciones, expresiones y enunciados.
La clave para desbloquear el potencial de cualquier sistema informático es el software de aplicación.
[Una] empresa de software de terceros, a menudo denominada proveedor de software de valor agregado, puede desarrollar o modificar un programa de software para satisfacer las necesidades de una industria o empresa en particular.
Título: Software propietario; Subtítulo: Ventajas; Cita: Puede obtener exactamente lo que necesita en términos de funciones, informes, etc.
Título: Software propietario; Subtítulo: Ventajas; Cita: Estar involucrado en el desarrollo ofrece un mayor nivel de control sobre los resultados.
Título: Software propietario; Subtítulo: Ventajas; Cita: Hay más flexibilidad para realizar modificaciones que puedan ser necesarias para contrarrestar una nueva iniciativa de uno de sus competidores o para cumplir con los requisitos de nuevos proveedores y/o clientes.