Fundamentos de Software y Lógica de Programación

Introducción al Software

El software es la parte intangible e inteligente de la PC. Es el componente que da vida a los discos y a la memoria del sistema.

Clasificación del Software

• 1) Software Ambiental: Se refiere al Sistema Operativo.
• 2) Software de Programación: Incluye herramientas como CASE.
• 3) Software de Aplicaciones: Programas destinados a tareas específicas como la contabilidad.

Sistemas Operativos

Un Sistema Operativo es el administrador de los recursos del computador y actúa como la interfaz que permite la interacción entre el hombre y la máquina.

Ejemplos destacados de Sistemas Operativos son: UNIX, Windows, Linux y Android.

Software de Programación y Aplicaciones

El software de programación está compuesto por las herramientas que permiten desarrollar nuevos programas.

Las aplicaciones son programas diseñados para el usuario final, tales como sistemas de contabilidad, nómina e inventario.

Dentro de las aplicaciones de oficina (como el paquete SALT), encontramos herramientas como Word y Excel.

En el ámbito de la programación, se destacan herramientas y lenguajes como CASE y Fortran.

Definición de Programas y Algoritmos

Un programa es un conjunto de instrucciones mediante las cuales el usuario le indica al equipo que ejecute una instrucción o un comando específico.

También se define como un conjunto de pasos lógicos diseñados para obtener un resultado determinado.

Lenguajes de Programación y Compilación

Semántica Estática en Lenguajes Compilados

La semántica estática define las restricciones sobre la estructura de los textos válidos que resulta imposible o muy difícil expresar mediante formalismos sintácticos estándar.

Para los lenguajes compilados, la semántica estática incluye las reglas que se pueden verificar en el momento de la compilación. Por ejemplo, el chequeo de que cada identificador sea declarado antes de ser usado (en lenguajes que requieren tales declaraciones) o que las etiquetas en cada brazo de una estructura case sean distintas.

Muchas restricciones importantes de este tipo, como la validación de que los identificadores sean usados en los contextos apropiados (por ejemplo, no sumar un entero al nombre de una función) o que las llamadas a subrutinas tengan el número y tipo de parámetros adecuado, pueden ser implementadas definiéndolas como reglas en una lógica conocida como sistema de tipos.

Otras formas de análisis estáticos, como los análisis de flujo de datos, también pueden ser parte de la semántica estática. Otros lenguajes de programación como Java y C# tienen un análisis definido de asignaciones como parte de su semántica estática.

Sintaxis

En cuanto a la sintaxis, es habitual en sistemas como UNIX que las opciones vayan precedidas de un guion, pero las opciones en sí pueden tener varias letras; no pueden agruparse varias opciones tras un mismo guion. Algunas opciones requieren después un nombre de archivo o directorio, otras no. Finalmente, pueden darse varios nombres de archivo a incluir en el proceso de compilación.

Ejemplo de lógica de programación:

X = A + B
Print X

Representación Lógica y Algoritmos

El diagrama de flujo es la representación gráfica de un algoritmo.

Un algoritmo es, en esencia, un programa. Es fundamental recordar que todo programa posee una estructura definida con un inicio y un fin.