Es el conjunto de los programas de cómputo, procedimientos, reglas, documentación y datos asociados que forman parte de las operaciones de un sistema de computación.
Su objetivo es desvincular adecuada o moderadamente al usuario y al programador de los detalles del computador en particular; en otras palabras es la parte lógica de un computador.
