Software

Suele resultar que una solución informática se orienta a la automatización de ciertas tareas complicadas, como pueden ser la contabilidad, la redacción de documentos, o la gestión de almacenes. Algunos ejemplos de programas de aplicaciones generales de este tipo, son los procesadores de textos, las hojas de cálculo, y las base de datos.

Ciertas aplicaciones desarrolladas a medida suelen ofrecer una gran potencia de uso y rapidez en la ejecución, ya que están exclusivamente diseñadas para resolver un problema específico. Otros, llamados paquetes integrados de software, ofrecen menos potencia en cuanto a adaptabilidad al uso y requerimientos en cuanto al equipo utilizado (memoria disponible, tiempo de uso, etc), pero a cambio, incluyen un variado abanico de aplicaciones, como es el caso de los ya citados programas procesadores de textos, procesadores de hojas de cálculo, y manejadores de base de datos.

Un lenguaje de programación es un lenguaje formal diseñado para realizar procesos que pueden ser llevados a cabo por máquinas como las computadoras.

Pueden usarse para crear programas que controlen el comportamiento físico y lógico de una máquina, para expresar algoritmos con precisión, o como modo de comunicación humana.

Está formado por un conjunto de símbolos y reglas sintácticas y semánticas que definen su estructura y el significado de sus elementos y expresiones. Al proceso por el cual se escribe, se prueba, se depura, se compila (de ser necesario) y se mantiene el código fuente de un programa informático se le llama programación.

Un controlador de dispositivo o manejador de dispositivo​ es un programa informático que permite al sistema operativo interaccionar con un periférico, haciendo una abstracción del hardware y proporcionando una interfaz (posiblemente estandarizada) para utilizar el dispositivo.

Es una pieza esencial del software, y en particular, del núcleo de un sistema operativo, sin la cual el hardware sería inutilizable.